Roles and dynamic subclasses: a modal logic approach


Share/Save/Bookmark

Wieringa, Roel and Jonge de, Wiebren and Spruit, Paul (1994) Roles and dynamic subclasses: a modal logic approach. In: European Conference on Object-Oriented Programming, ECOOP 1994, 4-8 July 1994, Bologna, Italy.

[img]PDF
Restricted to UT campus only
: Request a copy
1453Kb
Abstract:In this paper, we argue that object-oriented models must be able to represent three kinds of taxonomic structures: static subclasses, dynamic subclasses and role classes. If CAR is a static subclass of VEHICLE, then a vehicle that is not a car can never migrate to the CAR subclass. If EMPloyee is a dynamic subclass of PERSON, then a PERSON that is not an employee may migrate to EMP. In both cases, an instance of the subclass is identical to an instance of the superclass. Finally, if EMP is modeled as a role class of PERSON every employee differs from every person, but a PERSON instance can acquire one or more EMP instances as roles. We outline an approach to formalizing these taxonomic structures in order-sorted dynamic logic with equality.
Item Type:Conference or Workshop Item
Copyright:© 1994 Springer
Link to this item:http://purl.utwente.nl/publications/67611
Official URL:http://dx.doi.org/10.1007/BFb0052175
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page