Acta Informatica

, Volume 31, Issue 1, pp 5–26

Object inheritance beyond subtyping

  • J. F. Costa
  • A. Sernadas
  • C. Sernadas
Article
  • 23 Downloads

Abstract

A categorial semantic domain for objects is presented in order to clarify both aggregation and specialization. Three kinds of specialization are discussed: (1) subtyping (specialization with no side effects and no non-monotonic overriding); (2) monotonic specialization (possibly with side effects but still only with monotonic overriding); and (3) non-monotonic specialization (possibly with side effects and non-monotonic overriding). A sequence of three categories of objects differing only in the morphisms is presented. The first one is used to explain object aggregation (respecting locality through a frame constraint) and the strictest form of specialization (subtyping). The second category is shown to be adequate for explaining specialization with side effects (by relaxing the frame constraint). Finally, the third category supports also non-monotonic overriding, by adopting as morphisms suitable partial morphisms of the second one. All these categories are complete and cocomplete. Colimits are used for explaining the semantics of aggregation and multiple inheritance.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1994

Authors and Affiliations

  • J. F. Costa
    • 1
  • A. Sernadas
    • 1
  • C. Sernadas
    • 1
  1. 1.INESC and Departamento de Matemática-ISTLisboa CodexPortugal

Personalised recommendations