Behavioral safety in a model with multiple class objects

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.