ACM SIGMOD Anthology VLDB dblp.uni-trier.de

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
@inproceedings{DBLP:conf/vldb/LiuM92,
  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, http://dblp.uni-trier.de}
}
BibTeX

Abstract

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

References

[1]
Martín Abadi, Zohar Manna: Nonclausal Deduction in First-Order Temporal Logic. J. ACM 37(2): 279-317(1990) BibTeX
[2]
Serge Abiteboul, Paris C. Kanellakis, Emmanuel Waller: Method Schemas. PODS 1990: 16-27 BibTeX
[3]
Grady Booch: Object-Oriented Design with Applications. Benjamin/Cummings 1990
BibTeX
[4]
...
[5]
...
[6]
...
[7]
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
[8]
...
[9]
...
[10]
Gary Hall, Ranabir Gupta: Modeling Transition. ICDE 1991: 540-549 BibTeX
[11]
Richard Helm, Ian M. Holland, Dipayan Gangopadhyay: Contracts: Specifying Behavioural Compositions in Object-Oriented Systems. OOPSLA/ECOOP 1990: 169-180 BibTeX
[12]
Gerti Kappel, Michael Schrefl: Object/Behavior Diagrams. ICDE 1991: 530-539 BibTeX
[13]
...
[14]
Leslie Lamport: Specifying Concurrent Program Modules. ACM Trans. Program. Lang. Syst. 5(2): 190-222(1983) BibTeX
[15]
Udo W. Lipeck: Stepwise Specification of Dynamic Database Behaviour. SIGMOD Conference 1986: 387-397 BibTeX
[16]
Udo W. Lipeck, Gunter Saake: Monitoring dynamic integrity constraints based on temporal logic. Inf. Syst. 12(3): 255-269(1987) BibTeX
[17]
...
[18]
Ling Liu: Exploring Semantics in Aggregation Hierarchies for Object-Oriented Databases. ICDE 1992: 116-125 BibTeX
[19]
...
[20]
...
[21]
Zohar Manna, Pierre Wolper: Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 6(1): 68-93(1984) BibTeX
[22]
Victor M. Markowitz: Representing Processes in the Extended Entity-Relationship Model. ICDE 1990: 103-110 BibTeX
[23]
...
[24]
...
[25]
Anne H. H. Ngu: Transaction Modeling. ICDE 1989: 234-241 BibTeX
[26]
...
[27]
Gunter Saake: Descriptive Specification of Database Object Behaviour. Data Knowl. Eng. 6: 47-73(1991) BibTeX
[28]
Amílcar Sernadas: Temporal aspects of logical procedure definiton. Inf. Syst. 5(3): 167-187(1980) BibTeX
[29]
Amílcar Sernadas, Hans-Dieter Ehrich: What is an Object, After All? DS-4 1990: 39-69 BibTeX
[30]
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
[31]
...
[32]
...
[33]
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
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:45:53 2009