Book chapter
Object orientation without extending Z
ZB 2003: Formal Specification and Development in Z and B, pp.319-338
International Conference of Z and B Users (ZB), 3rd (Turku, Finland, 04-Jun-2003–06-Jun-2003)
Lecture Notes in Computer Science (LNCS), 2651, Springer New York LLC
2003
Abstract
The good news of this paper is that without extending Z, we can elegantly specify object-oriented systems, including encapsulation, inheritance and subtype polymorphism (dynamic dispatch). The bad news is that this specification style is rather different to normal Z specifications, more abstract and axiomatic, which means that it is not so well supported by current Z tools such as animators. It also enforces behavioural subtyping, unlike most object-oriented programming languages. This paper explains the proposed style, with examples, and discusses its advantages and disadvantages. © Springer-Verlag Berlin Heidelberg 2003.
Details
- Title
- Object orientation without extending Z
- Authors
- Mark Utting (Author) - University of Waikato, New ZealandShaochun Wang (Author) - University of Waikato, New Zealand
- Contributors
- D Birt (Editor)J P Bowen (Editor)S King (Editor)M Walden (Editor)
- Publication details
- ZB 2003: Formal Specification and Development in Z and B, pp.319-338
- Conference details
- International Conference of Z and B Users (ZB), 3rd (Turku, Finland, 04-Jun-2003–06-Jun-2003)
- Series
- Lecture Notes in Computer Science (LNCS); 2651
- Publisher
- Springer New York LLC
- Date published
- 2003
- DOI
- 10.1007/3-540-44880-2_20
- Organisation Unit
- School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
- Language
- English
- Record Identifier
- 99448879102621
- Output Type
- Book chapter
Metrics
6 File views/ downloads
565 Record Views