Object Orientation without Extending Z | Zendy

Mark Utting | Zendy; ShaoChun Wang | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Object Orientation without Extending Z

Author(s) -

Mark Utting,

ShaoChun Wang

Publication year - 2003

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/3-540-44880-2_20

Subject(s) - computer science , object orientation , programming language , object oriented programming , axiom , subtyping , multiple inheritance , inheritance (genetic algorithm) , programming style , encapsulation (networking) , theoretical computer science , mathematics , computer security , geometry , biochemistry , chemistry , gene

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research