Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
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.
N. S. Barghouti. Concurrency Control in Rule-Based Software Development Environments. PhD thesis, Columbia University, 1992. Technical Report CUCS-001-92.
I. Campbell. Portable Common Tool Environment. Computer Standard and Interfaces, 8, 1988.
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.
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.
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.
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.
U.W. Lipeck. Stepwise specification of dynamic database behavior. ACM SIG-MOD, pages 387–397, 1986.
J. Elliot Moss. Nested Transactions: An Approach to Reliable Distributed Computing. PhD thesis, MIT, 1981.
M.N. Nguyen and Reidar Conradi. Cooperating transactions in a versioned database. Technical report, University of Trondheim, 1992.
C.H. Papamitriou. Serialisability of concurrent updates. Communications of the ACM, 26(4):631–653, October 1979.
PCTE+. C functionnal Specification Issue 2, July 1988.
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.
Ian thomas. The Software Process as a Goal-directed Activity. In Fifth International Software Process Workshop, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Godart, C. (1993). COO: A transaction model to support cooperating software developers Coordination. In: Sommerville, I., Paul, M. (eds) Software Engineering — ESEC '93. ESEC 1993. Lecture Notes in Computer Science, vol 717. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57209-0_25
Download citation
DOI: https://doi.org/10.1007/3-540-57209-0_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57209-1
Online ISBN: 978-3-540-47972-7
eBook Packages: Springer Book Archive