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.
|Number of pages||24|
|Publication status||Published - Jul 1990|
|Event||4th IFIP TC2/WG 2.6 Working Conference on Object-Oriented Databases (DS-4) 1990 - Windermere, United Kingdom|
Duration: 2 Jul 1990 → 6 Jul 1990
Conference number: 4
|Conference||4th IFIP TC2/WG 2.6 Working Conference on Object-Oriented Databases (DS-4) 1990|
|Period||2/07/90 → 6/07/90|