Object-z: a Speciication Language Advocated for the Description of Standards
نویسندگان
چکیده
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 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 aaorded by the Object-Z class construct and operation expressions enables the various hierarchical relationships and the communication between objects in a system to be succinct ly speciied.
منابع مشابه
Object-z: a Specification Language Advocated for the Description of Standards Object-z: a Speciication Language Advocated for the Description of Standards
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 Object-Z are described informally. Then the...
متن کاملExclusive Control within Object Oriented Systems
In object-oriented systems, object associations generally result in a complex structure whose precise description is a crucial part of the sys-tem's formal speciication. A particularly common object association arises when one object exclusively controls (owns) another. As exclusive object control is an important aspect of safety and security critical systems, speciic notation to capture direct...
متن کاملUsing Object - Z to specify a web browser
A speciication describes the functions which a system provides to its users without explanation of how those functions are implemented. A speciication of an interactive system's user-interface is an abstract description of the interactive system itself. Such a speciica-tion indicates which functional aspects of the system are perceivable by the user and the logical organisation of information p...
متن کاملType Checking Classes in Object-Z to Promote Quality of Specifications
Formal speciication of software requirements has been recognised as an essential ingredient to improve the quality of delivered code. When integrated with the structuring mechanisms of object-orientation, formal spec-iications can provide a powerful tool for the software developer. However, the formal speciication of particularly large systems needs to be supported by tools which assist the spe...
متن کاملSpecifying Parallel and Distributed Systems in Object-Z
There has been an increasing emphasis on formality in software system speciication in the last few years. A number of standards bodies are recommending the use of formal notations for specifying software systems. Parallel and distributed systems have their own complex features such as: the concurrent interactions between various system components; the reactive nature of the systems; various mes...
متن کامل