{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:20:38Z","timestamp":1742617238523,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648239"},{"type":"electronic","value":"9783540685340"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64823-2_19","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:42:01Z","timestamp":1330299721000},"page":"336-354","source":"Crossref","is-referenced-by-count":0,"title":["Integrating organisational and transactional aspects of cooperative activities"],"prefix":"10.1007","author":[{"given":"Frans J.","family":"Faase","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susan J.","family":"Even","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf A.","family":"By","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter M. G.","family":"Apers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1109\/ICDE.1996.492208","volume-title":"Proceedings of the 12th International Conference on Data Engineering","author":"G. Alonso","year":"1996","unstructured":"G. Alonso, D. Agrawal, A. El-Abbadi, M. Kamath, R. G\u00fcnth\u00f6r, and C. Mohan. Advanced transaction models in workflow contexts. In Proceedings of the 12th International Conference on Data Engineering, pages 574\u2013583, New Orleans, Louisiana, March 1996. IEEE Computer Society Press."},{"key":"19_CR2","series-title":"Technical Report IMPRESS\/UT-TECH-T79-001-R2","volume-title":"The TM Manual, version 2.","author":"R. Bal","year":"1996","unstructured":"Ren\u00e9 Bal, Herman Balsters, Rolf A. de By, Alexander Bosschaart, Jan Flokstra, Maurice van Keulen, Jacek Skowronek, and Bart Termorshuizen. The TM Manual, version 2.0, revision f. Technical Report IMPRESS\/UT-TECH-T79-001-R2, Universiteit Twente, The Netherlands, Enschede, The Netherlands, February 1996."},{"key":"19_CR3","first-page":"161","volume-title":"Proceedings of the Seventh European Conference on Object-Oriented Programming, volume 707 of Lecture Notes in Computer Science","author":"H. Balsters","year":"1993","unstructured":"H. Balsters, R. A. de By, and R. Zicari. Typed sets as a basis for object-oriented database schemas. In Oscar M. Nierstrasz, editor, Proceedings of the Seventh European Conference on Object-Oriented Programming, volume 707 of Lecture Notes in Computer Science, pages 161\u2013184, Kaiserslautern, Germany, 1993. Springer-Verlag."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"A. Biliris, S. Dar, N. Gehani, H. V. Jagadish, and K. Ramamritham. ASSET: A System for Supporting Extended Transactions. In Proceedings of the ACM SIGMOD Conference on Management of Data, pages 44\u201354, Minneapolis, Minnesota, May 1994.","DOI":"10.1145\/191839.191848"},{"key":"19_CR5","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"Tommaso Bolognesi and Ed Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14:25\u201359, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"issue":"4","key":"19_CR6","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1142\/S0218843096000178","volume":"5","author":"S. J. Even","year":"1996","unstructured":"Susan J. Even, Frans J. Faase, and Rolf A. de By. Language features for cooperation in an object-oriented database environment. International Journal of Cooperative Information Systems, Special Issue on Formal Methods, 5(4):469\u2013500, December 1996.","journal-title":"International Journal of Cooperative Information Systems, Special Issue on Formal Methods"},{"key":"19_CR7","series-title":"Technical Report INF-96-10","volume-title":"An Introduction to CoCoA","author":"F. J. Faase","year":"1996","unstructured":"Frans J. Faase, Susan J. Even, and Rolf A. de By. An Introduction to CoCoA. Technical Report INF-96-10, University of Twente, Enschede, The Netherlands, September 1996."},{"key":"19_CR8","series-title":"Internal working document","volume-title":"The TM Abstract Machine (TAM)","author":"J. Flokstra","year":"1996","unstructured":"Jan Flokstra and Reinier Boon. The TM Abstract Machine (TAM). Internal working document, University of Twente, Enschede, The Netherlands, February 1996."},{"issue":"1","key":"19_CR9","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01263338","volume":"2","author":"N. Francesco De","year":"1994","unstructured":"Nicoletta De Francesco and Gigliola Vaglini. Concurrent Behavior: A Construct to Specify the External Behavior of Objects in Object Databases. Distributed and Parallel Databases, 2(1):33\u201358, January 1994.","journal-title":"Distributed and Parallel Databases"},{"key":"19_CR10","unstructured":"GMD-IPSI. VODAK V4.0 User Manual. Arbeitspapiere der GMD 910, Technical Report, GMD, April 1995."},{"key":"19_CR11","unstructured":"Philip M. Johnson. Experiences with EGRET: An exploratory group work environment. Collaborative Computing, 1(1), January 1994."},{"key":"19_CR12","unstructured":"G. Kappel, B. Pr8ll, S. Rausch-Schott, and W. Retschitzegger. TriGSflow\u2014Active Object-oriented Workflow Management. In Proceedings of the 28th International Conference on System Sciences, 1995."},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Ernst Lippe and Norbert van Oosterom. Operation-based merging. In Proceedings of the Fifth Symposium on Software Development Environments, volume 17 of ACM SIGSOFT Software Engineering Notes, pages 78\u201377, Tyson's Corner, Virginia, December 1992.","DOI":"10.1145\/142882.143753"},{"key":"19_CR14","volume-title":"The Correctness Problem in Computer Science","author":"Z. Manna","year":"1981","unstructured":"Z. Manna and A. Pnueli. Verification of temporal programs: the temporal framework. In R. S. Boyer and J. S. Moore, editors, The Correctness Problem in Computer Science. Academic Press, New York, 1981."},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"C. P. Martin and K. Ramamritham. Delegation: Efficiently Rewriting History. In Proceedings of the Thirteenth International Conference on Data Engineering, Birmingham, U.K., April 1997.","DOI":"10.1109\/ICDE.1997.581799"},{"key":"19_CR16","unstructured":"A. H. H. Ngu, R. Meersman, and H. Weigand. Specification and verification of communication constraints for interoperable transactions. International Journal of Cooperative Information Systems, 3(1), 1994."},{"key":"19_CR17","unstructured":"H. M. Nodine, S. Ramaswamy, and S. B. Zdonik. A cooperative transaction model for design databases. In Ahmed K. Elmagarmid, editor, Database Transaction Models for Advanced Applications, chapter 3, pages 53\u201385. Morgan Kaufmann Publishers, Inc., 1992."},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Atul Prakash and Hyong Sop Shim. DistView: Support for building efficient collaborative applications using replicated objects. In Proceedings of the Fifth Conference on Computer-Supported Cooperative Work, Chapel Hill, North Carolina, October 1994.","DOI":"10.1145\/192844.192895"},{"issue":"1","key":"19_CR19","first-page":"39","volume":"14","author":"A. Reuter","year":"1991","unstructured":"Andreas Reuter and Helmut W\u00e4chter. The ConTract Model. IEEE Data Engineering Bulletin, 14(1):39\u201343, March 1991.","journal-title":"IEEE Data Engineering Bulletin"},{"key":"19_CR20","unstructured":"Marek Rusinkiewicz, Wolfgang Klas, Thomas Tesch, J\u00fcrgen W\u00fcsch, and Peter Muth. Towards a Cooperative Transaction Model\u2014The Cooperative Activity Model. In Proceedings of the 21st VLDB Conference, Zurich, Switzerland, September 1995."},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"F. Schwenkreis. APRICOTS\u2014A Prototype Implementation of a ConTract System-Management of the Control Flow and the Communication System. In Proceedings of the 12th Symposium on Reliable Distributed Systems, Princeton, New Jersey, 1993. IEEE Computer Society Press.","DOI":"10.1109\/RELDIS.1993.393477"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"N. Streitz, J. Haake, J. Hannemann, W. Schuler A. Lemke, H. Schuett, and M. Thuering. SEPIA: A Cooperative Hypermedia Authoring Environment. In Proceedings of the ACM Conference on Hypertext, pages 11\u201322, Milano, Italy, 1992.","DOI":"10.1145\/168466.168479"},{"key":"19_CR23","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets","author":"W. M. P. Aalst van der","year":"1997","unstructured":"W. M. P. van der Aalst. Verification of workflow nets. In P. Azema and G. Balbo, editors, Application and Theory of Petri Nets, Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1997."},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"J\u00fcrgen W\u00fcsch and Wolfgang Klas. History merging as a mechanism for concurrency control in cooperative environments. In Proceedings of the 6th International Workshop on Research Issues in Data Engineering: Interoperability on Nontraditional Database Systems (RIDE-NDS'96), pages 76\u201385, February 1996.","DOI":"10.1109\/RIDE.1996.492245"},{"issue":"12","key":"19_CR25","doi-asserted-by":"crossref","first-page":"1488","DOI":"10.1109\/12.9728","volume":"37","author":"W. E. Weihl","year":"1988","unstructured":"W. E. Weihl. Commutativity-based concurrency control for abstract data types. IEEE Transactions on Computers, 37(12):1488\u20131505, 1988.","journal-title":"IEEE Transactions on Computers"},{"key":"19_CR26","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0022-0000(93)90023-P","volume":"47","author":"W. E. Weihl","year":"1993","unstructured":"William E. Weihl. The impact of recovery on concurrency control. Journal of Computer and System Sciences, 47:157\u2013184, 1993.","journal-title":"Journal of Computer and System Sciences"},{"key":"19_CR27","unstructured":"Gerhard Weikum. Extending transaction management to capture more consistency with better performance. In Proceedings of the 9th French Database Conference, Toulouse, France, September 1993. Invited Paper."},{"key":"19_CR28","unstructured":"Gerhard-Weikum and Hans-J\u00f6rg Scheck. Multi-level transactions and open nested transactions. IEEE Data Engineering Bulletin, 14(1), 1991."},{"key":"19_CR29","unstructured":"Gerhard Weikum and Hans-J\u00f6rg Scheck. Concepts and applications of multi-level transactions and open nested transactions. In Ahmed K. Elmagarmid, editor, Database Transaction Models for Advanced Applications, chapter 13. Morgan Kaufmann Publishers, Inc., 1992."},{"key":"19_CR30","doi-asserted-by":"crossref","unstructured":"Dirk Wodtke and Gerhard Weikum. A formal foundation for distributed workflow execution based on state charts. In Proceedings of the Sixth International Conference on Database Theory (ICDT'97), volume 1186 of Lecture Notes in Computer Science, Delphi, Greece, January 1997. Springer-Verlag.","DOI":"10.1007\/3-540-62222-5_48"},{"key":"19_CR31","doi-asserted-by":"crossref","unstructured":"Dirk Wodtke, Jeanine Weissenfels, Gerhard Weikum, and Angelika Kotz Dittrich. The MENTOR Project: Steps towards Enterprise-Wide Workflow Management. In Proceedings of the 12th International Conference on Data Engineering, February 1996.","DOI":"10.1109\/ICDE.1996.492206"}],"container-title":["Lecture Notes in Computer Science","Database Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64823-2_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:48:15Z","timestamp":1742600895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64823-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648239","9783540685340"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-64823-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}