Equational specification of dynamic objects


Wieringa, Roel (1990) Equational specification of dynamic objects. In: IFIP TC2/WG 2.6 Working Conference on Object-Oriented Databases, 2-6 July 1990, Windermere, UK (pp. pp. 415-438).

[img] PDF
Restricted to UT campus only
: Request a copy
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.
Item Type:Conference or Workshop Item
Copyright:© 1990 North-Holland
Link to this item:http://purl.utwente.nl/publications/67616
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page