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.
Similar content being viewed by others
References
ANSA Reference Manual Part III — System Modelling, Release 00.05, Cambridge, UK, November 1988.
Blair, G. S., Gallagher J. G. and Malik J.: Genericityvs Inheritancevs Delegationvs Conformancevs (Towards a Unifying Understanding of Objects).Journal of Object-Oriented Programming, 2(3) September/October (1989).
Brinksma, E.: A Theory for the Derivation of Tests,Proc. Eight Int. Symp. on Protocol Specification, Testing and Verification, Atlantic City, NJ, June 1988, North Holland.
Brinksma, E. and Bolognesi, T.: Introduction to the ISO Specification Language LOTOS,Computer Networks and ISDN Systems, 14 (1) (1987).
Brinksma, E. and Scollo, G.: Formal Notions of Implementation and Conformance in LOTOS, Memorandum INF-86-13, University of Twente, Netherlands, December 1986.
Brinksma, E., Scollo, G. and Steenbergen, C.: LOTOS Specifications, Their Implementations and Their Tests.Proc. Sixth Int. Symposium on Protocol Specification, Testing and Verification, Montreal, June 1986, North Holland.
Brookes, S. D., Hoare, C. A. R. and Roscoe, A. W.: A Theory of Communicating Sequential Processes.JACM, 31, (1984).
Cook, W. and Palberg, J.: A Denotational Semantics of Inheritance and its Correctness.Object Oriented Programming Systems, Languages and Applications 89, New Orleans, October 1989.
Cusack, E.: Fundamental Aspects of Object Oriented Specification.Br. Telecom Technol. J., 6 (3) (1988).
Cusack, E.: Formal Object Oriented Specification of Distributed Systems. BCS Workshop on Specification and Verification of Concurrent Systems, Stirling, July 1988.
Goldberg, A. and Robson, D.:Smalltalk-80: the Language and Its Implementation, Addison-Wesley, 1983.
Hoare, C. A. R.:Communicating Sequential Processes, Prentice-Hall, 1985.
ISO IS 8807:LOTOS — a Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, 1989.
Mayr, T.: Specification of Object-oriented Systems in LOTOS.Int. Conf. on Formal Description Techniques — FORTE88, Stirling, September 1988.
JTC1 SC21 WG7 N3196: Modelling Techniques and Their Use in ODP, Draft WG7 Working Document, December 1988.
Vissers, C. A., Scollo, G. and van Sinderen, M.: Architecture and Specification Style in Formal Descriptions of Distributed Systems,Proc. Eighth Int. Symp. on Protocol Specification, Testing and Verification, Atlantic City, NJ, June 1988 North Holland.
Wegner, P.: Dimensions of Object-Based Language Design,Object Oriented Programming, Systems, Languages and Applications 87, Orlando, Florida, September 1987.
Wegner, P. and Zdonik, S.: Inheritance as an Incremental Modification Technique, or What Like Is and Isn't Like,European Conf. on Object Oriented Programming, Norway, August 1988.
Wezeman, C.: The CO-OP Method for Compositional Derivation of Conformation Testers,Proc. Ninth Int. Symp. on Protocol Specification, Testing and Verification, Enschede, The Netherlands, June 1989, North Holland.
CCITT Draft Recommendation X.407 ∣ ISO Working Document for DIS 8805-5,Abstract Service Definition Conventions, Version 5, Gloucester, November 1987.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Cusack, E. Refinement, conformance and inheritance. Formal Aspects of Computing 3, 129–141 (1991). https://doi.org/10.1007/BF01898400
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01898400