ACM SIGMOD Anthology TODS dblp.uni-trier.de

The Building Blocks for Specifying Communication Behavior of Complex Objects: An Activity-Driven Approach.

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)
@article{DBLP:journals/tods/LiuM96,
  author    = {Ling Liu and
               Robert Meersman},
  title     = {The Building Blocks for Specifying Communication Behavior of
               Complex Objects: An Activity-Driven Approach},
  journal   = {ACM Trans. Database Syst.},
  volume    = {21},
  number    = {2},
  year      = {1996},
  pages     = {157-207},
  ee        = {http://doi.acm.org/10.1145/232616.232622, db/journals/tods/LiuM96.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

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. We propose 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. We formally introduce 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. We use 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. We also propose a methodological framework for integrating activity schema with entity schema in an object-oriented design environment.

Copyright © 1996 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 4 Issue 1, Books, VLDB-j, TODS, ..." and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

Online Edition: ACM Digital Library

[Abstract, Index Terms and Review]
[Full Text in PDF Format, 683 KB]

References

[Abadi and Manna 1990]
Martín Abadi, Zohar Manna: Nonclausal Deduction in First-Order Temporal Logic. J. ACM 37(2): 279-317(1990) BibTeX
[Black et al. 1987]
Andrew P. Black, Norman C. Hutchinson, Eric Jul, Henry M. Levy, Larry Carter: Distribution and Abstract Types in Emerald. IEEE Trans. Software Eng. 13(1): 65-76(1987) BibTeX
[Beeri and Milo 1991]
Catriel Beeri, Tova Milo: A Model for Active Object Oriented Databases. VLDB 1991: 337-349 BibTeX
[Booch 1991]
...
[Borgida et al. 1984]
...
[Brodie et al. 1984]
...
[Brodie and Ridjanovic 1984]
...
[Bunge 1979]
...
[Dayal et al. 1991]
Umeshwar Dayal, Meichun Hsu, Rivka Ladin: A Transactional Model for Long-Running Activities. VLDB 1991: 113-122 BibTeX
[Fiadeiro et al. 1991]
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
[Gehani et al. 1991]
Narain H. Gehani, H. V. Jagadish, Oded Shmueli: Composite Event Specification in Active Databases: Model & Implementation. VLDB 1992: 327-338 BibTeX
[King and McLeod 1984]
...
[Hall and Gupta 1991]
Gary Hall, Ranabir Gupta: Modeling Transition. ICDE 1991: 540-549 BibTeX
[Helm et al. 1990]
Richard Helm, Ian M. Holland, Dipayan Gangopadhyay: Contracts: Specifying Behavioural Compositions in Object-Oriented Systems. OOPSLA/ECOOP 1990: 169-180 BibTeX
[Kappel and Schrefl 1991]
Gerti Kappel, Michael Schrefl: Object/Behavior Diagrams. ICDE 1991: 530-539 BibTeX
[Kung and Sølvberg 1986]
...
[Lamport 1983]
Leslie Lamport: Specifying Concurrent Program Modules. ACM Trans. Program. Lang. Syst. 5(2): 190-222(1983) BibTeX
[Lieberherr 1988]
...
[Lipeck and Saake 1987]
Udo W. Lipeck, Gunter Saake: Monitoring dynamic integrity constraints based on temporal logic. Inf. Syst. 12(3): 255-269(1987) BibTeX
[Liu 1992a]
Ling Liu: Exploring Semantics in Aggregation Hierarchies for Object-Oriented Databases. ICDE 1992: 116-125 BibTeX
[Liu 1992b]
...
[Liu and Meersman 1992]
Ling Liu, Robert Meersman: Activity Model: A Declarative Approach for Capturing Communication Behavior in Object-Oriented Databases. VLDB 1992: 481-493 BibTeX
[Kim et al. 1989]
Won Kim, Elisa Bertino, Jorge F. Garza: Composite Objects Revisted. SIGMOD Conference 1989: 337-347 BibTeX
[Manna and Pnueli 1981]
...
[Manna and Wolper 1984]
Zohar Manna, Pierre Wolper: Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 6(1): 68-93(1984) BibTeX
[Markowitz 1990]
Victor M. Markowitz: Representing Processes in the Extended Entity-Relationship Model. ICDE 1990: 103-110 BibTeX
[Meersman et al. 1989]
...
[Meyer 1988]
...
[Ngu 1989]
Anne H. H. Ngu: Transaction Modeling. ICDE 1989: 234-241 BibTeX
[Peterson 1981]
...
[Saake 1991]
Gunter Saake: Descriptive Specification of Database Object Behaviour. Data Knowl. Eng. 6: 47-73(1991) BibTeX
[Sernadas 1980]
Amílcar Sernadas: Temporal aspects of logical procedure definiton. Inf. Syst. 5(3): 167-187(1980) BibTeX
[Sernadas 1991]
Amílcar Sernadas, Hans-Dieter Ehrich: What is an Object, After All? DS-4 1990: 39-69 BibTeX
[Tjoa and Wagner 1985]
...
[Wegner 1986]
...
[Wirfs-Brock and Wilkerson 1989]
Rebecca Wirfs-Brock, Brian Wilkerson: Object-Oriented Design: A Responsibility-Driven Approach. OOPSLA 1989: 71-75 BibTeX
[Wolper 1986]
...

Referenced by

  1. Tong Zhou, Ling Liu, Calton Pu: TAM: A System for Dynamic Transactional Activity Management. SIGMOD Conference 1999: 571-573
  2. Ling Liu, Calton Pu: Methodical Restructuring of Complex Workflow Activities. ICDE 1998: 342-350
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
TODS, ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Tue Jun 24 18:39:19 2008