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.
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
ISO/IEC 10646-1. Information Technology — Universal Multiple-Octet Coded Character Set (UCS) — Part 1: Architecture and Basic Multilingual Plane. 2000.
ISO/IEC 10646-2. Information Technology — Universal Multiple-Octet Coded Character Set (UCS) — Part 2: Supplementary Planes. 2001.
ISO/IEC 13568. Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics. 2002. First Edition 2002-07-01.
ISO 8879-1986. Information Processing — Text and Office Systems — Standard Generalized Mark-up Language (SGML). ISO, 1986.
Nicholas Daley. Abstract syntax tree for Z. 591 Project Report, The Department of Computer Science, Waikato University, Hamilton, New Zealand, October 2002. Available from marku@cs.waikato.ac.nz.
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.
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, USA, 1995.
W. Grieskamp. ZETA. http://uebb.cs.tu-berlin.de/zeta, 2000.
E.R. Harold and W.S. Means. XML in a Nutshell. O’Reilly, 2001.
B. Mahony and J. S. Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2), February 2000.
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.
J. Michael Spivey. The Z Notation: A Reference Manual. International Series in Computer Science. Prentice-Hall International (UK) Ltd, second edition, 1992.
J. Sun, J.S. Dong, J. Liu, and H. Wang. An XML Schema for Z family. http://nt-appn.comp.nus.edu.sg/fm/zml/zml.xsd, 2001.
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.
I. Toyn. CADiZ. http://www-users.cs.york.ac.uk/~ian/cadiz/, 2001.
J. Wordsworth. An XML DTD for Z, October 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/3-540-44880-2_26
Download citation
DOI: https://doi.org/10.1007/3-540-44880-2_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40253-4
Online ISBN: 978-3-540-44880-8
eBook Packages: Springer Book Archive