A Formalization for the Specification and Systematic Generation of Computer Graphics Systems
A formalization of graphical processes in computer graphics systems is presented in terms of functions and their system of axioms. The concept of the viewing pipeline is formalized as operation sequence which is a sequential composition of graphical elementary operations. The formalization includes two kinds of operation sequences which are used as the formal specifications of graphics systems and display devices. In order to generate a graphics system using a display device, we introduced the concept of functionality-preserving transformation of operation sequences in terms of various types of commutation among primitive operations. A type of transformation, what is called extraction, plays a central role in the generation algorithm.
KeywordsGraphic System Operation Sequence Physical Device Graphical Object Input Line
Unable to display preview. Download preview PDF.
- 1.International Organization for Standardization, “Information Processing — Graphical Kernel System(GKS) — Functional Description,” ISO DIS, (7942)(1982).Google Scholar
- 2.W. R. Mallgenn, Formal Specification of Interactive Graphics Programming Language, MIT Press (1982).Google Scholar
- 3.J. D. FOLEY and A. VAN DAM, Fundamentals of Interactive Computer Graphics, ADDISON WESLEY (1983).Google Scholar