XML Schema definition of Z Specification Language

Overview

A XML Schema definition of the Z specification language is available here (xsd, documentation). A brief overall structure is represented as follows:

Back to top

Z Paragraph definition

The Z paragraph structure is defined as follows:

Back to top

Z Predicate definition

The Z predicate structure is represented as follows:

Back to top

Z Expression definition

The Z expression structure is represented as follows:

Back to top

Z Example in XML

A Z specification of the BirthdayBook example in XML is available here (ps).

Remark: An extensions to (Object-Z/TCOZ) in XML Schema, is available here. A Z/Object-Z/TCOZ type checker prototype and an auto-translator to UML class and statechart diagrams (through XMI) were built based on this XML schema definition. Here is a forthcoming paper:

J. S. Dong, Y. F. Li, J. Sun, J. Sun and H. Wang. XML-based static type checking and dynamic visualization for TCOZ. ICFEM'02. LNCS, Oct 2002.

Back to top

Last revised: Thursday, August 15, 2002.