Sound and Relaxed Behavioural Inheritance

Amalio, Nuno (2019) Sound and Relaxed Behavioural Inheritance. In: From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday. Emergence, Complexity and Computation, 35 (35). Springer, Switzerland, pp. 255-298. ISBN 978-3-030-15791-3

[img]
Preview
Text
BI-paper.pdf

Download (2MB)

Abstract

Object-oriented (OO) inheritance establishes taxonomies of OO classes. Behavioural inheritance (BI), a strong version, emphasises substitutability: objects of child classes replace objects of their ascendant classes without any observable effect difference on the system. BI is related to data refinement, but refinement's constrictions rule out many useful OO subclassings. This paper revisits BI at the light of Z and the theory of data refinement. It studies existing solutions to this problem, criticises them, and proposes improved relaxations. The results are applicable to any OO language that supports design-by-contract (DbC). The paper's contributions include three novel BI relaxations supported by a mathematical model with proofs carried out in the Isabelle proof assistant, and an examination of BI in the DbC languages Eiffel, JML and Spec#.

Item Type: Book Section
Subjects: G400 Computer Science
G600 Software Engineering
G900 Others in Mathematical and Computing Sciences
Divisions: REF UoA Output Collections > REF2021 UoA11: Computer Science and Informatics
Depositing User: Nuno Amalio
Date Deposited: 13 Jun 2019 07:28
Last Modified: 04 Jul 2019 11:55
URI: http://www.open-access.bcu.ac.uk/id/eprint/7583

Actions (login required)

View Item View Item

Research

In this section...