Object-Z: A specification language advocated for the description of standards |
| |
Authors: | Roger Duke Gordon Rose Graeme Smith |
| |
Affiliation: | Software Verification Research Centre, Department of Computer Science, University of Queensland, Queensland, Australia |
| |
Abstract: | The importance of formalising the specification of standards has been recognised for a number of years. This paper advocates the use of the formal specification language Object-Z in the definition of standards. Object-Z is an extension to the Z language specifically to facilitate specification in an object-oriented style. First, the syntax and semantics of Object-Z are described informally. Then the use of Object-Z in formalising standards is demonstrated by presenting a case study based on the ODP Trader. Finally, a formal semantics is introduced that suggests an approach to the standardisation of Object-Z itself. Because standards are typically large complex systems, the extra structuring afforded by the Object-Z class construct and operation expressions enables the various hierarchical relationships and the communication between objects in a system to be succinctly specified. |
| |
Keywords: | Author Keywords: Object-orientation Formal specification Formal semantics Standards |
本文献已被 ScienceDirect 等数据库收录! |