References

1: E. W. Adams, M. Honda, and T. C. Miller. Object Management in a CASE Environment. In 11th International Conference on Software Engineering, pages 154-163. IEEE Computer Society Press, May 1989.
2: D. Agrawal, J. L. Bruno, A. El Abbadi, and V. Krishnaswamy. Relative Serializability: An Approach for Relaxing the Atomicity of Transactions. In ACM-SIGMOD/PODS 1994 International Conference on Management of Data, pages 139-149, Minneapolis, Minnesota, May 1994. ACM.
3: Divyakant Agrawal and Soumitra Sengupta. Modular Synchronization in Distributed Multiversion Databases: Version Control and Concurrency Control. IEEE Transactions on Knowledge and Data Engineering, 5(1):126-137, February 1993.
4: R. Agrawal and N. H. Gehani. ODE (object database and environment): the language and the data model. In 1989 ACM SIGMOD International Conference on the Management of Data, pages 36-45, Portland OR, June 1989.
5: Ansi x3.135-1992, American National Standard for Information Systems - Database Language - SQL, November 1992.
6: John E. Arnold and Steven S. Popovich. Integrating, Customizing and Extending Environments with a Message-Based Architecture. Technical Report CUCS-008-95, Columbia University, Department of Computer Science, September 1994. The research described in this report was conducted at Bull HN Information Systems, Inc.
7: Malcolm Atkinson, Francois Bancilhon, David DeWitt, Klaus Dittrich, David Maier, and Stanley Zdonik. The object-oriented database system manifesto. In Won Kim, Jean-Marie Nicolas, and Shojiro Nishio, editors, 1st International Conference on Deductive and Object-Oriented Databases, pages 40-57, Kyoto, Japan, December 1989. Elsevier Science.
8: S. Bandinelli, M. Braga, A. Fuggetta, and L. Lavazza. The Architecture of the SPADE-1 Process-Centered SEE. In Brian Warboys, editor, 3rd European Workshop on Software Process Technology, volume 772 of Lecture Notes in Computer Science, pages 15-30, Villard de Lans (Grenoble), France, February 1994. Springer-Verlag.
9: Roger Barga and Calton Pu. A practical and modular method to implement extended transaction models. In 21st International Conference on Very Large Data Bases, Zurich, Switzerland, 1995.
10: Naser S. Barghouti. Concurrency Control in Rule-Based Software Development Environments. PhD thesis, Columbia University, February 1992. CUCS-001-92.
11: Naser S. Barghouti. Supporting cooperation in the MARVEL process-centered SDE. In Herbert Weber, editor, 5th ACM SIGSOFT Symposium on Software Development Environments, pages 21-31, Tyson's Corner VA, December 1992.
12: Naser S. Barghouti and Gail E. Kaiser. Concurrency Control in Advanced Database Applications. ACM Computing Surveys, 23(3):269-317, September 1991.
13: D. S. Batory, J. R. Barnett, J. F. Garza, K. P. Smith, K. Tsukuda, B. C. Twichell, and T. E. Wise. GENESIS: An Extensible Database Management system. In Stanley B. Zdonik and David Maier, editors, Readings in Object-Oriented Database Systems, chapter 7.4, pages 500-518. Morgan Kaufman, San Mateo CA, 1990.
14: Don Batory and Sean O'Malley. The design and implementation of hierarchical software systems with reusable components. ACM Transactions on Software Engineering and Methodology, 1(4):355-398, October 1992.
15: Israel Ben-Shaul and Gail E. Kaiser. A Paradigm for Decentralized Process Modeling. Kluwer Academic Publishers, Boston, MA, 1995.
16: Israel Z. Ben-Shaul. A Paradigm for Decentralized Process Modeling and its Realization in the OZ Environment. PhD thesis, Columbia University, December 1994. CUCS-024-94.
17: Israel Z. Ben-Shaul and Gail E. Kaiser. A paradigm for decentralized process modeling and its realization in the OZ environment. In 16th International Conference on Software Engineering, pages 179-188, Sorrento, Italy, May 1994.
18: Israel Z. Ben-Shaul, Gail E. Kaiser, and George T. Heineman. An architecture for multi-user software development environments. Computing Systems, The Journal of the USENIX Association, 6(2):65-103, Spring 1993.
19: Hal Berenson, Phil Bernstein, Jim Gray, Jim Melton, Elizabeth O'Neil, and Patrick O'Neil. A Critique of ANSI SQL Isolation Levels. In ACM-SIGMOD 1995 International Conference on Management of Data, pages 1-10, San Jose, CA, May 1995. ACM.
20: P. Bernstein and N. Goodman. Timestamp-based Algorithms for Concurrency Control in Distributed Databases. In Francois Bancilhon and David J. Dewitt, editors, 6th International Conference on Very Large Data Bases, 1980.
21: Philip A. Bernstein. Database system support for software engineering. In 9th International Conference on Software Engineering, pages 166-178, Monterey CA, March 1987.
22: Philip A. Bernstein, Vassos Hadzilacos, and Nathan Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading MA, 1987.
23: A. Biliris, S. Dar, N. Gehani, H.V. Jagadish, and K. Ramamritham. ASSET: A System for Supporting Extended Transactions. In 1994 ACM SIGMOD International Conference on Management of Data, pages 44-54, Minneapolis MN, May 1994. Special issue of SIGMOD Record, 23(2), June 1994.
24: PCTE Interface Management Board. PCTE: A Basis for a Portable Common Tool Environment. Functional Specification. Version 1.5. Commission of the European Communities, Brussels, June 1989.
25: P. Richard C. Lecluse and F. Velez. O2, an Object-Oriented Data Model. In Readings in Object-Oriented Database Systems, pages 227-236. Morgan Kaufman, San Mateo CA, 1990.
26: Michael J. Carey, David J. Dewitt, Goetz Graefe, Favid M. Haight, Joel E. Richardson, Daniel T. Schuh, Eugene J. Shekita, and Scott L. Vandenburg. The EXODUS Extensible DBMS Project: An Overview. In Stanley B. Zdonik and David Maier, editors, Readings in Object-Oriented Database Systems, chapter 7.3, pages 474-499. Morgan Kaufman, San Mateo CA, 1990.
27: Shu-Wie Chen. Recovery for Extended Transaction Models. PhD thesis, Columbia University, Forthcoming.
28: P. K. Chrysanthis and K. Ramamritham. A Unifying Framework for Transactions in Competitive and Cooperative Environments. IEEE Bulletin on Office and Knowledge Engineering, 4(1):3-21, February 1991.
29: Panos K. Chrysanthis and Krithi Ramamritham. ACTA: The SAGA Continues. In Ahmed K. Elmagarmid, editor, Database Transaction Models for Advanced Applications, pages 349-397, San Mateo CA, 1992. Morgan Kaufmann.
30: Panos K. Chrysanthis and Krithi Ramamritham. Synthesis of Extended Transaction Models using ACTA. ACM Transactions on Database Systems, 19(3):450-491, September 1994.
31: Reidar Conradi and Carl Chr. Malm. Cooperating Transactions and Workspaces in EPOS: Design and Preliminary Implementation. In Advanced Information Systems Engineering: 3rd International Conference CAiSE '91, number 498 in Lecture Notes in Computer Science, pages 375-392. Springer-Verlag, Trondheim, Norway, May 1991.
32: The World Wide Web Consortium. The World Wide Web Consortium. http://www.w3.org/pub/WWW.
33: U. Dayal, B. Blaustein, A. Buchmann, U. Chakravarthy, M. Hsu, R. Ledin, D. McCarthy, A. Rosenthal, S. Sarin, M. J. Carey, M. Livny, and R. Jauhari. The HiPAC project: Combining Active Databases and Timing Constraints. SIGMOD Record, 17(1):51-70, March 1988.
34: Umesh Dayal, Hector Garcia-Molina, Mei Hsu, Ben Kao, and Ming-Chien Shan. Third Generation TP Monitors: A Database Challenge. SIGMOD Record, 22(2):393-397, June 1993.
35: Pamel Drew and Calton Pu. Asynchronous Consistency Restoration under Epsilon Serializability. Technical Report OGI-CSE-93-004, Oregon Graduate Institute, 1993.
36: Anthony Earl. Principles of a reference model for computer aided software engineering environments. In Fred Long, editor, Software Engineering Environments International Workshop on Environments, volume 467 of Lecture Notes in Computer Science, pages 115-129, Chinon, France, September 1989. Springer-Verlag.
37: Ahmed K. Elmagarmid, editor. Database Transaction Models for Advanced Applications. Morgan Kaufmann, San Mateo CA, 1990.
38: Ramez Elmasri and Shamkant B. Navathe. Fundamentals of Database Systems. The Benjamin/Cummings Publishing Company, Inc., Redwood City, California, 1989.
39: Encina Product Overview, Transarc Corp, Pittsburgh, PA. http://www.transarc.com.
40: Jeffrey L. Eppinger, Lily B. Mummert, and Alfred Z. Spector, editors. Camelot and Avalon: A Distributed Transaction Facility. Morgan Kaufman, San Mateo CA, 1991.
41: K. P. Eswaran, J. N. Gray, R. A. Lorie, and I. L. Traiger. The Notions of Consistency and Predicate Locks in a Database System. Communications of the ACM, 19(11):624-632, November 1976.
42: S.I. Feldman. Make - a program for maintaining computer programs. Software - Practice & Experience, 9(4):255-265, April 1979.
43: Christer Fernström. PROCESS WEAVER: Adding process support to UNIX. In 2nd International Conference on the Software Process: Continuous Software Process Improvement, pages 12-26, Berlin, Germany, February 1993. IEEE Computer Society Press.
44: Alfonso Fuggetta and Lee Osterweil. Workshop on Software Process Architectures, March 1994.
45: Hector Garcia-Molina and Kenneth Salem. SAGAS. In Umeshwar Dayal and Irv Traiger, editors, ACM SIGMOD 1987 Annual Conference, pages 249-259, San Francisco CA, May 1987. Special issue of SIGMOD Record, 16(3), December 1987.
46: D. Garlan, R. Allen, and J. Ockerbloom. Architectural Mismatch or Why it's Hard to build Systems out of Existing Parts. In 17th International Conference on Software Engineering, pages 179-185, Seattle WA, April 1995.
47: Jorge F. Garza and Won Kim. Transaction management in an object-oriented database system. In SIGMOD International Conference on Data Management, pages 37-45, Chicago IL, June 1988. Special issue of SIGMOD Record, 17(3), September 1988.
48: Dimitris Georgakopoulos, Mark Hornick, Piotr Krychniak, and Frank Manola. Specification and Management of Extended Transactions in a Programmable Transaction Environment. In 10th International Conference on Data Engineering, pages 462-473, Houston TX, February 1994.
49: Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, and Mauro Pezzé. A Unified High-level Petri Net Formalism for Time-critical Systems. IEEE Transactions on Software Engineering, February 1991.
50: Mark A. Gisi and Gail E. Kaiser. Extending a tool integration language. In Mark Dowson, editor, 1st International Conference on the Software Process: Manufacturing Complex Systems, pages 218-227, Redondo Beach CA, October 1991. IEEE Computer Society Press.
51: J. Gray, P. Homan, H. Korth, and R. Obermarck. A Strawman Analysis of Deadlock Frequency. Technical Report RJ3066, IBM Research Laboratory, San Jose, 1981.
52: J. Gray, R. Lorie, and G. Putzolu. Granularity of locks and degrees of consistency in a shared database. In International Conference on Very Large Data Bases, pages 428-451. Morgan Kaufmann, 1975.
53: Jim Gray and Andreas Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers, San Mateo, CA, 1993.
54: Thanasis Hadzilacos and Vassos Hadzilacos. Transaction Synchronization in Object Bases. Journal of Computer and System Sciences, 43:2-24, 1991.
55: Dennis Heimbigner and Marc Kellner. Software process example for ISPW-7, August 1991. /pub/cs/techreports/ISPW7/ispw7.ex.ps.Z available by anonymous ftp from ftp.cs.colorado.edu.
56: George T. Heineman. Process Modeling with Cooperative Agents. In Brian Warboys, editor, 3rd European Workshop on Software Process Technology, volume 772 of Lecture Notes in Computer Science, pages 75-89, Villard de Lans (Grenoble), France, February 1994. Springer-Verlag. The author regrets that in this paper no mention was made of Naser Barghouti's CRL, the direct ancestor of Cord. Because of a mistake in preparing the final camera ready version, a background section on CRL was omitted. The author apologizes for this glaring mistake.
57: George T. Heineman and Gail E. Kaiser. Incremental process support for code reengineering. In International Conference on Software Maintenance, pages 282-290, Victoria BC, Canada, September 1994. IEEE Computer Society Press.
58: George T. Heineman and Gail E. Kaiser. An architecture for integrating concurrency control into environment frameworks. In 17th International Conference on Software Engineering, pages 305-313, Seattle WA, April 1995.
59: George T. Heineman and Gail E. Kaiser. The CORD Approach to Extensible Concurrency Control. Technical Report CUCS-024-95, Columbia University, Department of Computer Science, October 1995. submitted for publication.
60: George T. Heineman, Gail E. Kaiser, Naser S. Barghouti, and Israel Z. Ben-Shaul. Rule chaining in Marvel: Dynamic binding of parameters. IEEE Expert, 7(6):26-32, December 1992.
61: M. Honda. Support for Parallel Development in the Sun Network Software Environment. In 2nd International Workshop on Computer-Aided Software Engineering, pages 5-5 - 5-7, 1988.
62: J. J. Houmlppener. The Merlin Process Transactions, Specified with Socca. Master's thesis, Leiden University, Leiden, The Netherlands, 1995.
63: Gail E. Kaiser. Cooperative Transactions for Multi-User Environments. In Won Kim, editor, Modern Database Systems: The Object Model, Interoperability, and Beyond, chapter 20, pages 409-433. ACM Press, New York NY, 1994.
64: Gail E. Kaiser, Naser S. Barghouti, and Michael H. Sokolsky. Experience with process modeling in the MARVEL software development environment kernel. In Bruce Shriver, editor, 23rd Annual Hawaii International Conference on System Sciences, volume II, pages 131-140, Kona HI, January 1990.
65: Gail E. Kaiser, Peter H. Feiler, and Steven S. Popovich. Intelligent assistance for software development and maintenance. IEEE Software, 5(3):40-49, May 1988.
66: Gail E. Kaiser and Dewayne E. Perry. Workspaces and experimental databases: Automated support for software maintenance and evolution. In Conference on Software Maintenance, pages 108-114, Austin TX, September 1987. IEEE Computer Society Press.
67: Gail E. Kaiser and Calton Pu. Dynamic restructuring of transactions. In Ahmed K. Elmagarmid, editor, Database Transaction Models for Advanced Applications, pages 265-295, San Mateo CA, 1992. Morgan Kaufmann.
68: Mohan Kamath and Krithi Ramamritham. Performance Characteristics of Epsilon Serializability with Hierarchical Inconsistency Bounds. In 9th International Conference on Data Engineering, Vienna, Austria, April 1993.
69: Simon M. Kaplan, William J. Tolone, Alan M. Carroll, Douglas P. Bogia, and Celsina Bignoli. Supporting collaborative software development with conversationbuilder. In Herbert Weber, editor, 5th ACM SIGSOFT Symposium on Software Development Environments, pages 11-20, Tyson's Corner VA, December 1992. Special issue of Software Engineering Notes, 17(5), December 1992.
70: Brian W. Kernighan and Rob Pike. The UNIX Progamming Environment. Prentice-Hall, Englewood Cliffs, NJ, 1984.
71: H. Korth, E. Levy, and A. Silberschatz. Compensating Transactions: A New Recovery Paradigm. In Proceedings of the 16th Conference on Very Large Databases, Morgan Kaufman pubs. (Los Altos CA), Brisbane, Australia, August 1990.
72: Henry F. Korth and Abraham Silberschatz. Database System Concepts. McGraw-Hill Book Co., New York, 1986.
73: Henry F. Korth and Greg Speegle. Formal Aspects of Concurrency Control in Long-Duration Transactions Systems using the NT/PV Model. ACM Transactions on Database Systems, 19(3):492-535, September 1994.
74: H. T. Kung and John Robinson. On Optimistic Methods for Concurrency Control. ACM Transactions on Database Systems, 6(2):213-226, June 1981.
75: Programming Systems Laboratory. Oz 1.1 Manual set, January 1996. ftp://ftp.cs.columbia.edu/pub/marvel/oz.1.1.manuals.
76: Wenke Lee and Gail E. Kaiser. Interfacing Oz with the PCTE OMS. Technical Report CUCS-012-95, Columbia University, Department of Computer Science, July 1995.
77: F. Leymann and W. Altenhuber. Managing Business Processes as an Information Resource. IBM Systems Journal, 33(2):326-348, 1994.
78: Dennis R. McCarthy and Umeshwar Dayal. The Architecture of an Active Data Base Management System. In ACM-SIGMOD 1989 International Conference on Management of Data, pages 215-224, Portland, OR, June 1989. ACM.
79: Workflow Management Coalition Members. Coalition Overview, September 1995. http://www.aiai.ed.ac.uk/WfMC/overview.html.
80: Peiwei Mi and Walt Scacchi. A knowledge-based environment for modeling and simulating software engineering processes. IEEE Transactions on Knowledge and Data Engineering, 2(3):283-294, September 1990.
81: C. Mohan, D. Haderle, B. Lindsay, H. Piradesh, and P. Schwarz. ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-Ahead Logging. ACM Transactions on Database Systems, 1991.
82: J. Eliot B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. Information Systems. The MIT Press, Cambridge MA, 1985. Michael Lesk (editor).
83: Marie-Anne Neimat and Kevin Wilkinson. Extensible transaction management in Papyrus. In Bruce Shriver, editor, 23rd Annual Hawaii International Conference on System Sciences, volume II, pages 503-511, Kona HI, January 1990.
84: Erich Neuhold and Michael Stonebraker (editors). Future Directions in DBMS Research. SIGMOD Record, 18(1):17-26, March 1989.
85: Reference Model for Frameworks of Software Engineering Environments: Edition 3 of Technical Report ECMA TR/55, August 1993. NIST Special Publication 500-211. Available as /pub/isee/sp.500-211.ps via anonymous ftp from nemo.ncsl.nist.gov.
86: Marian H. Nodine, Andrea H. Skarra, and Stanley B. Zdonik. Synchronization and Recovery in Cooperative Transactions. In Gail Shaw Alan Dearle and Stan Zdonik, editors, Implementing Persistent Object Bases Principles and Practice: The 4th International Workshop on Persistent Object Systems, pages 311-324. Morgan Kaufmann, September 1990.
87: C. H. Papadimitiriou. The Serializability of Concurrent Database Updates. Journal of the ACM, 26(4):631-653, October 1979.
88: Dewayne E. Perry and Gail E. Kaiser. Models of software development environments. In 10th International Conference on Software Engineering, pages 60-68, Raffles City, Singapore, April 1988.
89: Calton Pu and Shu-Wie Chen. ACID Properties Need Fast Relief: Relaxing Consistency Using Epsilon Serializability. In Proceedings of Fifth International Workshop on High Performance Transaction Systems, Asilomar, California, September 1993.
90: K. Ramamritham and C. Pu. A formal characterization of epsilon serializability. IEEE Transactions on Knowledge and Data Engineering, 7(6):997-1007, December 1995.
91: Richard Rashid, Avadis Tevanian, Michael Young, David Golub, Robert Baron, David Black, William Bolosky, and Jonathan Chew. Machine-independent virtual memory management for paged uniprocessor and multiprocessor architectures. In 2nd International Conference on Architectural Support for Programming Languages and Operating Systems, pages 31-39, Palo Alto CA, October 1987. Special issue of SIGPLAN Notices, 22(10), October 1987.
92: David P. Reed. Implementing Atomic Actions on Decentralized Data. ACM Transactions on Computer Systems, 1(1):3-23, February 1983.
93: Steven P. Reiss. Connecting Tools Using Message Passing in the Field Environment. IEEE Software, 7(4):57-66, July 1990.
94: Kenneth Salem. Implementing Extended Transaction Models Using Transaction Groups. Technical Report CS-TR-3051, University of Maryland Department of Computer Science, April 1993.
95: Kenneth Salem, Hector Garcia-Molina, and Jeannie Shands. Altruistic Locking. ACM Transactions on Database Systems, 19(1):117-165, March 1994.
96: Wilhelm Schäfer, Burkhard Peuschel, and Stefan Wolf. A Knowledge-based Software Development Environment Supporting Cooperative Work. International Journal on Software Engineering & Knowledge Engineering, 2(1):79-106, March 1992.
97: R.W. Schwanke, E.S. Cohen, R. Gluecker, W.M. Hasling, D.A. Soni, and M.E. Wagner. Configuration Management in BiiN SMS. In 11th International Conference on Software Engineering, pages 383-393, Pittsburgh PA, May 1989. IEEE Computer Society.
98: Andrea Helen Skarra. A Model of Concurrency Control for Cooperating Transactions. PhD thesis, Brown University, May 1991.
99: Michael H. Sokolsky and Gail E. Kaiser. A framework for immigrating existing software into new software development environments. Software Engineering Journal, 6(6):435-453, November 1991.
100: Michael Stonebraker, Lawrence A. Rowe, Bruce Lindsay, James Gray, Michael Carey, Michael Brodie, Philip Bernstein, and David Beech. Third-generation database system manifesto. SIGMOD Record, 19(3):31-44, September 1990.
101: Kevin J. Sullivan and David Notkin. Reconciling Environment Integration and Component Independence. In 4th ACM SIGSOFT Symposium on Software Development Environments, pages 22-33, Irvine CA, December 1990.
102: http://www.sybase.com.
103: Gary Thunquest. Supporting Task Management & Process Automation in the Softbench Development Environment. In Ian Thomas, editor, 7th International Software Process Workshop: Communication and Coordination in the Software Process, pages 133-135, Yountville CA, October 1991. IEEE Computer Society Press.
104: Walter F. Tichy. RCS - a system for version control. Software - Practice & Experience, 15(7):637-654, July 1985.
105: http://www.transarc.com.
106: The TUXEDO System and the Open Software Foundation's Distributed Computing Environment. http://tuxedo.novell.com/indepth/wptxostc.htm.
107: Jonathan Walpole, Angus Barber, Gordon S. Blair, and John R. Nicol. Software Development Environment Transactions: Their Implementation and use in Cosmos. In Bruce Shriver, editor, 23rd Annual Hawaii International Conference on System Sciences, volume II, pages 493-502, Kona HI, January 1990.
108: G. Weikum, C Hasse, P. Broessler, and P. Muth. Multi-level Recovery. In ACM SIGACT-SIGMOD Symp. on Principles of Database Systems, Nashville, TN, April 1990.
109: Gio Wiederhold. Mediators in the architecture of future information systems. Computer, 25(3):38-49, March 1992.
110: Darrell Woelk, Paul Attie, Phil Cannata, Greg Meredith, Amit Sheth, Munindar Singh, and Christine Tomlinson. Task scheduling using intertask dependencies in Carnot. SIGMOD Record, 22(2):491-494, June 1993.

Table of Contents

George Heineman
Mon Aug 19 17:46:16 EDT 1996