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

ACM Transactions on Database Systems

Volumn 21, Issue 2, 1996, Pages 157-207

  Liu, Ling ^a   Meersman, Robert ^b  

^a UNIVERSITY OF ALBERTA   (Canada)

^b FREE UNIVERSITY OF BRUSSELS   (Belgium)

Author keywords

D.3.1 Programming Languages : Formal Definitions and Theory semantics; F.3.1 Logics and Meanings of Programs : Specifying and Verifying and Reasoning about Programs specification techniques; H.2.1 Database Management : Logical Design

Indexed keywords

AIR TRAFFIC CONTROL; COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LOGIC; INFORMATION THEORY; LOGIC DESIGN; SYNCHRONIZATION;

ACTIVITY AGGREGATION; ACTIVITY APPROACH; ACTIVITY SPECIALIZATION; COMMUNICATION BEHAVIOR; FIRST ORDER TEMPORAL LOGIC; OBJECT ORIENTED DATABASES;

DATABASE SYSTEMS;

EID: 0030171984     PISSN: 03625915     EISSN: None     Source Type: Journal    
DOI: 10.1145/232616.232622     Document Type: Article

References (37)

1. ABADI, M. AND MANNA, Z. 1990. Nonclausal deduction in first-order temporal logic. J. ACM 37, 2 (April), 279-317.
2. BLACK, A., HUTCHINSON, N., JUL, E., AND LEVY, H. 1987. Distribution and abstract types in Emerald. IEEE Trans. Softw. Eng. SE-13, 1 (Jan.), 65-76.
3. BERRI, C. AND MILLO, T. 1991. A model for active object-oriented databases. In Proceedings of the Seventeenth International Conference on Very Large Databases (Barcelona, Spain, Sept. 16-20) 337-349.
4. BOOCH, G. 1991. Object-Oriented Design. Benjamin-Cummings Publishing Co., Redwood City, CA.
5. BORGIDA, A., MYLOPOULOS, J., AND WONG, H. K. T. 1984. Generalization/specialization as a basis for software specification. In On Conceptual Modeling, Perspectives from Artificial Intelligence, Databases, and Programming Languages, M. Brodie et al., Eds., Springer-Verlag, 87-114.
6. BRODIE, M., MYLOPOULOS, J., AND SCHMIDT, J. W., Eds. 1984. On Conceptual Modeling, Perspectives from Artificial Intelligence, Databases, and Programming Languages. Springer-Verlag.
7. BRODIE, M. AND RIDJANOVIC, D. 1984. On design and specification of database transactions. In On Conceptual Modeling, Perspectives from Artificial Intelligence, Databases and Programming Languages, M. Brodie et al., Eds. Springer-Verlag, 277-306.
8. BUNGE, M. 1979 Treatise on Basic Philosophy: Ontology II. The World of Systems, Reidel.
9. DAYAL, U., HSU, M., AND LADIN, R. 1991. A transaction model for longrunning activities. In Proceedings of the Seventeenth International Conference on Very Large Databases (Barcelona, Spain, Sept. 16-20), 113-122.
10. FIADEIRO, J., SERNADAS, C., MAIBAUM, T., AND SAAKE, G. 1991. Proof-theoretic semantics of object-oriented specification constructs. In Object-Oriented Databases: Analysis, Design & Construction (DS-4), R. Meersman, W. Kent, and S. Khosla, Eds. North-Holland, 243-284.
11. GEHANI, N. H., JAGADISH, H. V., AND SHMUELI, O. 1991. Composite event specification in active databases: model and implementation. In Proceedings of the Eighteenth International Conference on Very Large Databases (Vancouver, B.C., Canada, Aug. 23-27), 327-338.
12. KING, R. AND MCLEOD, D. 1984. A unified model and methodology for conceptual database design. In On Conceptual Modeling, Perspectives from Artificial Intelligence, Databases, and Programming Languages, M. Brodie, J. Mylopoulos, and J. W. Schmidt, Eds. Springer-Verlag, 313-327.
13. HALL, G. AND GUPTA, R. 1991. Modeling transition. In International Conference on Data Engineering (Kobe, Japan, April 18-21), 540-549.
14. HELM, R., HOLLAND, I. M., AND GANGOPADHYAY, D. 1990. Contracts: specifying behavioral compositions in object-oriented systems. In Proceedings of ACM OOPSLA (Ottawa, Ont., Canada, Oct. 21-25) 169-180.
15. KAPPEL, G. AND SCHREFL, M. 1991. Object/behavior diagrams. In Proceedings of ICDE'91 (Kobe, Japan, April 18-21), 530-539.
16. KUNG, C. H. AND SOLVBERG, A. 1986. Activity and behavior modeling. In Information System Design Methodologies: Improving the Practice. Elsevier, Amsterdam.
17. LAMPORT, L. 1983. Specifying concurrent program modules. ACM Trans. Program. Lang. Syst.
18. LIEBERHERR, K. 1988. Object-oriented programming with class dictionaries. J. Object-Oriented Program. 1, 3, 8-22.
19. LIPECK, U. W. AND SAAKE, G. 1987. Monitoring dynamic integrity constraints based on temporal logic. Inf. Syst. 12, 3, 255-269.
20. LIU, L. 1992a. Exploring semantics in aggregation hierarchy for object-oriented databases. In Proceedings of the International Conference on Data Engineering (Arizona, Feb.), 116-225.
21. LIU, L. 1992b. A formal approach to structure, algebra and communication behavior of complex objects. Tilburg Univ., Ph.D. dissertation.
22. LIU, L. AND MEERSMAN, R. 1992. Activity model: a declarative approach for capturing communication behavior in object-oriented databases. In Proceedings of the Eighteenth International Conference on Very Large Databases (Vancouver, B.C., Canada, Aug. 23-27), 481-493.
23. KIM, W., BERTINO, E., AND GARZA, J. 1989. Composite objects revisited. In Proceedings of the ACM SIGMOD (Philadelpia, PA, May 29-31).
24. MANNA, Z. AND PNUELI, A. 1981. Verification of concurrent programs: the temporal framework. In Correctness Problem in Computer Science, R. S. Boyer and J. S. Moore, Eds. 215-273.
25. MANNA, Z. AND WOLPER, P. 1984. Synthesis of communicating processes from temporal logic specifications. ACM Trans. Program. Lang. Syst. 6, 1, 68-93.
26. MARKOWITZ, V. M. 1990. Representing processes in the extended entity-relationship model. In Proceedings of the International Conference on Data Engineering (Los Angeles, CA, Feb. 5-9), 103-110.
27. MEERSMAN, R., SEENADAS, C., FIADEIRO, J., AND SERNADAS, A. 1989. Proof-theoretic conceptual modeling: The NIAM case study. In Proceedings of the Working Conference on Fundamental Concepts for Information Systems. E.F. Falkenberg, Ed., North Holland, 1-30.
28. MEYER, B. 1988. Object-Oriented Software Construction. Prentice Hall International, Englewood Cliffs, NJ.
29. NGU, A. H. H. 1989. Transaction modeling. In Proceedings of the International Conference on Data Engineering (Los Angeles, CA, Feb 6-10), 234-241.
30. PETERSON, J. L. 1981. Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, NJ.
31. SAAKE, G. 1991. Descriptive specification of database object behavior. J. Data Knowl. Eng. 6, 47-73.
32. SERNADAS, A. 1980. Temporal aspects of logical procedure definition. Inf. Syst. 5, 167-187.
33. SERNADAS, A. 1991. What is an object after all? In Object-Oriented Databases: Analysis, Design & Construction (DS-4), R. Meersman, W. Kent, and S. Khosla, Eds., North-Holland, Windmere, UK, 39-70.
34. TJOA, A. M. AND WAGNER, R. R. 1985. Comparison of dynamic aspects in semantic data modeling. In Proceedings of the International Conference on Applied Informatics, Acta Press, Zurich.
35. WEGNER, P. 1986. Classification in object-oriented systems. ACM SIGPLAN Notices 21, 10, 71-76.
36. WIRFS-BROCK, R. AND WILKERSON, B. 1989. Object-oriented design: a responsibility-driven approach. In Proceedings of ACM OOPSLA (New Orleans, LA, Oct. 1-6) 71-76.
37. WOLPER, P. 1986. Synthesis of communicating processes from temporal logic specifications. Stanford Univ., Stanford, CA. Ph.D. Thesis.