Roles and Dynamic Subclasses: A Modal Logic Approach (1994)
| Venue: | In Proceedings of European Conference on Object-Oriented Programming |
| Citations: | 26 - 4 self |
BibTeX
@INPROCEEDINGS{Wieringa94rolesand,
author = {Roel Wieringa and Wiebren de Jonge and Paul Spruit},
title = {Roles and Dynamic Subclasses: A Modal Logic Approach},
booktitle = {In Proceedings of European Conference on Object-Oriented Programming},
year = {1994},
pages = {32--59},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 V EHICLE, then a vehicle that is not a car can never migrate to the CAR subclass. If EMP loyee 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. Keywords: Theoretical foundations, formal methods, OO analysis and design February 2, 1994 Contents 1 Introduction 1 2 Methodological aspects of role-playing and class migration 1 2.1 Object classification and identification : : : : : : : : :...
