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}
}

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

Download PDF file (www.vldb.org, Darmstadt, Germany)
Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/vldb8997 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD1 or /dvd

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

References

[1]: Martín Abadi, Zohar Manna: Nonclausal Deduction in First-Order Temporal Logic. J. ACM 37(2): 279-317(1990)
[2]: Serge Abiteboul, Paris C. Kanellakis, Emmanuel Waller: Method Schemas. PODS 1990: 16-27
[3]: Grady Booch: Object-Oriented Design with Applications. Benjamin/Cummings 1990
[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)
[8]: ...
[9]: ...
[10]: Gary Hall, Ranabir Gupta: Modeling Transition. ICDE 1991: 540-549
[11]: Richard Helm, Ian M. Holland, Dipayan Gangopadhyay: Contracts: Specifying Behavioural Compositions in Object-Oriented Systems. OOPSLA/ECOOP 1990: 169-180
[12]: Gerti Kappel, Michael Schrefl: Object/Behavior Diagrams. ICDE 1991: 530-539
[13]: ...
[14]: Leslie Lamport: Specifying Concurrent Program Modules. ACM Trans. Program. Lang. Syst. 5(2): 190-222(1983)
[15]: Udo W. Lipeck: Stepwise Specification of Dynamic Database Behaviour. SIGMOD Conference 1986: 387-397
[16]: Udo W. Lipeck, Gunter Saake: Monitoring dynamic integrity constraints based on temporal logic. Inf. Syst. 12(3): 255-269(1987)
[17]: ...
[18]: Ling Liu: Exploring Semantics in Aggregation Hierarchies for Object-Oriented Databases. ICDE 1992: 116-125
[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)
[22]: Victor M. Markowitz: Representing Processes in the Extended Entity-Relationship Model. ICDE 1990: 103-110
[23]: ...
[24]: ...
[25]: Anne H. H. Ngu: Transaction Modeling. ICDE 1989: 234-241
[26]: ...
[27]: Gunter Saake: Descriptive Specification of Database Object Behaviour. Data Knowl. Eng. 6: 47-73(1991)
[28]: Amílcar Sernadas: Temporal aspects of logical procedure definiton. Inf. Syst. 5(3): 167-187(1980)
[29]: Amílcar Sernadas, Hans-Dieter Ehrich: What is an Object, After All? DS-4 1990: 39-69
[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
[31]: ...
[32]: ...
[33]: Rebecca Wirfs-Brock, Brian Wilkerson: Object-Oriented Design: A Responsibility-Driven Approach. OOPSLA 1989: 71-75