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 conferencePaper

    20 Citations (Scopus)
    48 Downloads (Pure)

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

    Conference

    ConferenceEuropean Conference on Object-Oriented Programming, ECOOP 1994
    Abbreviated titleECOOP
    CountryItaly
    CityBologna
    Period4/07/948/07/94

    Keywords

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

    Cite this

    Tokoro, M. (Ed.), Wieringa, R. J., de Jonge, W., Paresch, R. (Ed.), & Spruit, P. (1994). Roles and Dynamic Subclasses: a modal logic approach. 32-59. Paper presented at European Conference on Object-Oriented Programming, ECOOP 1994, Bologna, Italy. https://doi.org/10.1007/BFb0052175