CovaTM: a transaction model for cooperative applications

ABSTRACT

It has been widely recognized that traditional transaction models with ACID(Atomicity, Consistency, Isolation and Durability) properties generally are not applicable to cooperative applications. Though many advanced transaction models have been proposed to address the problems, they are too database-centered or too rigid to be useful in real environments. This paper presents a new transaction model named CovaTM, which provides sophisticated but flexible control over cooperative process as well as support for error recovery and exception handling. The most distinguished feature of this model is that user intervention is explicitly introduced into transaction processing. This paper details the features and structural elements of this model. An example is also given to illustrate how it works in real world settings.

REFERENCES

• 1: G. Alonso, D. Agrawal, A. E. Abbadi, M. Kamath, R. Gunthor and C. Mohan, Advanced Transaction Models in Workflow Context, IBM Research Report RJ9970, IBM Almaden Research Center
• 2: Gustavo Alonso , Claus Hagen , Divyakant Agrawal , Amr El Abbadi , C. Mohan, Enhancing the Fault Tolerance of Workflow Management Systems, IEEE Concurrency, v.8 n.3, p.74-81, July 2000 [doi>10.1109/4434.865896]
• 3: A. Biliris , S. Dar , N. Gehani , H. V. Jagadish , K. Ramamritham, ASSET: a system for supporting extended transactions, Proceedings of the 1994 ACM SIGMOD international conference on Management of data, p.44-54, May 24-27, 1994, Minneapolis, Minnesota, United States
• 4: Alex Borgida , Takahiro Murata, Tolerating exceptions in workflows: a unified framework for data and processes, Proceedings of the international joint conference on Work activities coordination and collaboration, p.59-68, February 22-25, 1999, San Francisco, California, United States
• 5: Umeshwar Dayal , Meichun Hsu , Rivka Ladin, A Transactional Model for Long-Running Activities, Proceedings of the 17th International Conference on Very Large Data Bases, p.113-122, September 03-06, 1991
• 6: Umeshwar Dayal , Meichun Hsu , Rivka Ladin, Organizing long-running activities with triggers and transactions, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.204-214, May 23-26, 1990, Atlantic City, New Jersey, United States
• 7: Weimin Du , Jim Davis , Ming-Chien Shan, Flexible specification of workflow compensation scopes, Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge, p.309-316, November 16-19, 1997, Phoenix, Arizona, United States [doi>10.1145/266838.267342]
• 8: Ahmed K. Elmagarmid, Database transaction models for advanced applications, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1992
• 9: A. Elmagarmid , Y. Leu , W. Litwin , Marek Rusinkiewicz, A multidatabase transaction model for InterBase, Proceedings of the sixteenth international conference on Very large databases, p.507-518, September 1990, Brisbane, Australia
• 10: Hector Garcia-Molina , Kenneth Salem, Sagas, Proceedings of the 1987 ACM SIGMOD international conference on Management of data, p.249-259, May 27-29, 1987, San Francisco, California, United States
• 11: Sushil G. Jajodia , Larry Kerschberg, Advanced Transaction Models and Architectures, Kluwer Academic Publishers, Norwell, MA, 1997
• 12: Mark Klein , Chrysanthos Dellarocas, A Knowledge-based Approach to Handling Exceptions inWorkflow Systems, Computer Supported Cooperative Work, v.9 n.3-4, p.399-412, Aug. 2000 [doi>10.1023/A:1008759413689]
• 13: C. Mohan, A survey and critique of advanced transaction models, Proceedings of the 1994 ACM SIGMOD international conference on Management of data, p.521, May 24-27, 1994, Minneapolis, Minnesota, United States
• 14: Marek Rusinkiewicz , Wolfgang Klas , Thomas Tesch , Jürgen Wäsch , Peter Muth, Towards a Cooperative Transaction Model - The Cooperative Activity Model, Proceedings of the 21th International Conference on Very Large Data Bases, p.194-205, September 11-15, 1995
• 15: G. X. Yang and M. L. Shi, Cova: A Programming Language for Cooperative Applications, in Science in China Series F, 2001, 44(1):73-80
• 16: Aidong Zhang , Marian Nodine , Bharat Bhargava , Omran Bukhres, Ensuring relaxed atomicity for flexible transactions in multidatabase systems, Proceedings of the 1994 ACM SIGMOD international conference on Management of data, p.67-78, May 24-27, 1994, Minneapolis, Minnesota, United States

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.3 INFORMATION STORAGE AND RETRIEVAL
      H.3.4 Systems and Software
          Subjects: Distributed systems

Additional Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.4 Systems
          Subjects: Transaction processing

  K. Computing Milieux
  K.4 COMPUTERS AND SOCIETY
      K.4.4 Electronic Commerce
          Subjects: Distributed commercial transactions

General Terms:
Algorithms, Design, Theory

Keywords:
ACID, Cova, advanced transaction model, cooperation, recovery