Learn More
The importance of formalising the speciication of standards has been recognised for a number of years. This paper advocates the use of the formal speciication language Object-Z in the deenition of standards. Object-Z is an extension to the Z language speciically to facilitate speciication in an object-oriented style. First, the syntax and semantics of(More)
Preface This report presents Version 1 of Object-Z, an extension to the speciication language Z, which facilitates the speciication of systems in an object-oriented style. The report includes a concrete syntax and four case studies. Some aspects pertinent to object-oriented speciication are not in this version of Object-Z but are being investigated for(More)
W h e n modelling a large and complex system, clar-zty of the speczfication becomes an znaportant factor. I n object-oriented specification, the states of individual objects are captured by the values of their at-trzbutes. Frequently however, there are dependenczes between the attributes of a n object. An appropriate andication of whzch attributes are(More)
The importance of formalising the speciication of standards has been recognised for a number of years. This paper advocates the use of the formal speciication language Object-Z in the deenition of standards. Object-Z is an extension to the Z language speciically to facilitate speciication in an object-oriented style. First, the syntax and semantics of(More)