A Formalization for the Specification and Systematic Generation of Computer Graphics Systems

  • Tamiya Onodera
  • Satoru Kawai
Conference paper


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.


Graphic System Operation Sequence Physical Device Graphical Object Input Line 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    International Organization for Standardization, “Information Processing — Graphical Kernel System(GKS) — Functional Description,” ISO DIS, (7942)(1982).Google Scholar
  2. 2.
    W. R. Mallgenn, Formal Specification of Interactive Graphics Programming Language, MIT Press (1982).Google Scholar
  3. 3.
    J. D. FOLEY and A. VAN DAM, Fundamentals of Interactive Computer Graphics, ADDISON WESLEY (1983).Google Scholar
  4. 4.
    G. Enderle, K. Kansy, and G. Pfaff, Computer Graphics Programming, Springer-Verlag (1984).MATHGoogle Scholar

Copyright information

© Springer-Verlag Tokyo 1985

Authors and Affiliations

  • Tamiya Onodera
  • Satoru Kawai
    • 1
  1. 1.Department of Information Science, Faculty of ScienceThe University of TokyoBunkyo-ku, TokyoJapan

Personalised recommendations