Roles and Dynamic Subclasses: a modal logic approach

Mario Tokoro (Editor), Roelf J. Wieringa, Wiebren de Jonge, Remo Paresch (Editor), Paul Spruit

    Research output: Contribution to conferencePaperpeer-review

    20 Citations (Scopus)
    95 Downloads (Pure)


    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.
    Original languageUndefined
    Number of pages28
    Publication statusPublished - Jul 1994
    EventEuropean Conference on Object-Oriented Programming, ECOOP 1994 - Bologna, Italy
    Duration: 4 Jul 19948 Jul 1994
    Conference number: 8


    ConferenceEuropean Conference on Object-Oriented Programming, ECOOP 1994
    Abbreviated titleECOOP


    • EWI-10659
    • IR-67611
    • SCS-Services
    • Theoretical foundations
    • OO analysis and design
    • Formal Methods

    Cite this