ZML: XML Support for Standard Z

  • Mark Utting
  • Ian Toyn
  • Jing Sun
  • Andrew Martin
  • Jin Song Dong
  • Nicholas Daley
  • David Currie
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2651)


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.


Concrete Syntax Boolean Attribute Schema Text Syntactic Transformation Operator Template 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    ISO/IEC 10646-1. Information Technology — Universal Multiple-Octet Coded Character Set (UCS) — Part 1: Architecture and Basic Multilingual Plane. 2000.Google Scholar
  2. 2.
    ISO/IEC 10646-2. Information Technology — Universal Multiple-Octet Coded Character Set (UCS) — Part 2: Supplementary Planes. 2001.Google Scholar
  3. 3.
    ISO/IEC 13568. Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics. 2002. First Edition 2002-07-01.Google Scholar
  4. 4.
    ISO 8879-1986. Information Processing — Text and Office Systems — Standard Generalized Mark-up Language (SGML). ISO, 1986.Google Scholar
  5. 5.
    Nicholas Daley. Abstract syntax tree for Z. 591 Project Report, The Department of Computer Science, Waikato University, Hamilton, New Zealand, October 2002. Available from Scholar
  6. 6.
    Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun, and Hai Wang. XML-based static type checking and dynamic visualization for TCOZ. In 4th International Conference on Formal Engineering Methods, pages 311–322. Springer-Verlag, October 2002.Google Scholar
  7. 7.
    Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, USA, 1995.Google Scholar
  8. 8.
    W. Grieskamp. ZETA., 2000.
  9. 9.
    E.R. Harold and W.S. Means. XML in a Nutshell. O’Reilly, 2001.Google Scholar
  10. 10.
    B. Mahony and J. S. Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2), February 2000.Google Scholar
  11. 11.
    M. Saaltink. The Z/EVES system. In J. Bowen, M. Hinchey, and D. Till, editors, Proc. 10th Int. Conf. on the Z Formal Method (ZUM), volume 1212 of Lecture Notes in Computer Science, pages 72–88, Reading, UK, April 1997. Springer-Verlag, Berlin.Google Scholar
  12. 12.
    J. Michael Spivey. The Z Notation: A Reference Manual. International Series in Computer Science. Prentice-Hall International (UK) Ltd, second edition, 1992.Google Scholar
  13. 13.
    J. Sun, J.S. Dong, J. Liu, and H. Wang. An XML Schema for Z family., 2001.
  14. 14.
    Jing Sun, Jin Song Dong, Jing Liu, and Hai Wang. A Formal Object Approach to the Design of ZML. Annals of Software Engineering, 13(1–4):329–356, June 2002.zbMATHCrossRefGoogle Scholar
  15. 15.
  16. 16.
    J. Wordsworth. An XML DTD for Z, October 1999.Google Scholar

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

Personalised recommendations