The C++ programming language
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Eiffel: the language
The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented specification in VDM++
Object-oriented specification case studies
Object-Z: a specification language advocated for the description of standards
Computer Standards & Interfaces - Special issue on formal description techniques
Accommodating interference in the formal design of concurrent object-based programs
Formal Methods in System Design
Object orientation with parallelism and persistence
Objects and classes, co-algebraically
Object orientation with parallelism and persistence
Formal Object-Oriented Development
Formal Object-Oriented Development
Smalltalk-80: The Language
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
An Extended Semantic Foundation For Object-Z
APSEC '96 Proceedings of the Third Asia-Pacific Software Engineering Conference
Encoding Object-Z in Isabelle/HOL
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Hi-index | 0.00 |
This paper presents a model for object-oriented operations in which operations consist of two parts: an internal state transition and an external interaction with other objects. We first present a simple version of the two part model, and explain howthis model has been used to develop a strictly modular, compositional semantics for a simple sublanguage of Object-Z. Differences between the operation calculii of the simple sub-language and of Object-Z are identified. We extend the simple model to accommodate distributed operators, and then define a syntactic translation from "full" Object-Z to the simple sub-language. This shows that the two part model is sufficiently expressive to describe many notions about operation invocation in object orientation.