Publication Details
Behavioral Safety in a Model With Multiple Class Objects
Kolenčík Petr, Ing. (FEECS BUT)
Máčel Michal, Ing., CSc., MBA (VEMA)
object-oriented database model, multiple class objects, modeling roles, method dispatching, cathegory theory
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 conflict in classes defined by the multiple inheritance. We studied the current works from a broader perspective of conceptual modeling considering both theoretical and practical view. As a result, solution based on the method redefinition constrains was proposed. For the presentation of the main ideas, we use the formal tools of cathegory theory. It is in accordance with our former attempts to describe object-oriented models in terms of cathegorical constructions.
@INBOOK{FITPUB5974, author = "Tom\'{a}\v{s} Hru\v{s}ka and Petr Kolen\v{c}\'{i}k and Michal M\'{a}\v{c}el", title = "Behavioral Safety in a Model With Multiple Class Objects", pages = "360--371", booktitle = "Lecture Notes in Computer Science 1521", series = "Lecture Notes in Computer Science", journal = "Lecture Notes in Computer Science", number = 1521, year = 1998, location = "Jasn\'{a}, SK", publisher = "Springer Verlag", ISBN = "3-540-65260-4", ISSN = "0302-9743", language = "english", url = "https://www.fit.vut.cz/research/publication/5974" }