Activity Model: A Declarative Approach for Capturing Communication Behavior in Object-Oriented Databases.

Ling Liu, Robert Meersman: Activity Model: A Declarative Approach for Capturing Communication Behavior in Object-Oriented Databases. VLDB 1992: 481-493
  author    = {Ling Liu and
               Robert Meersman},
  editor    = {Li-Yan Yuan},
  title     = {Activity Model: A Declarative Approach for Capturing Communication
               Behavior in Object-Oriented Databases},
  booktitle = {18th International Conference on Very Large Data Bases, August
               23-27, 1992, Vancouver, Canada, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1992},
  isbn      = {1-55860-151-1},
  pages     = {481-493},
  ee        = {db/conf/vldb/LiuM92.html},
  crossref  = {DBLP:conf/vldb/92},
  bibsource = {DBLP,}


Communication behaviour represents the dynamic evolution and the cooperation ofa group of objects in accomplishing a task. It is an important feature in object-oriented systems. This paper introduces an activity model for the declarative specification of such communication behaviour, including the temporal ordering of message exchanges within the object communications, and the behavioural relationships between activity executions. We develop two formal mechanisms: activity specialization and activity aggregation for abstract implementation of object communication in order to allow expressing complex behaviour in terms of simpler behaviour. Activities are seen as patterns of object communications, which explicitly capture the behavioural dependencies among cooperating objects, and proved to be aneffective aid for implementing communication behaviour. We use first-order temporal logic for specification of communication constraints, and argue that the activity model as such provides an adequate computationalframework for object communications, and strikes a better balance between the object communication paradigm and the object classification paradigm.

Copyright © 1992 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

Li-Yan Yuan (Ed.): 18th International Conference on Very Large Data Bases, August 23-27, 1992, Vancouver, Canada, Proceedings. Morgan Kaufmann 1992, ISBN 1-55860-151-1
Contents BibTeX


Martín Abadi, Zohar Manna: Nonclausal Deduction in First-Order Temporal Logic. J. ACM 37(2): 279-317(1990) BibTeX
Serge Abiteboul, Paris C. Kanellakis, Emmanuel Waller: Method Schemas. PODS 1990: 16-27 BibTeX
Grady Booch: Object-Oriented Design with Applications. Benjamin/Cummings 1990
Lawrence Chung, Panagiotis Katalagarianos, Manolis Marakakis, Michalis Mertikas, John Mylopoulos, Yannis Vassiliou: From information system requirements to designs: a mapping framework. Inf. Syst. 16(4): 429-461(1991) BibTeX
Gary Hall, Ranabir Gupta: Modeling Transition. ICDE 1991: 540-549 BibTeX
Richard Helm, Ian M. Holland, Dipayan Gangopadhyay: Contracts: Specifying Behavioural Compositions in Object-Oriented Systems. OOPSLA/ECOOP 1990: 169-180 BibTeX
Gerti Kappel, Michael Schrefl: Object/Behavior Diagrams. ICDE 1991: 530-539 BibTeX
Leslie Lamport: Specifying Concurrent Program Modules. ACM Trans. Program. Lang. Syst. 5(2): 190-222(1983) BibTeX
Udo W. Lipeck: Stepwise Specification of Dynamic Database Behaviour. SIGMOD Conference 1986: 387-397 BibTeX
Udo W. Lipeck, Gunter Saake: Monitoring dynamic integrity constraints based on temporal logic. Inf. Syst. 12(3): 255-269(1987) BibTeX
Ling Liu: Exploring Semantics in Aggregation Hierarchies for Object-Oriented Databases. ICDE 1992: 116-125 BibTeX
Zohar Manna, Pierre Wolper: Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 6(1): 68-93(1984) BibTeX
Victor M. Markowitz: Representing Processes in the Extended Entity-Relationship Model. ICDE 1990: 103-110 BibTeX
Anne H. H. Ngu: Transaction Modeling. ICDE 1989: 234-241 BibTeX
Gunter Saake: Descriptive Specification of Database Object Behaviour. Data Knowl. Eng. 6: 47-73(1991) BibTeX
Amílcar Sernadas: Temporal aspects of logical procedure definiton. Inf. Syst. 5(3): 167-187(1980) BibTeX
Amílcar Sernadas, Hans-Dieter Ehrich: What is an Object, After All? DS-4 1990: 39-69 BibTeX
José Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake: Proof-Theoretic Semantics of Object-Oriented Specification Constructs. DS-4 1990: 243-284 BibTeX
Rebecca Wirfs-Brock, Brian Wilkerson: Object-Oriented Design: A Responsibility-Driven Approach. OOPSLA 1989: 71-75 BibTeX

Referenced by

  1. Ling Liu, Roberto Zicari, Walter L. Hürsch, Karl J. Lieberherr: The Role of Polymorphic Reuse Mechanisms in Schema Evolution in an Object-Oriented Database. IEEE Trans. Knowl. Data Eng. 9(1): 50-67(1997)
  2. Peter C. Lockemann, Ulrike Kölsch, Arne Koschel, Ralf Kramer, Ralf Nikolai, Mechtild Wallrath, Hans-Dirk Walter: The Network as a Global Database: Challenges of Interoperability, Proactivity, Interactiveness, Legacy. VLDB 1997: 567-574
  3. Ling Liu, Robert Meersman: The Building Blocks for Specifying Communication Behavior of Complex Objects: An Activity-Driven Approach. ACM Trans. Database Syst. 21(2): 157-207(1996)
  4. Ling Liu, Roberto Zicari, Walter L. Hürsch, Karl J. Lieberherr: Polymorphic Reuse Mechanisms for Object-Oriented Database Specifications. ICDE 1994: 180-189
  5. Leonid A. Kalinichenko: Homogeneous Localization of Structural Interactivity Dependencies in Megaprograms using Scripts. ADBIS 1994: 34-48
  6. Silvana Castano, Valeria De Antonellis, Pierluigi San Pietro: Reuse of Object-Oriented Requirements Specifications. ER 1993: 339-351
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:45:53 2009