| 4 (2007) | |||||||||||||||
Abstract | |||||||||||||||
| 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. 1 Why an XML format for Z? The publication during 2002 of the ISO Z Standard [3] represents a significant milestone for the development and interoperability of Z tools. It has established what notation should be exchanged, but not necessarily how. Technology has advanced during the development of the standard, so it now seems most natural for tools to interact using an XML mark-up [9]. This paper describes such a mark-up, intended to be a development of the Standard 's work, as a contribution to the Community Z Tools | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||