Data encapsulation and modularity: Three views of inheritance
- First Online:
- Cite this paper as:
- Costa J.F., Sernadas A., Sernadas C. (1993) Data encapsulation and modularity: Three views of inheritance. In: Borzyszkowski A.M., Sokołowski S. (eds) Mathematical Foundations of Computer Science 1993. MFCS 1993. Lecture Notes in Computer Science, vol 711. Springer, Berlin, Heidelberg
A semantic domain based on state-machines is proposed for object-orientation in order to clarify the most important constructions: aggregation, interconnection and specialization. Three kinds of specialization are discussed: subtyping (specialization without side-effects and no non-monotonic overriding); monotonic specialization (possibly with side-effects but still with monotonic overriding only); and non-monotonic specialization (possibly with side-effects and non-monotonic overriding).
Unable to display preview. Download preview PDF.