1. ZML: XML Support for Standard Z
- Author
-
Mark Utting, Jing Sun, David Currie, Nicholas Daley, Andrew P. Martin, Ian Toyn, and Jin Song Dong
- Subjects
Document Structure Description ,XML Encryption ,computer.internet_protocol ,Computer science ,Efficient XML Interchange ,XML Signature ,XML Base ,Document type definition ,computer.software_genre ,XML Schema Editor ,Streaming XML ,RELAX NG ,XML schema ,Binary XML ,SGML ,computer.programming_language ,Programming language ,cXML ,XML validation ,computer.file_format ,XML framework ,XML database ,XML Protocol ,Regular Language description for XML ,computer ,XML ,XML Catalog - 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.
- Published
- 2016