Book chapter
ZML: XML support for standard Z
ZB 2003: Formal Specification and Development in Z and B, pp.437-456
International Conference of Z and B Users (ZB), 3rd (Turku, Finland, 04-Jun-2003–06-Jun-2003)
Lecture Notes in Computer Science (LNCS), 2651, Springer New York LLC
2003
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. © Springer-Verlag Berlin Heidelberg 2003.
Details
- Title
- ZML: XML support for standard Z
- Authors
- Mark Utting (Author) - University of Waikato, New ZealandIan Toyn (Author) - University of York, United KingdomJing Sun (Author) - National University of Singapore, SingaporeAndrew Martin (Author) - Oxford University, United KingdomJin Song Dong (Author) - National University of Singapore, SingaporeNicholas Daley (Author) - University of Waikato, New ZealandDavid Currie (Author) - IBM UK Labs, United Kingdom
- Contributors
- D Birt (Editor)J P Bowen (Editor)S King (Editor)M Walden (Editor)
- Publication details
- ZB 2003: Formal Specification and Development in Z and B, pp.437-456
- Conference details
- International Conference of Z and B Users (ZB), 3rd (Turku, Finland, 04-Jun-2003–06-Jun-2003)
- Series
- Lecture Notes in Computer Science (LNCS); 2651
- Publisher
- Springer New York LLC
- Date published
- 2003
- DOI
- 10.1007/3-540-44880-2_26
- ISBN
- 9783540402534
- Organisation Unit
- School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
- Language
- English
- Record Identifier
- 99448783602621
- Output Type
- Book chapter
Metrics
2 File views/ downloads
577 Record Views