Skip to main content
SpringerLink
Log in

Towards a formal definition of GKS and other graphics standards

  • Conference paper
  • First Online:
VDM '88 VDM — The Way Ahead (VDM 1988)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 328))

Included in the following conference series:

  • 129 Accesses

Abstract

Clear indications are awaited from within the standards bodies before the most appropriate direction will emerge for the continuation of this work—i.e. whether it should be purely concerned with the GKS Review or with developing new graphics standards, possibly including a radically different successor to GKS, within the context of a Computer Graphics Reference Model. Either way (or both), there is a growing body of work which should aid the generally still slow progress towards the formal development and expression of future international graphics standards.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. D.B. Arnold, G. Hall & G.J. Reynolds. Proposals for configurable models of graphics systems. Computer Graphics Forum, 3(3), 1984, 200–208.

    Google Scholar 

  2. D.B. Arnold, D.A. Duce & G.J. Reynolds. An approach to the formal specification of configurable models of graphics systems. In: G. Marechal (ed.), Proceedings of Eurographics 87, North-Holland, 1987.

    Google Scholar 

  3. G.S. Carson. The specification of computer graphics systems. IEEE Computer Graphics and Applications, 27–41, 1983.

    Google Scholar 

  4. D.A. Duce, E.V.C. Fielding & L.S. Marshall. Formal specification and graphics software. Technical Report RAL-84-068, Rutherford Appleton Laboratory, Chilton, Didcot, Oxon. OX11 0QX, 1984.

    Google Scholar 

  5. D.A. Duce & E.V.C. Fielding. Better understanding through formal specification. Computer Graphics Forum, 4(4), 333–348, 1985.

    Google Scholar 

  6. D.A. Duce & E.V.C. Fielding. Formal specification—A comparison of two techniques. Technical Report RAL-85-051, Rutherford Appleton Laboratory, Chilton, Didcot, Oxon. OX11 0QX, 1985.

    Google Scholar 

  7. D.A. Duce & E.V.C. Fielding. Formal specification—A simple example. ICL Technical Journal, May 1986, 96–111.

    Google Scholar 

  8. D.A. Duce & E.V.C. Fielding. Towards a formal specification of the GKS output primitives. In: A.A.G. Requicha (ed.), Proceedings of Eurographics 86, North Holland, 1986, 307–323.

    Google Scholar 

  9. D.A. Duce, F.R.A. Hopgood, C.L.N. Ruggles & S.T. Yee. Input in GKS—A discussion paper. Technical Report RAL-87-057, Rutherford Appleton Laboratory, Chilton, Didcot, Oxon. OX11 0QX, 1987.

    Google Scholar 

  10. D.A. Duce & M.S. Parsons. A specification of the GKS Polyline, Polymarker and Fill Area Set primitives. In: Proceedings of the GKS Review, a workshop held in September 1987, Disley U.K. European Association for Computer Graphics, informal publication, 1987.

    Google Scholar 

  11. R. Gnatz. An algebraic approach to the standardization and the certification of graphics software, Computer Graphics Forum, 2(2), 153–166, 1983.

    Google Scholar 

  12. W.R. Mallgren. Formal specification of graphic data types. ACM Transactions on Programming Languages and Systems, 4(4), 687–710, 1982.

    Google Scholar 

  13. L.S. Marshall. GKS Output Workstations: Formal Specification and proofs of correctness for specific devices. Transfer Report, University of Manchester, 1984.

    Google Scholar 

  14. G.J. Reynolds. A token-based graphics system. Computer Graphics Forum, 5(2), 1986, 139–146.

    Google Scholar 

  15. C.L.N. Ruggles & S.T. Yee. Notes on attempting a top-down formal specification of GKS in META-IV. Technical Report no. 3, Computing Studies Department, University of Leicester, 1987.

    Google Scholar 

  16. C.L.N. Ruggles & S.T. Yee. Clarification through formal specification: some notes on attempting a top-down formal specification of GKS in META-IV. In: Proceedings of the GKS Review, a workshop held in September 1987, Disley U.K. European Association for Computer Graphics, informal publication, 1987.

    Google Scholar 

  17. C.L.N. Ruggles & M.S. Parsons. A Graphics Reference Model using Input, Output and Interaction Units, 1: The model. Technical Report no. 11, Computing Studies Department, University of Leicester. In press.

    Google Scholar 

  18. C.L.N. Ruggles & M.S. Parsons. A Graphics Reference Model using Input, Output and Interaction Units, 2: Types of refinement. Technical Report, Computing Studies Department, University of Leicester. In preparation.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing Studies, University of Leicester, LE1 7RH, Leicester, UK

    Clive Ruggles

Authors
  1. Clive Ruggles
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Robin E. Bloomfield Lynn S. Marshall Roger B. Jones

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ruggles, C. (1988). Towards a formal definition of GKS and other graphics standards. In: Bloomfield, R.E., Marshall, L.S., Jones, R.B. (eds) VDM '88 VDM — The Way Ahead. VDM 1988. Lecture Notes in Computer Science, vol 328. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50214-9_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-50214-9_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50214-2

  • Online ISBN: 978-3-540-45955-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation