Maintaining shared workspaces consistency during software development

International Journal of Software Engineering and Knowledge Engineering

Volumn 9, Issue 5, 1999, Pages 623-642

  Skaf, Hala ^a   Charoy, Francois ^a   Godart, Claude ^a  

^a LORIA   (France)

Author keywords

Consistency; Constraints; Cooperation; Cooperative environment

Indexed keywords

EID: 8344235388     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194099000334     Document Type: Article

References (22)

1. A. K. Elmagarmid (ed.), Database Transaction Models for Advanced Applications (Morgan Kauffman, 1992).
2. G. Junkerman, B. Peushel, W. Schäfer, and S. Wolf, "MERLIN: Supporting cooperation in software development through a knowledge based environment", in Software Process Modelling and Technology, eds. J. Kramer A. Finkelstein and B. Nuseibeh (Research Study Press, 1994).
3. N. Belkhatir and J. Estublier, "ADELE-TEMPO: An environment to support process modelling and enaction", Software Process Modelling and Technology, eds. J. Kramer, A. Finkelstein and B. Nuseibeh (Research Study Press, 1994).
4. N. Barghouti, "Supporting cooperation in the MARVEL process-centered SDE", Proc. Fifth ACM SIGSOFT Symposium on Software Development Environments 17, 5 (1992) 21-31.
5. A. Clarke, "A theoretical model of cooperation", in Proc. 2nd Int. Conf. on the Design of Cooperative Systems (COOP'96), Juan-les-Pins, France, June 1996.
6. K. Ramamritham and P. K. Chrysanthis, "A taxonomy of correctness criteria in database applications", The VLDB Journal 5, 5 (1996) 85-97.
7. P. Molli, "COO-Transaction: Enhancing long transaction model with cooperation", in 7th Software Configuration Management Workshop (SCMγ), LNCS, Boston, USA, May 1997.
8. J. Gray and A. Reuter, Transaction Processing: Concepts and Techniques (Morgan Kaufmann, 1993).
9. A. K. Elmagarmid, Y. Leu, J. G. Mullen, and O. Bukhres, "Introduction to advanced transaction models", in Database Transaction Models for Advanced Applications, ed. A. K. Elmagarmid (Morgan Kauffman, 1992).
10. S. Dart, Spectrum of Functionality in Configuration Management Systems, Technical Report CMU/SEI-90-TR-11, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213, December 1990.
11. U. W. Lipeck, "Stepwise specification of dynamic database behaviour", in ACM SIG-MOD, 1986, pp. 387-397.
12. U. W. Lipeck and M. Gertz, "Transitional mointoring of dynamic integrity constarints", Bulletin of the Technical Committee on Data Engineering, IEEE Computer Society 17, 1 (1994) 38-42.
13. E. A. Emerson, Temporal and Modal Logic, Chap. 16, Handbook of the Computer Science (Elsevier Science, 1990), pp. 977-1069.
14. H. Skaf, F. Charoy, and C. Godart, "Maintaining consistency of cooperative software development activities", in 6th Int. Workshop on Foundations of Models and Languages for Data and Objects, Schloss Dagstuhl, Germany, September 1996, pp. 103-118.
15. P. W. Grefen and P. M. Apers, "Integrity control in relational database systems - an overview", Data and Knowledge Engineering 10, 2 (1993) 187-223.
16. C. Godart, "COO: a transaction model to support COOperating software developers COOrdination", in 4th European Software Engineering Conference (ESEC4), Garmisch, LNCS 717, 1993.
17. G. Canals, P. Molli, and C. Godart, "Concurrency control for cooperating software processes", in Proc. 1996 Workshop on Advanced Transaction Models and Architecture (ATMA'96), Goa, India, 1996.
18. U. W. Lipeck, "Transformation of dynamic integrity constraints into transaction specifications", in Theoretical Computer Science, pp. 115-142.
19. H. Skaf, F. Charoy, and C. Godart, A hybrid approach to maintain consistency of cooperative software development activities, in Ninth Int. Conf. on Software Engineering and Knowledge Engineering, SEKE'97, Madrid, 1997.
20. H. Skaf, Une approche hybride pour gérer la cohérence dans les environnements de développement coopératif, Thèse en informatique, Université de Nancy I - Centre de Recherche en Informatique de Nancy, 1997.
21. C. Godart, G. Canals, F. Charoy, P. Molli, and H. Skaf, "Designing and implementing COO: Design process, architectural style, lessons learned", in Int. Conf. on Software Engineering (ICSE18) (IEEE Press, 1996).
22. K. Benali, G. Canals, C. Godart, and S. Tata, "An approach for developing cooperation in project-enterprises", (short paper) in 3th Int. Conf. on the Design of Cooperative Systems, Cannes, France, May 1998.