Abstract
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).
Preview
Unable to display preview. Download preview PDF.
References
J.Adámek, H.Herrlich and G.Strecker, Abstract and Concrete Categories, Wiley, 1990
J.F.Costa, A.Sernadas and C.Sernadas, “Object Inheritance Beyond Subtyping”, INESC Report, 1992, to appear in Acta Informatica
H.-D.Ehrich, J.Goguen and A.Sernadas, “A Categorial Theory of Objects as Observed Processes”, in J.W. deBakker, W.P.deRoever and G.Rozenberg (eds), Proc. of the REX90/Workshop on Foundations of Object-Oriented Languages, LNCS 489, Springer-Verlag, 1991, 203–228
[Ehrich et al 92] H.-D.Ehrich, G.Saake and A.Sernadas, “Concepts of Object-Orientation”, to appear in Proc. of the 2nd IS/KI Workshop, Ulm, 1992
J.Goguen, “Types as Theories”, Proc. Conf. on Topology and Category Theory in Computer Science, Oxford University Press, 1991, 357–390
R.Jungclaus, G.Saake, T.Hartmann and C.Sernadas, Object-Oriented Specification of Information Systems: The TROLL Language, Informatik-Berichte, Tech. Univ. Braunschweig, 1991, to appear
Z.Manna and A.Pnueli, “The Temporal Framework for Concurrent Programs”, in R.Boyer and J.Moore (eds), The Correcteness Problem in Computer Science, Academic Press, 1981, 215–274
A.Sernadas, J.Fiadeiro, C.Sernadas and H.-D.-Ehrich, “Basic Building Blocks of Information Systems”, in E.Falkenberg and P.Lindgreen (eds), Information System Concepts: An In-depth Analysis, North-Holland, 1989, 225–246
G.Winskel, “Synchronization trees”, in Theoretical Computer Science 34, 1984
G.Winskel, “An Introduction to Event Structures”, in J.W.deBakker, W.P.de Roever and G.Rozenberg (eds), Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, Springer-Verlag, 1989, 364–397
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/3-540-57182-5_30
Download citation
DOI: https://doi.org/10.1007/3-540-57182-5_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57182-7
Online ISBN: 978-3-540-47927-7
eBook Packages: Springer Book Archive