JUCS - Journal of Universal Computer Science 6(12): 1203-1225, doi: 10.3217/jucs-006-12-1203
Some Elements of Z Specification Style: Structuring Techniques
expand article infoAnthony Macdonald‡, David Carrington‡
‡ Department of Computer Science and Electrical Engineering, and Software Verification Research Centre, The University of Queensland, Brisbane, Australia

Corresponding author: Anthony Macdonald ( anti@csee.uq.edu.au )

© Anthony Macdonald, David Carrington.
This article is freely available under the J.UCS Open Content License.
Citation: Macdonald A, Carrington D (2000) Some Elements of Z Specification Style: Structuring Techniques. JUCS - Journal of Universal Computer Science 6(12): 1203-1225. https://doi.org/10.3217/jucs-006-12-1203
Open Access
Abstract
This article investigates the issue of structuring Z specifications. It uses examples from a large specification (the production cell) to examine both conventions for using Z and notational extensions, including Object-Z. Because of the importance of good structure within a specification, specifiers need to be aware of a range of structuring techniques and understand where each is applicable.
Keywords
formal specification, Z notation, specification structure