. Désirera-Être-validée, elle sera amenée, entre autres, à demander l'autorisation à l'activité struct. Celle-ci vérifiera alors que l'activité archi a bien eu connaissance de la dernière version en date de la ressource plan dont elle dispose, cette version pouvant éventuellement avoir été importée depuis une autre activité, Elle enverra pour cela la requête suivante à son interpréteur Prolog: lostUpdate(archi, Other, plan)

. Si-cette-requête-s-'exécute-avec-succès, D. Cela-signifie-quaxiomes, . Des, and . Négociés, il existe effectivement un événement wri te (Other ,plan, struct), c'est-à-dire une opération de mise-à-jour de la ressource plan de l'activité struct, qui n'a pas été suivie d'un événement read(archi ,plan, struct) qui aurait permis à l'activité archi de prendre connaissance de cette modification. L'activité archi a donc bel et bien manqué une mise-à-jour de la ressource plan de l'activité struct. C'est effectivement le cas sur l'exemple de la figure 5.18. En procédant de cette manière, les schémas et règles de coopération (formalisés en ACTA) sont donc réellement implémentés sous la forme de propriétés

. Vti, tj (ti =1-tj) Vtl, t2 (tl E {ti, tj}, t2 E {ti, tj} -td VO Vs (Contract[ti,tj,O,s] E HtJ =?

T. Vti, ti=l-tj) VtE{ti,tj} Vob Vtl,t2(tIE{ti,tj},t2E{ti,tj}-td (Contract[tl,t2,0,S] E Ht) /\ (ob E 0) =? ,lls' (Contract[tl,t2,0,S]-+Ht Contract[tl,t2

E. Va and . Te, HtJ =? Vtj Vob Vs Vt E {ti,tj} (Contract[ti, tj, 0, s] E Ht ) /\ (ob E 0) =? S(ti

. En, que nous avons introduit un cycle de dépendances entre ces deux transactions, elles devront chacune être up ta date l'une par rapport à l'autre avant de pouvoir être validées. Cela nous assure que le relecteur (la transaction trev) aura bien relu la dernière version de chaque document (objets doc E Doc) et que le rédacteur (la transaction t wri )

. Un, Cela signifie qu'il sera nécessaire de vérifier qu'une revue du relecteur qui sera lue par le rédacteur aura bien été produite" à partir" de documents fournis par le rédacteur, et non d'une version modifiée d'un de ces documents. En effet, le schéma client/serveur utilisé entre le rédacteur et le relecteur pour partager les documents n'impose des contraintes que sur les échanges entre ces deux activités et non sur la manière dont elles doivent utiliser les données partagées. En d'autres termes, le relecteur sera tout à fait libre de modifier

]. D. Agr90, A. Agrawal, . El, G. Larry-allen, K. Fernandez et al., Transaction Management in Database Systems Database transaction models for advanced applications ClearCase MultiSite: Supporting geographically-distributed software development Software Configuration Management: Selected Papers of the ICSE SCM-4 and SCM-5 Workshops, number 1005 in Lecture Notes in Computer Science Amr El Abbadi, and C. Mohan. Functionality and limitations of current workflow management systems Consistent global states of distributed systems: Fundamental concepts and mechanisms, Alo96] Gustavo Alonso, Divyakant AgrawalAtr94] Atria Software Inc. ClearCase product summary, pp.194-214, 1990.

R. M. Baecker, Readings in Groupware and Computer-Supported Cooperative Work, Concurrency Control in Rule-Based Software Development Environments, 1992.

N. Barghouti, Supporting Cooperation in the MARVEL Process-Centered SDE A Foundation for Evolution from Relational to Object Databases, Proceedings of the Fifth ACM SIGSOFT Symposium on Software Development Environments Proceedings of the International Conference on Extending Database Technology, pp.21-31, 1988.

C. Beeri, H. Scheck, G. Weikumbei94-]-n, J. Belkhatir, and . Estublier, Multilevel transaction management: Theorical or practical need? In LNCS 303, editor, Advanced Database Technology Conference ADELE-TEMPO: An Environment to Support Process Modelling and Enaction, Software Process Modelling and Technology, pp.134-154, 1988.

]. R. Ben95, T. Bentley, K. Horstmann, J. Sikkel, and . Trevor, Supporting Collaborative Information Sharing with the World Wide Web: The BSCW Shared Workspace System, Proceedings of the 4th International World Wide Web Conference, pp.63-74, 1995.

R. Bentley, T. Horstmann, and J. Trevor, The World Wide Web as enabling technology for CSCW: The case of BSCW, Computer-Supported Cooperative Work: Special issue on CSCW and the Web, 1997.

K. Benali, G. Canals, C. Godart, and S. Tata, An Approach for Developing Cooperation in Project-Enterprises, 3 th International Conference on the Design of Cooperative Systems, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00098598

K. Benali, M. Munier, C. M. Godart, C. Munier, . A. Godartber81-]-p et al., Cooperation models in co-design Concurrency Control in Distributed Database Systems Concurrency Control and Recovery in Database Systems Cooperation models in codesign: application to architectural design, International Conference on Agile ManufacturingBer97] P.A. Bernstein and E. Newcomer. Principles of Transaction Processing Les Systèmes Transactionnels: Concepts, Normes et Produits. Hermes 4 th International Conference on Design and Decision Support Sys tems in Architecture and Urban planning, pp.186-221, 1981.

G. Brose, ]. G. Java-object-request-brokercan96, P. Canals, C. Molli, and . Godart, Concurrency control for cooperating software processes, Proceedings of the 1 996 Workshop on Advanced Transaction Models and Architecture (ATMA '96), 1996.

G. Canals, C. Godart, P. Molli, and M. Munier, A criterion to enforce correctness of indirectly cooperating applications, Information Sciences, vol.110, issue.3-4, pp.279-302, 1998.
DOI : 10.1016/S0020-0255(98)10014-2

URL : https://hal.archives-ouvertes.fr/inria-00098608

G. Canals, C. Godart, M. Munier, and S. Tata, Supporting cooperation in project-enterprises, Proceedings of the 1998 International Conference on Enterprise Networking and Computing (ENCOM'9S), 1998.
URL : https://hal.archives-ouvertes.fr/inria-00098609

G. Canals, C. Godart, F. Charoy, P. Molli, and H. Skaf, COO approach to support cooperation in software developments, Contrôle de l'exécution de transactions concurrentes. Techniques et Sciences Informatiques, pp.79-84225, 1989.
DOI : 10.1049/ip-sen:19985842

URL : https://hal.archives-ouvertes.fr/inria-00098466

M. Cart and J. Ferrié, Integrating concurrency control into an object-oriented database system, Proceedings of Advances in Database Technology -EDBT'90Car90b] M. Cart, J. Ferrié, and JF. Pons. Objects Modeling wh en Using a Multi-Level Transaction Model Proceedings of Workshop on Transaction and Objects. o OPSLAjECOOP90, pp.416-363, 1990.
DOI : 10.1007/BFb0022183

]. P. Chr90, K. Chrysanthis, . K. Ramamrithamchr92-]-p, K. Chrysanthis, and . Ramamritham, A Framework for Specifying and Reasoning about Transaction Structure and Behavior ACTA: The SAGA Continues Database transaction models for advanced applications A Theoretical Model of Cooperation, Proccedings of the ACM SIGMOD International Conference on Management of Data Proc. 2nd International Conference on the Design of Cooperative Systems (COOP'96)Coi98] C. Cointe and N. Matta. Multi-Agents System to Support Decision Making in Concurrent Engineering. In TMCE'9S, pp.194-203451, 1990.

F. L. Darses, ingénierie concourante: un modèle en meilleure adéquation avec les processus cognitifs de conception, Ingénierie Concourante: de la technique au social, pp.39-55, 1997.

A. K. Elmagarmid, Y. Leu, J. G. Mullen, O. Bukhresgar90-]-g, P. Gardarin et al., Introduction to Advanced Transaction Models Database transaction . models for advanced applications Using Semantic Knowledge for Transaction Processing in a Distributed Database, ACM Transactions on Database Systems, vol.8, issue.2, pp.186-213, 1983.

K. [. Garcia-molina, . Salem, C. Sagas, G. Godart, F. Canals et al., Designing and Implementing COO: Design Process, Architectural Style, Lessons Learned Notes on Database Operating Systems Transaction Processing: Concepts and Techniques Transactions réparties: Algorithmes, Systèmes et Langages The industrial Virtual Enterprise, Proceedings of the l2th Annual ACM Conference on the Managemant of Data International Conference on Software Engineering (ICSE18)Ho095] Frederic Hoogstoel. Une approche organisation elle du travail coopératif assisté par ordinateurJaj97] S. Jajodia and L. Kershberg Advanced Transaction Models and Applications, pp.249-259, 1987.

S. F. , J. Andreoli, and R. Pareschi, The coordination language facility: coordination of distributed objects, Journal of Theory and Practice of Object Systems, vol.2, issue.2, pp.77-94, 1996.

S. Kraus, H. Kongld97, ]. M. Atkinson, L. Daynès, and P. Valduriez, Negotiation and cooperation in multi-agent environments, Proceedings of the l6th Internationnal Conference on Distributed Computing Systems (ICDCS 96) Advanced TRansaction Models and Architecture. Kluwer Academic Publisher Ozsu, Dayal, and Valduries Distributed Object ManagementMat96] N. Matta and O. Corby. Modèles génériques de gestion de conflit dans la conception concourante, pp.79-97, 1992.
DOI : 10.1016/S0004-3702(97)00025-8

P. Molli, ]. P. Environnements-de-développement-coopératifsmo197, and . Molli, Thèse en informatique COO-Transaction: Enhancing Long Transaction Model with Cooperation, 7th Software Configuration Management Workshop (SCM'l), 1996.

]. J. Mos81, M. Elliot-moss, M. Ahamad, G. Raynal, C. Thia-kime et al., Nested Transactions: An Approach to Reliable Distributed Computing) PhD thesis, MIT From serializable to Causal Transactions for Collaborative Applications Cooperation services for widely distributed applications A Cooperative Transaction Model for Design Databases, Tenth International Conference on Software Engineering and Knowledge Engineering (SEKE)98) Database transaction models for advanced applications, 1981.

R. Orfali, D. Harkey, F. Pacull, A. Sandoz, and A. Schiper, Client/Server Programming with JAVA and CORBA) Duplex: A distibuted collaborative editing environment in large scale, Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW'94J pages 165~ 173, 1994.

C. Pu, A. Leff, K. Ramamritham, and P. K. Chrysanthis, Replica control in distributed systems: An asynchronous approach In Search of Acceptability Criteria: Database Consistency Requirements and Transaction Correctness Properties, Proceedings of the 16th Annual ACM Conference on the Management of Data Distributed Object Management Ramamritham and P.K. Chrysanthis. A taxonomy of correctness criteria in database applications. The VLDB Journal, pp.377-38685, 1991.

M. Raynal and M. Mizuno, How to find his way in the jungle of consistency criteria for distributed objects memories, Proceedings of the 4th workshop on Future Trends of Computing Systems, 1993.
URL : https://hal.archives-ouvertes.fr/inria-00074711

M. Raynal and G. Thia-kim, Weakening transactions to fit the need of cooperative applications, Proc. of the Int. Conf. on Information, System, Analysis and Synthesis (ISAS96), number HIS, pp.531-538, 1996.

M. Ribière and N. Matta, Virtual Enterprise and Corporate Memory, Building , maintaining and using o'rganizational memories workshop of ECAI'98, 1998.

N. William, V. Robinson, M. A. Volkov, J. S. Rosenman, M. L. Gero et al., Supporting the negotiation life cycle Modelling multiple views of design objects in a collaborative CAD environment Shared understanding in computer-supported collaborative design, Communications of the ACM Computer-Aided Design Computer-Aided Design, vol.41, issue.283, pp.95-102193, 1996.

H. Saliou-shapiro and R. Kloosterman, Conception d'un environnement pour le support de téléactivités coopératives PerDiS -a Persistent Distributed Store for Cooperative Application, Proceedings of the 3rd Cabernet Plenary Workshop, 1996.

A. Shiper and M. , From group communication to transactions in distributed systems, Communications of the ACM, vol.39, issue.4, pp.85-87, 1996.
DOI : 10.1145/227210.227230

H. Andrea, F. Skarra-tichy, . Walter, D. Thia-kime, A. Heimbinger et al., RCS -A system for version control. Software- Practice and Experience Critères de cohérence pour données partagées à support réparti A generic, peer-to-peer repository for distributed configuration management The ConTract Model, Concurrency Control for Cooperating transactions in an Object Oriented Database. ACM SIGPLAN NoticesSke81] D. Skeen. NonBlocking Commit Protocols Proceedings 1981 of the ACM- SIGMOD International Conference on Management of Data ICSE (International Conference on Software Engineering) Database Transaction Models for Advanced Applications Weihl. Specification and Implementation of Atomic Data TypesWei89] W.E. Weihl. Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types. A CM Transactions on Programming Languages and Systems, pp.133-142637, 1981.

M. Weiss, A. Jhonson, and J. Kiniry, Distributed Computing: Java, CORBA, and DCE: Open Software Foundation Version 2, 1996.