Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ObjEx Reference Manual,Gerrard Software Ltd, UK (1987).
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.
R.M. Gallimore, D. Coleman and V. Stavridou. UMIST OBJ: a Language for Executable Program Specification, Computer Journal 32(5) pp. 413–421, 1989.
ISO. Information processing systems — Computer graphics — Graphical Kernal System (GKS) functional description, ISO 7942, ISO Central Secretariat, August 1985.
ISO. Information processing systems — Computer graphics — Graphical Kernal System (GKS) for three dimensions (GKS-3D) functional description, ISO/IEC 8805, 1988.
ISO. Information processing systems — Computer graphics — Programmer’s Hierarchical Interactive Graphics System functional description, ISO/IEC 9592: 1, 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media New York
About this chapter
Cite this chapter
Duce, D.A. (2000). Applications of OBJ to the Specification of Standards for Computer Graphics. In: Goguen, J., Malcolm, G. (eds) Software Engineering with OBJ. Advances in Formal Methods, vol 2. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-6541-0_4
Download citation
DOI: https://doi.org/10.1007/978-1-4757-6541-0_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-4965-3
Online ISBN: 978-1-4757-6541-0
eBook Packages: Springer Book Archive