Communication behavior represents dynamic evolution and cooperation of a group of objects in accomplishing a task. It is an important feature in object-oriented systems. One proposes the concept of activity as a basic building block for declarative specification of communication behavior in object-oriented database systems, including the temporal ordering of message exchanges within object communication and the behavioral relationships between activity executions. One formally introduces two kinds of activity composition mechanisms: activity specialization and activity aggregation for abstract implementation of communication behavior. The former is suited for behavioral refinement of existing activities into specialized activities. The latter is used for behavioral composition of simpler activities into complex activities, and ultimately, into the envisaged database system. One uses first-order temporal logic as an underlying formalism for specification of communication constraints. The well-known Air-traffic-control case is used as a running example to highlight the underlying concepts, to illustrate the usefulness, and to assess the effectiveness of the activity model for declarative specification of communication behavior in the relevant universe of discourse. One also proposes methodological framework for integrating activity schema with entity schema in an object-oriented design environment.
The building blocks for specifying communication behavior of complex objects: An activity-driven approach
Bausteine zur Spezifikation des Kommunikationsverhaltens komplexer Objekte: ein Aktivitäten-Konzept
ACM Transactions on Database Systems, New York ; 21 , 2 ; 157-207
1996
51 Seiten, 17 Bilder, 37 Quellen
Article (Journal)
English
Bausteinsystem , Klassifikation , objektorientierte Programmierung , Datenbank , Implementierung , Modelluntersuchung , Flugsicherung , Systementwurf , Kommunikation , Programmiersprache , Semantik , Datenbanktheorie , Graph , formale Spezifikation , Wiederverwendbarkeit , Systemintegration , Datenbankverwaltungssystem , komplexes System , objektorientierte Datenbank , Verifikation
OPERATOR SPECIFYING DEVICE, OPERATOR SPECIFYING METHOD, AND OPERATOR SPECIFYING PROGRAM
European Patent Office | 2023
|POSITION SPECIFYING PROGRAM, POSITION SPECIFYING DEVICE, AND POSITION SPECIFYING METHOD
European Patent Office | 2019
|Processing of Quaternion Signals Specifying Spatially Located Group Point Objects
British Library Online Contents | 2002
|Springer Verlag | 2002
|Online Contents | 1994