Applications of OBJ to the Specification of Standards for Computer Graphics
There are now three International Standards for application program interfaces for computer graphics programming, GKS, GKS-3D and PHIGS. In this paper a simplified model GKS-like system is described and a 2D PHIGS-like system is then described in terms of this and a centralised structure store. Formal specifications of the systems are given illustrating how the specification of a system can be built up from a hierarchy of simple components. The purpose of the paper is to illustrate one approach to the description of a compatible family of graphics standards and the use of formal specification techniques in this process.
KeywordsComputer Graphic Modelling Transformation Application Program Interface Structure Store Element Pointer
Unable to display preview. Download preview PDF.
- ObjEx Reference Manual,Gerrard Software Ltd, UK (1987).Google Scholar
- ISO. Information processing systems — Computer graphics — Graphical Kernal System (GKS) functional description, ISO 7942, ISO Central Secretariat, August 1985.Google Scholar
- ISO. Information processing systems — Computer graphics — Graphical Kernal System (GKS) for three dimensions (GKS-3D) functional description, ISO/IEC 8805, 1988.Google Scholar
- ISO. Information processing systems — Computer graphics — Programmer’s Hierarchical Interactive Graphics System functional description, ISO/IEC 9592: 1, 1989.Google Scholar