Object-Z: a Specification Language Advocated for the Description of Standards (1995)
| Venue: | COMPUTER STANDARDS AND INTERFACES |
| Citations: | 150 - 15 self |
BibTeX
@ARTICLE{Duke95object-z:a,
author = {Roger Duke and Gordon Rose and Graeme Smith},
title = {Object-Z: a Specification Language Advocated for the Description of Standards},
journal = {COMPUTER STANDARDS AND INTERFACES},
year = {1995},
volume = {17}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 objectoriented 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.
