Data encapsulation and modularity: Three views of inheritance

  • J. F. Costa
  • A. Sernadas
  • C. Sernadas
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 711)


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.

Unable to display preview. Download preview PDF.


  1. [Adámek et al 90]
    J.Adámek, H.Herrlich and G.Strecker, Abstract and Concrete Categories, Wiley, 1990Google Scholar
  2. [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
  3. [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
  4. [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
  5. [Goguen 91]
    J.Goguen, “Types as Theories”, Proc. Conf. on Topology and Category Theory in Computer Science, Oxford University Press, 1991, 357–390Google Scholar
  6. [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
  7. [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
  8. [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
  9. [Winskel 84]
    G.Winskel, “Synchronization trees”, in Theoretical Computer Science 34, 1984Google Scholar
  10. [Winskel 89]
    G.Winskel, “An Introduction to Event Structures”, in J.W.deBakker, 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

Copyright information

© Springer-Verlag 1993

Authors and Affiliations

  • J. F. Costa
    • 1
  • A. Sernadas
    • 1
  • C. Sernadas
    • 1
  1. 1.INESC & Dept. Matemática-ISTLisboa CodexPortugal

Personalised recommendations