Equational specification of dynamic objects

Roelf J. Wieringa

    Research output: Contribution to conferencePaperAcademicpeer-review

    17 Downloads (Pure)


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


    Conference4th IFIP TC2/WG 2.6 Working Conference on Object-Oriented Databases (DS-4) 1990
    Abbreviated titleDS-4
    Country/TerritoryUnited Kingdom


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

    Cite this