A Case Study in Specification
Bill Flinn · 1986
This paper describes the specification, written in the specification language known as Z, of a reasonably complex software system. Important features of the Z approach which are highlighted in this paper include the interleaving of ma.thematical text with informal prose, the creation of parametrised specifications, and use of the Z schema calculus to construct descriptions of large systems from simpler components. O. Introduction This paper presents a case study in system specification. The notation used to record the system's properties is known as Z [1, 2, 3J. Z is based on set theory, and its use as a specification language has been developed at the ProgranuniD.g Research Group at Oxford University. Some important aspects of the Z approach are illustrated in this paper.