Abstract
Inheritance is one of the key features in object-oriented design and analysis. It especially supports an incremental development by allowing to stepwise add new functionality to an existing system design.
When using a subclass which is a specialisation of a certain superclass, the question arises which of the superclass’ properties still hold for the subclass. We investigate this topic for three behavioural subtyping relations, which formalise the subtype — supertype relationship among classes on the basis of process algebra correctness relations. According to the degree of change allowed by the subtyping relations, safety and liveness properties of the superclass are preserved up to different extents.
Chapter PDF
Similar content being viewed by others
References
P. America. Designing an object-oriented programming language with behavioural subtyping. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, REX Workshop: Foundations of Object-Oriented Languages, number 489 in LNCS. Springer, 1991.
C. Balzarotti, F. De Cindio, and L. Pomello. Observation equivalences for the semantics of inheritance. In P. Ciancarini and R. Gorrieri, editors, FMOODS ‘89, Formal methods for open object-based distributed systems, 1999.
H. Bowman, C. Briscoe-Smith, J. Derrick, and B. Strulo. On behavioural subtyping in LOTOS. In H. Bowman and J. Derrick, editors, Formal methods for open object-based distributed systems, pages 335–351. Chapman & Hall, 1997.
H. Bowman and J. Derrick. A junction between state based and behavioural specification. In P. Ciancarini, F. Fantechi, and R. Gorrieri, editors, Formal methods for open object-based distributed systems FMOODS ‘89, pages 213–239. Kluwer, 1999.
E. Brinksma, G. Scollo, and Ch. Steenbergen. LOTOS specifications, their implementations and their tests. In B. Sarikaya and G. v.Bochmann, editors, Protocol Specification, Testing and Verification VI, pages 349–358. Elsevier, 1987.
E. Cusack. Refinement, conformance and inheritance. Formal Aspects of Computing, 3:129–141, 1991.
Krishna Kishore Dhara and Gary T. Leavens. Forcing behavioral sub-typing through specification inheritance. In Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany,pages 258–267. IEEE Computer Society Press, March 1996. A corrected version is Iowa State University, Dept. of Computer Science TR #95–20c.
C. Fischer and H. Wehrheim. Behavioural subtyping relations for object-oriented formalisms. In T. Rus, editor, AMAST 2000: International Conference on Algebraic Methodology And Software Technology. Springer, 2000. to appear.
D. Harel and O. Kupferman. On the inheritance of state-based object behaviour. Technical Report MCS99–12, The Weizmann Institute of Science, Israel, 1999.
C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
G.T. Leavens and W.E. Weihl. Specification and verification of object-oriented programs using supertype abstraction. Acta Informatica, 32: 705–778, 1995.
B. Liskov and J. Wing. A behavioural notion of subtyping. ACM Transactions on Programming Languages and Systems, 16(6):1811–1841, 1994.
B. Meyer. Object-Oriented Software Construction. ISE, 2. edition, 1997.
O. Nierstrasz. Regular types for active objects. In O. Nierstrasz and D. Tsichritzis, editors, Object-oriented software composition, pages 99–121. Prentice Hall, 1995.
Object Management Group. OMG Unified Modeling Language Specification, June 1999. version 1.3.
A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997.
W.M.P. van der Aalst and T. Basten. Life-cycle inheritance - a Petrinet-based approach. In P. Azema and G. Balbo, editors, Application and Theory of Petri Nets, number 1248 in LNCS, pages 62–81. Springer, 1997.
J. Waldo. The Jini architecture for network-centric computing. Communications of the ACM, 42 (7): 76–82, 1999.
P. Wegner and B. Zdonik. Inheritance as an incremental modification mechanism or What like is and isn’t like. In ECOOP ‘88: European Conference on Object-Oriented Programming, volume 322 of Lecture Notes in Computer Science. Springer, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 IFIP International Federation for Information Processing
About this paper
Cite this paper
Wehrheim, H. (2000). Behavioural Subtyping and Property Preservation. In: Smith, S.F., Talcott, C.L. (eds) Formal Methods for Open Object-Based Distributed Systems IV. FMOODS 2000. IFIP Advances in Information and Communication Technology, vol 49. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35520-7_11
Download citation
DOI: https://doi.org/10.1007/978-0-387-35520-7_11
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-1018-2
Online ISBN: 978-0-387-35520-7
eBook Packages: Springer Book Archive