Object-Z: A specification language advocated for the description of standards

Duke R., Rose G. and Smith G. (1995) Object-Z: A specification language advocated for the description of standards. Computer Standards and Interfaces, 17 5-6: 511-533. doi:10.1016/0920-5489(95)00024-O


Author Duke R.
Rose G.
Smith G.
Title Object-Z: A specification language advocated for the description of standards
Journal name Computer Standards and Interfaces   Check publisher's open access policy
ISSN 0920-5489
Publication date 1995-09-30
Sub-type Article (original research)
DOI 10.1016/0920-5489(95)00024-O
Volume 17
Issue 5-6
Start page 511
End page 533
Total pages 23
Subject 1708 Hardware and Architecture
1712 Software
3308 Law
1705 Computer Networks and Communications
1706 Computer Science Applications
1802 Maori Law
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.
Keyword Formal semantics
Formal specification
Object-orientation
Standards
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Journal Article
Sub-type: Article (original research)
Collection: Scopus Import - Archived
 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 86 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Tue, 28 Jun 2016, 16:11:28 EST by System User