Data encapsulation and modularity: Three views of inheritance
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).
KeywordsParallel Composition Saving Account Semantic Domain Joint Behaviour Saving Mode
Unable to display preview. Download preview PDF.
- [Adámek et al 90]J.Adámek, H.Herrlich and G.Strecker, Abstract and Concrete Categories, Wiley, 1990Google Scholar
- [Costa et al 92a]J.F.Costa, A.Sernadas and C.Sernadas, “Object Inheritance Beyond Subtyping”, INESC Report, 1992, to appear in Acta Informatica Google Scholar
- [Ehrich et al 91]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–228Google Scholar
- [Ehrich et al 92][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, 1992Google Scholar
- [Goguen 91]J.Goguen, “Types as Theories”, Proc. Conf. on Topology and Category Theory in Computer Science, Oxford University Press, 1991, 357–390Google Scholar
- [Jungclaus et al 91]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 Google Scholar
- [Manna and Pnueli 81]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–274Google Scholar
- [SernadasA et al 89]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–246Google Scholar
- [Winskel 84]G.Winskel, “Synchronization trees”, in Theoretical Computer Science 34, 1984Google Scholar
- [Winskel 89]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–397Google Scholar