Cooperative Transactions for Multiuser Environments

This chapter surveys extended transaction models proposed to support long duration, interactive and/or cooperative activities in the context of multi-user software development and CAD/CAM environments. Many of these are variants of the checkout model, which addresses the long duration and interactive nature of the activities supported by environments but still isolates environment users, making it difficult for them to collaborate while their activities are in progress. However, a few cooperative transaction models have been proposed to facilitate collaboration, usually while maintaining some guarantees of consistency.

[1]  Irving L. Traiger,et al.  Granularity of locks in a shared data base , 1975, VLDB '75.

[2]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.

[3]  Thomas W. Reps,et al.  Integrating noninterfering versions of programs , 1989, TOPL.

[4]  David B. Leblang,et al.  Parallel Software Configuration Management in a Network Environment , 1987, IEEE Software.

[5]  Walter F. Tichy,et al.  Smart recompilation , 1986, TOPL.

[6]  Charles T. Davies,et al.  Recovery semantics for a DB/DC system , 1973, ACM Annual Conference.

[7]  Gail E. Kaiser,et al.  Intelligent Assistance without Artificial Intelligence , 1987, COMPCON.

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

[9]  S. Krakowiak,et al.  Preliminary experience with a configuration control system for modular programs , 1984 .

[10]  J. T. Robinson,et al.  On optimistic methods for concurrency control , 1979, TODS.

[11]  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.

[12]  Gail E. Kaiser,et al.  Models of software development environments , 1988, ICSE '88.

[13]  Won Kim,et al.  A distributed object-oriented database system supporting shared and private databases , 1991, TOIS.

[14]  Calton Pu,et al.  Split-Transactions for Open-Ended Activities , 1988, VLDB.

[15]  Jonathan Walpole,et al.  A unifying model for consistent distributed software development environments , 1989, SDE 3.

[16]  Gail E. Kaiser,et al.  A flexible transaction model for software engineering , 1990, [1990] Proceedings. Sixth International Conference on Data Engineering.

[17]  Murray Hill,et al.  Lint, a C Program Checker , 1978 .

[18]  Eliot B. Moss,et al.  Nested Transactions and Reliable Distributed Computing , 1982 .

[19]  Jonathan Walpole,et al.  Maintaining consistency in distributed software engineering environments , 1988, [1988] Proceedings. The 8th International Conference on Distributed.

[20]  Randy H. Katz,et al.  Toward a unified framework for version modeling in engineering databases , 1990, CSUR.

[21]  George T. Heineman A transaction manager component for cooperative transaction models , 1993 .

[22]  Clarence A. Ellis,et al.  Design and implementation of GORDION, an object base management system , 1987, 1987 IEEE Third International Conference on Data Engineering.

[23]  Walter F. Tichy,et al.  Rcs — a system for version control , 1985, Softw. Pract. Exp..

[24]  David B. Leblang,et al.  Computer-Aided Software Engineering in a distributed workstation environment , 1984 .

[25]  Steven V. Earhart UNIX programmer's manual , 1986 .

[26]  Marc J. Rochkind,et al.  The source code control system , 1975, IEEE Transactions on Software Engineering.

[27]  Andrea H. Skarra Localized correctness specifications for cooperating transactions in an object-oriented database , 1991 .

[28]  Stanley B. Zdonik,et al.  A shared, segmented memory system for an object-oriented database , 1987, TOIS.

[29]  Bernd Walter,et al.  Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications , 1984, VLDB.

[30]  David P. Reed,et al.  Naming and synchronization in a decentralized computer system , 1978 .

[31]  Gail E. Kaiser,et al.  WORKSPACES AND EXPERIMENTAL DATABASES: AUTOMATED SUPPORT FOR SOFTWARE MAINTENANCE AND EVOLUTION. , 1987 .

[32]  Masahiro Honda,et al.  Object management in a CASE environment , 1989, ICSE '89.

[33]  Panos K. Chrysanthis,et al.  ACTA: a framework for specifying and reasoning about transaction structure and behavior , 1990, SIGMOD '90.

[34]  Gail E. Kaiser,et al.  An architecture for multi-user software development environments , 1992, SDE 5.

[35]  Gail E. Kaiser,et al.  Making progress in cooperative transaction models , 1991 .

[36]  Gail E. Kaiser,et al.  Concurrency control in advanced database applications , 1991, CSUR.

[37]  Gail E. Kaiser,et al.  Interfacing cooperative transactions to software development environments , 1991 .

[38]  Robert W. Schwanke,et al.  Configuration management in BiiN SMS , 1989, ICSE '89.

[39]  Charles T. Davies,et al.  Data Processing Spheres of Control , 1978, IBM Syst. J..

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

[41]  N. S. Barghouti,et al.  Concurrency control in rule-based software development environments , 1992 .