History merging as a mechanism for concurrency control in cooperative environments

Cooperative applications need proper transactional support for coordinating joint activities, sharing of data, and semantically correct exchange of information of collaborating users. Conventional transaction models based on the ACID properties do not meet the typical requirements of cooperative applications. The CoACT model (M. Rusinkiewicz et al., 1995) is designed for supporting cooperative work in multi user environments. CoACT includes a novel algorithm implementing the semantically correct exchange of information among concurrent activities of cooperating users by means of merging histories of user activities. This technique of merging activity histories is applicable in various fields beyond CSCW systems, e.g., in the area of mobile computing to manage disconnected operation.

[1]  Gunter Schlageter,et al.  A transaction model supporting complex applications in integrated information systems , 1985, SIGMOD '85.

[2]  Wei Huang,et al.  The Diana Approach to Mobile Computing , 1994, Mobidata.

[3]  Mahadev Satyanarayanan,et al.  Experience with Disconnected Operation in a Mobile Computing Environment , 1994, Mobidata.

[4]  Norbert A. Streitz,et al.  SEPIA: a cooperative hypermedia authoring environment , 1992, ECHT '92.

[5]  Maurice Herlihy,et al.  Apologizing versus asking permission: optimistic concurrency control for abstract data types , 1990, TODS.

[6]  Clarence A. Ellis,et al.  Groupware: some issues and experiences , 1991, CACM.

[7]  Alain Karsenty,et al.  An algorithm for distributed groupware applications , 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.

[8]  Uffe Kock Wiil,et al.  Concurrency control in collaborative hypertext systems , 1993, HYPERTEXT '93.

[9]  Norbert A. Streitz,et al.  DOLPHIN: integrated meeting support across local and remote desktop environments and LiveBoards , 1994, CSCW '94.

[10]  Won Kim,et al.  A Model of CAD Transactions , 1985, VLDB.

[11]  Atul Prakash,et al.  Undoing actions in collaborative work , 1992, CSCW '92.

[12]  Rafael Alonso,et al.  Database system issues in nomadic computing , 1993, SIGMOD Conference.

[13]  B. R. Badrinath,et al.  Semantics-based concurrency control: Beyond commutativity , 1987, 1987 IEEE Third International Conference on Data Engineering.

[14]  Tomasz Imielinski,et al.  Mobile wireless computing: challenges in data management , 1994, CACM.

[15]  Mahadev Satyanarayanan,et al.  Disconnected Operation in the Coda File System , 1999, Mobidata.

[16]  Sridhar Ramaswamy,et al.  A Cooperative Transaction Model for Design Databases , 1992, Database Transaction Models for Advanced Applications.

[17]  David W. Stemple,et al.  Recoverable Actions in Gutenberg , 1986, ICDCS.

[18]  Erich J. Neuhold,et al.  A Transaction Model for an Open Publication Environment , 1991 .

[19]  Gail E. Kaiser,et al.  Cooperative Transactions for Multiuser Environments , 1995, Modern Database Systems.

[20]  Krithi Ramamritham,et al.  Delegation: efficiently rewriting history , 1997, Proceedings 13th International Conference on Data Engineering.

[21]  Calton Pu,et al.  Dynamic Restructuring of Transactions , 1992, Database Transaction Models for Advanced Applications.

[22]  Panos K. Chrysanthis,et al.  ACTA: The SAGA Continues , 1992, Database Transaction Models for Advanced Applications.

[23]  Gail E. Kaiser,et al.  Infuse: fusing integration test management with change management , 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.

[24]  Thomas Tesch,et al.  Towards a Cooperative Transaction Model - The Cooperative Activity Model , 1995, VLDB.

[25]  Panos K. Chrysanthis,et al.  Supporting semantics-based transaction processing in mobile database applications , 1995, Proceedings. 14th Symposium on Reliable Distributed Systems.

[26]  Tomasz Imielinski,et al.  Mobile wireless computing , 1994 .

[27]  William E. Weihl,et al.  Commutativity-based concurrency control for abstract data types , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track.

[28]  Panos K. Chrysanthis,et al.  Synthesis of extended transaction models using ACTA , 1994, TODS.

[29]  Karl Aberer,et al.  HyperStorM: an extensible object-oriented hypermedia engine , 1996, HYPERTEXT '96.

[30]  Karl Aberer,et al.  Flexible Design and Efficient Implementation of a Hypermedia Document Database System by Tailoring Semantic Relationships , 1995, DS-6.

[31]  A. Elmagarmid.  Database transaction models for advanced applications , 1992 .

[32]  Jörg M. Haake,et al.  Supporting collaborative writing of hyperdocuments in SEPIA , 1992, CSCW '92.

[33]  Won Kim,et al.  Modern Database Systems: The Object Model, Interoperability, and Beyond , 1995, Modern Database Systems.

[34]  Clarence A. Ellis,et al.  Concurrency control in groupware systems , 1989, SIGMOD '89.

[35]  Mahadev Satyanarayanan,et al.  Disconnected operation in the Coda File System , 1992, TOCS.