Skip to main content
Springer Nature Link
Log in

Experiences in using the abstract machine notation in a GKS case study

  • Conference paper
  • First Online:
FME '94: Industrial Benefit of Formal Methods (FME 1994)

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

Included in the following conference series:

Abstract

This paper discusses the authors' experiences in re-engineering and subsequently refining part of a Z-style specification of the Graphics Kernel System using the Abstract Machine Notation as supported in the B Toolkit.

This work was supported by the UK DTI/SERC project “B User Trials” (IED4/1/2182).

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.

Similar content being viewed by others

References

  1. J.-R. Abrial Assigning Programs to Meanings.Prentice-Hall, 1994 (to appear).

    Google Scholar 

  2. J.C. Bicarregui and B.M. Matthews Architecture for Structuring Proof. B User Trials project document BUT/RAL/BMM/11/vl. Rutherford Appleton Laboratory, 1994.

    Google Scholar 

  3. J.C. Bicarregui and B. Ritchie Invariants, Frames and Postconditions: A Comparison of the VDM and B Notations, in: J.C.P. Woodcock and P.G. Larsen (eds.), FME'93: Industrial-Strength Formal Methods. LNCS 670, Springer-Verlag, 1993.

    Google Scholar 

  4. D. A. Duce and L. B. Damnjanovic. Formal Specification in the Revision of GKS: An Illustrative Example. Computer Graphics Forum, 11(1):17–30, 1992.

    Google Scholar 

  5. D. A. Duce and E. V. C. Fielding. Formal Specification — A Comparison of Two Techniques. Computer Journal, 30(4):316–327, 1987.

    Google Scholar 

  6. D. A. Duce and F. Paterno. Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model. Rutherford Appleton Laboratory technical report RAL-91-065, 1991.

    Google Scholar 

  7. International Organisation for Standardization. Information technology — Computer graphics and image processing — Graphical Kernel System (GKS) Part 1: functional description (Draft International Standard), 1993.

    Google Scholar 

  8. H. Haughton The B Method Manual. B User Trials project document BUT/LLOYDS/HPH/8/V4. Lloyds Register, 1992.

    Google Scholar 

  9. K. Lano and H. Haughton Improving the Process of System Specification and Refinement in B. 6th Refinement Workshop, January 1994. (to appear in Springer Workshops in Computing series).

    Google Scholar 

  10. Ph. W. Nehlig and D. A. Duce. GKS-9x: The Design Output Primitive, an Approach to a Specification. Computer Graphics Forum, 13(3), 1994. Accepted for publication.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Rutherford Appleton Laboratory, UK

    Brian Ritchie & Juan Bicarregui

  2. Younike Expert Associates, UK

    Howard Haughton

Authors
  1. Brian Ritchie
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Juan Bicarregui
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Howard Haughton
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Maurice Naftalin Tim Denvir Miquel Bertran

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ritchie, B., Bicarregui, J., Haughton, H. (1994). Experiences in using the abstract machine notation in a GKS case study. In: Naftalin, M., Denvir, T., Bertran, M. (eds) FME '94: Industrial Benefit of Formal Methods. FME 1994. Lecture Notes in Computer Science, vol 873. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58555-9_90

Download citation

  • DOI: https://doi.org/10.1007/3-540-58555-9_90

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58555-8

  • Online ISBN: 978-3-540-49031-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics