Behavioral Safety in a Model With Multiple Class Objects

  • Authors:
  • Tomas Hruska;Petr Kolencik;Michal Mácel

  • Affiliations:
  • -;-;-

  • Venue:
  • SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
  • Year:
  • 1998

Quantified Score

Hi-index 0.01

Visualization

Abstract

Considering the extension to the object-oriented model introducing multiple type objects, we faced the problem of disambiguating method dispatching. This issue is closely connected with the conflicts in classes defined by the multiple inheritance. We studied the current works from a broader perspective of conceptual modeling considering both theoretical and practical views. As a result, solution based on the method redefinition constraints was proposed. For the presentation of the main ideas, we use the formal tools of category theory. It is in accordance with our former attempts to describe object-oriented models in terms of categorical constructions.