Equational specification of dynamic objects

Roelf J. Wieringa

    Research output: Contribution to conferencePaper

    8 Downloads (Pure)

    Abstract

    An equational language to specify object-oriented conceptual models is defined. Objects are considered to be characterized by a unique object identifier and have static and dynamic structure. Examples of static structure are classification, aggregation, generalization and grouping, examples of dynamic structure are events, processes, local (intra-object) and global (inter-object) and communication. The language, called CMSL, has a declarative (algebraic) semantics, which is divided into two. The part of CMSL that can be used to specify static structures has an initial algebra semantics, in which the data elements are object versions. The part dealing with process has a larger algebra as semantics; in this paper we use an algebra of graphs modulo bisimulation equivalence. About both models can be reasoned using standard equational logic. Apart from the combination of static and dynamic features of objects in an algebraic framework, and the joint specification of this in an equational language, other features of CMSL are the specification of roles (classes of which an object may become a member or cease to be a member) and the use of structured identifiers to represent higher-order objects.
    Original languageUndefined
    Pages415-438
    Number of pages24
    Publication statusPublished - Jul 1990
    Event4th IFIP TC2/WG 2.6 Working Conference on Object-Oriented Databases (DS-4) 1990 - Windermere, United Kingdom
    Duration: 2 Jul 19906 Jul 1990
    Conference number: 4

    Conference

    Conference4th IFIP TC2/WG 2.6 Working Conference on Object-Oriented Databases (DS-4) 1990
    Abbreviated titleDS-4
    CountryUnited Kingdom
    CityWindermere
    Period2/07/906/07/90

    Keywords

    • SCS-Services
    • EWI-10673
    • IR-67616

    Cite this

    Wieringa, R. J. (1990). Equational specification of dynamic objects. 415-438. Paper presented at 4th IFIP TC2/WG 2.6 Working Conference on Object-Oriented Databases (DS-4) 1990, Windermere, United Kingdom.