Refinement, conformance and inheritance
- 1 June 1991
- journal article
- Published by Association for Computing Machinery (ACM) in Formal Aspects of Computing
- Vol. 3 (2) , 129-141
- https://doi.org/10.1007/bf01898400
Abstract
This paper establishes a language-independent framework for class-based inheritance using a generic concept of refinement. The framework is then realised in the process algebra CSP. Class membership is expressed in terms of conformance to some relabelling of a distinguished process (the class template). The approach of the paper facilitates rigorous examination of informal concepts in object-oriented design, and suggests the possibility of introducing an appealing methodology into CSP.Keywords
This publication has 6 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- A denotational semantics of inheritance and its correctnessPublished by Association for Computing Machinery (ACM) ,1989
- Inheritance as an Incremental Modification Mechanism or What Like Is and Isn’t LikePublished by Springer Nature ,1988
- Dimensions of object-based language designPublished by Association for Computing Machinery (ACM) ,1987
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984