A formalization for the specification and systematic generation of computer graphics systems |
| |
Authors: | Tamiya Onodera Satoru Kawai |
| |
Affiliation: | (1) Department of Information Science, Faculty of Science, The University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, 113 Tokyo, Japan |
| |
Abstract: | 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 commutations among primitive operations. A type of transformation, which is called extraction, plays a central role in the generation algorithm. |
| |
Keywords: | Computer graphics standards GKS Formal specification Graphics system implementation |
本文献已被 SpringerLink 等数据库收录! |
|