Abstract
The literature contains a number of papers which look at the application of formal specification techniques to the specification of computer graphics systems [3,5,6,7,8,10,14]. A landmark in computer graphics was reached on 15 August 1985, with the publication of the Graphical Kernel System (GKS) as the first ISO standard for computer graphics programming [13]. This paper extends some of the ideas for defining graphics data types contained in [3] and [14] and applies them to GKS. Of particular interest, is a more formal definition of the geometry of the GKS output primitives than that given in the GKS document.
This is a preview of subscription content, log in via an institution to check access.
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
K. W. Brodlie and G. Pfaff, “An Algorithmic Interpretation of the GKS TEXT Primitive,” Computer Graphics Forum 2(4), pp.233–241 (1983). (Reproduced in this Volume.)
G. S. Carson and E. Post, “The Formal Specification of a Computer Graphics System,” TR 83–6, GSC Associates (1983).
G. S. Carson, “The Specification of Computer Graphics Systems,” IEEE Computer Graphics and Applications, pp.27–41 (September 1983).
P. Dickman, “Definition of Interior Points in CGI, CGM, GKS-3D and PHIGS,” Laser Scan Ltd (June 1985).
D. A. Duce and E. V. C. Fielding, “Better Understanding through Formal Specification,” RAL-84–128, Rutherford Appleton Laboratory, Chilton, Didcot, OXON OX11 0QX, U.K. (1984).
D. A. Duce, E. V. C. Fielding, and L. S. Marshall, “Formal Specification and Graphics Software,” RAL-84–068, Rutherford Appleton Laboratory, Chilton, Didcot, OXON OX11 OQX, U.K. (1984).
D. A. Duce and E. V. C. Fielding, “Formal Specification — A Comparison of Two Techniques,” RAL-85–051, Rutherford Appleton Laboratory, Chilton, Didcot, OXON OX11 OQX, U.K. (1985).
D. A. Duce and E. V. C. Fielding, “Formal Specification — A Simple Example,” ICL Technical journal pp.96–111 (May 1986).
K. Futatsugi, J. A. Goguen, J.-P. Jouannaud, and J. Meseguer, “Principles of OBJ2,” Proceedings of the 1985 Symposium on Principles of Programming Languages (1985).
R. Gnatz, “An Algebraic Approach to the Standardization and the Certification of Graphics Software,” Computer Graphics Forum 2(2/3) (1983). (Reproduced in this Volume.)
F. R. A. Hopgood, D. A. Duce, J. R. Gallop, and D. C. Sutcliffe, Introduction to the Graphical Kernel System (GKS), Academic Press (1986). (Second Edition.)
ISO, “Information processing systems — Computer graphics — Graphical Kernel System (GKS) for three dimensions (GKS-3D) functional description,” ISO/DP 8805 (1985).
ISO, “Information processing systems — Computer graphics — Graphical Kernel System (GKS) functional description,” ISO 7942, ISO Central Secretariat (August 1985).
W. R. Mallgren, “Formal Specification of Graphic Data Types,” ACM Transactions on Programming Languages and Systems 4(4), pp.687–710 (October 1982).
W. R. Mallgren, “Formal Specification of Interactive Graphics Programming Languages,” Technical Report 81–09–01, PhD Dissertation (also published by ACM-MIT Press Distinguished Dissertation Series in June 1983), Department of Computer Science, University of Washington, Seattle.
J. E. Stoy, Denotational Semantics, The MIT Press (1977).
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 EUROGRAPHICS The European Association for Computer Graphics
About this paper
Cite this paper
Duce, D.A., Fielding, E.V.C. (1987). Towards a Formal Specification of the GKS Output Primitives. In: Bono, P.R., Herman, I. (eds) GKS Theory and Practice. EurographicSeminars. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-72930-0_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-72930-0_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-72932-4
Online ISBN: 978-3-642-72930-0
eBook Packages: Springer Book Archive