Some Elements of Z Specification Style: Structuring Techniques
Anthony MacDonald (Department of Computer Science and Electrical Engineering, and Software Verification Research Centre, The University of Queensland, Australia)
David Carrington (Department of Computer Science and Electrical Engineering, and Software Verification Research Centre, The University of Queensland, Australia)
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: Z notation, formal specification, specification structure
Categories: D.2.1, F.3.1, F.4.3
|