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 conferencePaperAcademicpeer-review

    20 Citations (Scopus)
    32 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
    Tokoro, Mario (Editor) ; Wieringa, Roelf J. ; de Jonge, Wiebren ; Paresch, Remo (Editor) ; Spruit, Paul. / Roles and Dynamic Subclasses: a modal logic approach. Paper presented at European Conference on Object-Oriented Programming, ECOOP 1994, Bologna, Italy.28 p.
    @conference{68ac29acebad4deea6d5429f7c6a156b,
    title = "Roles and Dynamic Subclasses: a modal logic approach",
    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.",
    keywords = "EWI-10659, IR-67611, SCS-Services, Theoretical foundations, OO analysis and design, Formal Methods",
    author = "Mario Tokoro and Wieringa, {Roelf J.} and {de Jonge}, Wiebren and Remo Paresch and Paul Spruit",
    year = "1994",
    month = "7",
    doi = "10.1007/BFb0052175",
    language = "Undefined",
    pages = "32--59",
    note = "null ; Conference date: 04-07-1994 Through 08-07-1994",

    }

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

    Roles and Dynamic Subclasses: a modal logic approach. / Tokoro, Mario (Editor); Wieringa, Roelf J.; de Jonge, Wiebren; Paresch, Remo (Editor); Spruit, Paul.

    1994. 32-59 Paper presented at European Conference on Object-Oriented Programming, ECOOP 1994, Bologna, Italy.

    Research output: Contribution to conferencePaperAcademicpeer-review

    TY - CONF

    T1 - Roles and Dynamic Subclasses: a modal logic approach

    AU - Wieringa, Roelf J.

    AU - de Jonge, Wiebren

    AU - Spruit, Paul

    A2 - Tokoro, Mario

    A2 - Paresch, Remo

    PY - 1994/7

    Y1 - 1994/7

    N2 - 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.

    AB - 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.

    KW - EWI-10659

    KW - IR-67611

    KW - SCS-Services

    KW - Theoretical foundations

    KW - OO analysis and design

    KW - Formal Methods

    U2 - 10.1007/BFb0052175

    DO - 10.1007/BFb0052175

    M3 - Paper

    SP - 32

    EP - 59

    ER -

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