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).


Parallel Composition Saving Account Semantic Domain Joint Behaviour Saving Mode 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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 Berlin Heidelberg 1993

Authors and Affiliations

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

Personalised recommendations