dblp.uni-trier.de www.dagstuhl.de www.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        = {http://www.vldb.org/conf/1992/P481.PDF},
  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.


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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

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

Last update Mon Sep 17 22:00:52 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page