Applications of OBJ to the Specification of Standards for Computer Graphics

  • David A. Duce
Part of the Advances in Formal Methods book series (ADFM, volume 2)


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.


Computer Graphic Modelling Transformation Application Program Interface Structure Store Element Pointer 
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]
    ObjEx Reference Manual,Gerrard Software Ltd, UK (1987).Google Scholar
  2. [2]
    D.A. Duce, E.V.C. Fielding and L.S. Marshall. Formal Specification of a Small Example Based on GKS, Transaction on Graphics 7 (3) pp. 180–197, 1988.CrossRefGoogle Scholar
  3. [3]
    R.M. Gallimore, D. Coleman and V. Stavridou. UMIST OBJ: a Language for Executable Program Specification, Computer Journal 32(5) pp. 413–421, 1989.CrossRefGoogle Scholar
  4. [4]
    ISO. Information processing systems — Computer graphics — Graphical Kernal System (GKS) functional description, ISO 7942, ISO Central Secretariat, August 1985.Google Scholar
  5. [5]
    ISO. Information processing systems — Computer graphics — Graphical Kernal System (GKS) for three dimensions (GKS-3D) functional description, ISO/IEC 8805, 1988.Google Scholar
  6. [6]
    ISO. Information processing systems — Computer graphics — Programmer’s Hierarchical Interactive Graphics System functional description, ISO/IEC 9592: 1, 1989.Google Scholar

Copyright information

© Springer Science+Business Media New York 2000

Authors and Affiliations

  • David A. Duce
    • 1
  1. 1.Rutherford Appleton LaboratoryChilton, Didcot, OxonUK

Personalised recommendations