COO: A transaction model to support cooperating software developers Coordination

  • C. Godart
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 717)


A software development is a multi-user process. These users cooperate and compete to execute processes. These processes require consistent concurrent accesses. Unfortunately, their uncertain duration, uncertain development during execution, long interactions with other processes and interactions with the user break traditional transaction atomicity boundaries. The central idea of this paper is that a transaction model based on software process modeling can surpass the limits of traditional transaction models. It describes how a goal oriented software process model connected with a concurrency control protocol can provide active support to consistent cooperation of software developers.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    F. Bancilhon, W. Kim, and H. Korth. A Model for CAD Transactions. In Proceedings of the 11th international conference on VLDB, pages 25–33, Stockholm, august 1985.Google Scholar
  2. 2.
    N. S. Barghouti. Concurrency Control in Rule-Based Software Development Environments. PhD thesis, Columbia University, 1992. Technical Report CUCS-001-92.Google Scholar
  3. 3.
    I. Campbell. Portable Common Tool Environment. Computer Standard and Interfaces, 8, 1988.Google Scholar
  4. 4.
    Gérôme Canals. Des Mécanismes pour l'Assistance aux Utilisateurs dans un Atelier de Génie Logiciel Conduit par des Modèles. PhD thesis, CRIN — Université de Nancy I, Nancy, octobre 1992.Google Scholar
  5. 5.
    J.C. Derniame, C. Godart, V. Gruhn, and J. Lonchamp. Process Centered Ipses in ALF. In Proceedings of the 5th International Workshop on Computer-Aided Software engineering, pages 179–190, Montreal, Canada, July 1992.Google Scholar
  6. 6.
    C. Godart. Contribution à la modélisation des procédés de fabrication de logiciel: support au travail coopératif. Thèse d'état, Université de Nancy I, 1993.Google Scholar
  7. 7.
    W. Kim, R. Lorie, D. McNabb, and W. Plouffe. A Transaction Mechanism for Engineering Design Databases. In Proceedings of the 10th international conference on VLDB, pages 355–362, Singapore, August 1984.Google Scholar
  8. 8.
    U.W. Lipeck. Stepwise specification of dynamic database behavior. ACM SIG-MOD, pages 387–397, 1986.Google Scholar
  9. 9.
    J. Elliot Moss. Nested Transactions: An Approach to Reliable Distributed Computing. PhD thesis, MIT, 1981.Google Scholar
  10. 10.
    M.N. Nguyen and Reidar Conradi. Cooperating transactions in a versioned database. Technical report, University of Trondheim, 1992.Google Scholar
  11. 11.
    C.H. Papamitriou. Serialisability of concurrent updates. Communications of the ACM, 26(4):631–653, October 1979.Google Scholar
  12. 12.
    PCTE+. C functionnal Specification Issue 2, July 1988.Google Scholar
  13. 13.
    C. Pu, G. Kaiser, and N. Hutchinson. Split Transactions for Open-Ended Activities. In Proceedings of the 14th international conference on VLDB, pages 26–37, Los Angeles, September 1988.Google Scholar
  14. 14.
    Ian thomas. The Software Process as a Goal-directed Activity. In Fifth International Software Process Workshop, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • C. Godart
    • 1
  1. 1.CRIN-CNRSVandoeuvreFrance

Personalised recommendations