Abstract
This paper introduces the specification language CoCaA. The features of COCGA are designed for the specification of both organisational and transactional aspects of cooperative activities, based on the CoACT cooperative transaction model. The novelty of the language lies in its ability to deal with a broad spectrum of cooperative applications, ranging from cooperative document authoring to workflow applications.
This research was supported by the Esprit BRA project TransCoop (8012). TransCoop was funded by the Commission of the European Communities. The partners in the TransCoop project were GMD (Germany), Universiteit Twente (The Netherlands), and VTT (Finland).
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
G. Alonso, D. Agrawal, A. El-Abbadi, M. Kamath, R. Günthör, and C. Mohan. Advanced transaction models in workflow contexts. In Proceedings of the 12th International Conference on Data Engineering, pages 574–583, New Orleans, Louisiana, March 1996. IEEE Computer Society Press.
René 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.
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–184, Kaiserslautern, Germany, 1993. Springer-Verlag.
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–54, Minneapolis, Minnesota, May 1994.
Tommaso Bolognesi and Ed Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14:25–59, 1987.
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–500, December 1996.
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.
Jan Flokstra and Reinier Boon. The TM Abstract Machine (TAM). Internal working document, University of Twente, Enschede, The Netherlands, February 1996.
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–58, January 1994.
GMD-IPSI. VODAK V4.0 User Manual. Arbeitspapiere der GMD 910, Technical Report, GMD, April 1995.
Philip M. Johnson. Experiences with EGRET: An exploratory group work environment. Collaborative Computing, 1(1), January 1994.
G. Kappel, B. Pr8ll, S. Rausch-Schott, and W. Retschitzegger. TriGSflow—Active Object-oriented Workflow Management. In Proceedings of the 28th International Conference on System Sciences, 1995.
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–77, Tyson's Corner, Virginia, December 1992.
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.
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.
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.
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–85. Morgan Kaufmann Publishers, Inc., 1992.
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.
Andreas Reuter and Helmut Wächter. The ConTract Model. IEEE Data Engineering Bulletin, 14(1):39–43, March 1991.
Marek Rusinkiewicz, Wolfgang Klas, Thomas Tesch, Jürgen Wüsch, and Peter Muth. Towards a Cooperative Transaction Model—The Cooperative Activity Model. In Proceedings of the 21st VLDB Conference, Zurich, Switzerland, September 1995.
F. Schwenkreis. APRICOTS—A 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.
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–22, Milano, Italy, 1992.
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.
Jürgen Wüsch 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–85, February 1996.
W. E. Weihl. Commutativity-based concurrency control for abstract data types. IEEE Transactions on Computers, 37(12):1488–1505, 1988.
William E. Weihl. The impact of recovery on concurrency control. Journal of Computer and System Sciences, 47:157–184, 1993.
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.
Gerhard-Weikum and Hans-Jörg Scheck. Multi-level transactions and open nested transactions. IEEE Data Engineering Bulletin, 14(1), 1991.
Gerhard Weikum and Hans-Jörg 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.
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.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Faase, F.J., Even, S.J., de By, R.A., Apers, P.M.G. (1998). Integrating organisational and transactional aspects of cooperative activities. In: Cluet, S., Hull, R. (eds) Database Programming Languages. DBPL 1997. Lecture Notes in Computer Science, vol 1369. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-64823-2_19
Download citation
DOI: https://doi.org/10.1007/3-540-64823-2_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64823-9
Online ISBN: 978-3-540-68534-0
eBook Packages: Springer Book Archive