ZML: XML support for standard Z

Authors:
Mark Utting;Ian Toyn;Jing Sun;Andrew Martin;Jin Song Dong;Nicholas Daley;David Currie
Affiliations:
The University ofWaikato, Hamilton, NZ;The University of York;The National University of Singapore;Oxford University;The National University of Singapore;The University of Waikato, Hamilton, NZ;IBM UK Labs, Winchester, Hants, UK
Venue:
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Year:
2003

Citing 7
Cited 7

The Z notation: a reference manual

The Z notation: a reference manual
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Timed Communicating Object Z

IEEE Transactions on Software Engineering
XML in a nutshell

XML in a nutshell
A Formal Object Approach to the Design of ZML

Annals of Software Engineering
XML-Based Static Type Checking and Dynamic Visualization for TCOZ

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
The Z/EVES System

ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation

Ten commandments revisited: a ten-year perspective on the industrial application of formal methods

Proceedings of the 10th international workshop on Formal methods for industrial critical systems
A retrospective on CZT

Software—Practice & Experience
The semantics and tool support of OZTA

ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
SVG web environment for z specification language

ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Formal analysis in model management: exploiting the power of CZT

ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
CZT: a framework for Z tools

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
CZT support for z extensions

IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods

Quantified Score

Hi-index	0.00

Visualization

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.