ZML: XML Support for Standard Z

  • Mark Utting
  • Ian Toyn
  • Jing Sun
  • Andrew Martin
  • Jin Song Dong
  • Nicholas Daley
  • David Currie
Conference paper

DOI: 10.1007/3-540-44880-2_26

Volume 2651 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Utting M. et al. (2003) ZML: XML Support for Standard Z. In: Bert D., Bowen J.P., King S., Waldén M. (eds) ZB 2003: Formal Specification and Development in Z and B. ZB 2003. Lecture Notes in Computer Science, vol 2651. Springer, Berlin, Heidelberg

Abstract

This paper proposes an XML format for standard Z. We describe several earlier XML proposals for Z, the problems and issues that arose, and the rationales behind our new proposal. The new proposal is based upon a comparison of various existing Z annotated syntaxes, to ensure that the mark-up will be widely usable. This XML format is expected to become a central feature of the CZT (Community Z Tools) initiative.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Mark Utting
    • 1
  • Ian Toyn
    • 2
  • Jing Sun
    • 4
  • Andrew Martin
    • 3
  • Jin Song Dong
    • 4
  • Nicholas Daley
    • 1
  • David Currie
    • 5
  1. 1.The University of WaikatoHamiltonNZ
  2. 2.The University of YorkUK
  3. 3.Oxford UniversityUK
  4. 4.The National University of SingaporeSingapore
  5. 5.IBM UK LabsWinchester, HantsUK