Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Database Programming Languages

DBPL 1997: Database Programming Languages pp 336–354Cite as

Integrating organisational and transactional aspects of cooperative activities

  • Cooperative Work
  • Conference paper
  • First Online:

  • 2829 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1369))

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.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. Tommaso Bolognesi and Ed Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14:25–59, 1987.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. Jan Flokstra and Reinier Boon. The TM Abstract Machine (TAM). Internal working document, University of Twente, Enschede, The Netherlands, February 1996.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. GMD-IPSI. VODAK V4.0 User Manual. Arbeitspapiere der GMD 910, Technical Report, GMD, April 1995.

    Google Scholar 

  11. Philip M. Johnson. Experiences with EGRET: An exploratory group work environment. Collaborative Computing, 1(1), January 1994.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. 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.

    Google Scholar 

  16. 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.

    Google Scholar 

  17. 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.

    Google Scholar 

  18. 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.

    Google Scholar 

  19. Andreas Reuter and Helmut Wächter. The ConTract Model. IEEE Data Engineering Bulletin, 14(1):39–43, March 1991.

    Google Scholar 

  20. 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.

    Google Scholar 

  21. 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.

    Google Scholar 

  22. 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.

    Google Scholar 

  23. 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.

    Google Scholar 

  24. 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.

    Google Scholar 

  25. W. E. Weihl. Commutativity-based concurrency control for abstract data types. IEEE Transactions on Computers, 37(12):1488–1505, 1988.

    Google Scholar 

  26. William E. Weihl. The impact of recovery on concurrency control. Journal of Computer and System Sciences, 47:157–184, 1993.

    Google Scholar 

  27. 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.

    Google Scholar 

  28. Gerhard-Weikum and Hans-Jörg Scheck. Multi-level transactions and open nested transactions. IEEE Data Engineering Bulletin, 14(1), 1991.

    Google Scholar 

  29. 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.

    Google Scholar 

  30. 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.

    Google Scholar 

  31. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Twente, Enschede, The Netherlands

    Frans J. Faase, Susan J. Even & Peter M. G. Apers

  2. International Institute for Aerospace Survey & Earth Sciences ITC, Enschede, The Netherlands

    Rolf A. de By

Authors
  1. Frans J. Faase
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Susan J. Even
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rolf A. de By
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Peter M. G. Apers
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Sophie Cluet Rick Hull

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation