W. La-production-des-procédés-coopérants-avec, Dans cette section, nous discutons les détailes d'implémentation de la production des procédés coopérants en utilisant la spécification WS-BPEL. Cette partie de l'implémentation est nommée PPP (Peer Process Producer) En langage WS-BPEL, un procédé peutêtrepeutêtre exprimé Bibliographie [Adi and Etzion2004] Asaf Adi and Opher Etzion. Amit -the situation manager, VLDB J, vol.13, issue.2, pp.177-203, 2004.

. Andonoff, Eric Andonoff, Lotfi Bouzguenda, and Chihab Hanachi. Specifying web workflow services for finding partners in the context of loose inter-organizational workflow, Business Process Management, pp.120-136, 2005.

. Aoyama, Web services engineering, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.647-648, 2002.
DOI : 10.1145/581339.581425

W. Atluri, J. Atluri, and . Warner, Supporting conditional delegation in secure workflow management systems, Proceedings of the tenth ACM symposium on Access control models and technologies , SACMAT '05, pp.49-58, 2005.
DOI : 10.1145/1063979.1063990

. Atluri, Vijayalakshmi Atluri, Soon Ae Chun, and Pietro Mazzoleni. A chinese wall security model for decentralized workflow systems, ACM Conference on Computer and Communications Security, pp.48-57, 2001.

. Baresi, Distributed bpel processes, Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering, SEKE, pp.692-697, 2007.
DOI : 10.1109/tse.2010.37

. Barros, Service Interaction Patterns, Proceedings of 3rd International Conference, of Business Process Management, BPM, pp.302-318, 2005.
DOI : 10.1007/11538394_20

. Benatallah, Declarative composition and peer-to-peer provisioning of dynamic Web services, Proceedings 18th International Conference on Data Engineering, pp.297-308, 2002.
DOI : 10.1109/ICDE.2002.994738

. Benatallah, Representing, analysing and managing Web service protocols, Data & Knowledge Engineering, vol.58, issue.3, pp.327-357, 2006.
DOI : 10.1016/j.datak.2005.07.006

URL : https://hal.archives-ouvertes.fr/hal-00107196

. Berardi, Automatic composition of transition-based semantic web services with messaging, Proceedings of the 31st International Conference on Very Large Data Bases, VLDB, pp.613-624, 2005.

M. Bergholtz, P. Jayaweera, P. Johannesson, and P. Wohed, A Pattern and Dependency Based Approach to the Design of Process Models, Proceedings of the 23nd International Conference on Conceptual Modeling, pp.724-739, 2004.
DOI : 10.1007/978-3-540-30464-7_54

. Bertino, The specification and enforcement of authorization constraints in workflow management systems, ACM Transactions on Information and System Security, vol.2, issue.1, 1999.
DOI : 10.1145/300830.300837

E. Bertino, E. Ferrari, and A. C. Squicciarini, Trust-X: A Peer-to-Peer Framework for Trust Establishment, IEEE Transactions on Knowledge and Data Engineering, vol.16, issue.07, pp.827-842, 2004.
DOI : 10.1109/TKDE.2004.1318565

. Bertino, Privacy and Ownership Preserving of Outsourced Medical Data, 21st International Conference on Data Engineering (ICDE'05), pp.521-532, 2005.
DOI : 10.1109/ICDE.2005.111

. Betin-can, Aysu Betin-Can, Tevfik Bultan, and Xiang Fu. Design for verification for asynchronously communicating web services, Proceedings of the 14th international conference on World Wide Web, WWW, pp.750-759, 2005.

M. A. Bondy, U. S. Bondy, and . Murty, Graph Theory with Applications, 1976.
DOI : 10.1007/978-1-349-03521-2

[. Bpmi, . Bpmi, and . Org, Business process modeling language (bpml) Working draft 0, Business Process Management Initiative, 2001.

. Bultan, Analyzing conversations of Web services, IEEE Internet Computing, vol.10, issue.1, pp.18-25, 2006.
DOI : 10.1109/MIC.2006.1

. Cai, Dartflow : A workflow management system on the web using transportable agents, 1996.

G. Carlsson, R. Carlsson, and . Gustavsson, The Rise and Fall of Napster - An Evolutionary Approach, Active Media Technology, pp.347-354, 2001.
DOI : 10.1007/3-540-45336-9_40

G. Chafle, S. Chandra, V. Mann, and M. Nanda, Decentralized orchestration of composite web services, Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters , WWW Alt. '04, pp.134-143, 2004.
DOI : 10.1145/1013367.1013390

. Chafle, Orchestrating composite Web services under data flow constraints, IEEE International Conference on Web Services (ICWS'05), pp.211-218, 2005.
DOI : 10.1109/ICWS.2005.88

H. Chen, M. Chen, and . Hsu, Inter-enterprise collaborative business process management, Proceedings of the 17th International Conference on Data Engineering, ICDE, pp.253-260, 2001.

. Chinnici, Web services description language (wsdl) version 1.2, p.3, 2002.

]. M. Coon2002 and . Coon, Peer-to-peer workflow management white paper, 2002.

. Curbera, Ieee internet computing : Spotlight -unraveling the web services web : An introduction to soap, wsdl, and uddi, IEEE Distributed Systems Online, vol.3, issue.4, 2002.

F. Curbera, R. Khalaf, F. Leymann, and S. Weerawarana, Exception Handling in the BPEL4WS Language, Business Process Management, pp.276-290, 2003.
DOI : 10.1007/3-540-44895-0_19

. Damiani, GEO-RBAC, ACM Transactions on Information and System Security, vol.10, issue.1, 2007.
DOI : 10.1145/1210263.1210265

. Deng, Exploring the Flexible Workflow Technology to Automate Service Composition, First Asian Semantic Web Conference, ASWC, pp.444-458, 2006.
DOI : 10.1007/11836025_43

]. E. Dijkstra1959 and . Dijkstra, A note on two problems in connexion with graphs, Numerische Mathematik, vol.4, issue.1, pp.269-271, 1959.
DOI : 10.1007/BF01386390

[. Doyen, Supervision des réseaux et services pairàpairà pair, 2005.

F. Dumas, M. Dumas, and . Fauvet, Les services web, Intergiciel et Constructions d'Applications Réparties, pp.77-102, 2006.

]. E. Emerson1990 and . Emerson, Temporal and Modal Logic, Handbook of Theoretical Computer Science, Volume B : Formal Models and Sematics (B), pp.995-1072, 1990.
DOI : 10.1016/B978-0-444-88074-1.50021-4

K. Fakas, B. Fakas, and . Karakostas, A peer to peer (P2P) architecture for dynamic workflow management, Information and Software Technology, vol.46, issue.6, pp.423-431, 2004.
DOI : 10.1016/j.infsof.2003.09.015

. Fakas, Georgios John Fakas, Bill Karakostas, and Stelios Christophi. A peer to peer (p2p) dynamic workflow management system based on web services, Proceedings of the International Conference on Web Services, ICWS, pp.428-431, 2003.

[. Fischer, BPM & Workflow Handbook Methods, Concepts, Case Studies and Standards in Business Process Management and Workflow, Future Strategies Inc, 2007.

. Fu, Synchronizability of conversations among Web services, IEEE Transactions on Software Engineering, vol.31, issue.12, pp.311042-1055, 2005.
DOI : 10.1109/TSE.2005.141

[. Gauron, Interconnexion et routage efficaces pour des procédures de recherche décentralisées dans les systèmes P2P, 2006.

[. Godart, COO: A transaction model to support cooperating software developers Coordination, Proceedings of the 4th European Software Engineering Conference, pp.361-379, 1993.
DOI : 10.1007/3-540-57209-0_25

. Gokkoca, Esin Gokkoca, Mehmet Altinel, Ibrahim Cingil, Nesime Tatbul, Pinar Koksal , and Asuman Dogac. Design and implementation of a distributed workflow enactment service, Proceedings of the Second IFCIS International Conference on Cooperative Information Systems, CoopIS, pp.89-98, 1997.

]. Goldfard1990 and . Goldfard, The SGML Handbook, 1990.

R. Gray, A. Gray, and . Reuter, Transaction Processing : Concepts and Technologies, 1993.

. Grinter, The geography of coordination, Proceedings of the international ACM SIGGROUP conference on Supporting group work , GROUP '99, pp.306-315, 1999.
DOI : 10.1145/320297.320333

H. Grundy, C. John, J. G. Grundy, and . Hosking, Serendipity: Integrated Environment Support for Process Modelling, Enactment and Work Coordination, Autom. Softw. Eng, vol.5, issue.1, pp.27-60, 1998.
DOI : 10.1007/978-1-4615-5441-7_3

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

. Guabtni, Adnene Using isolation spheres for cooperative processes correctness, Proceedings of the 10th International Conference on CSCW in Design, CSCWD, pp.21-26, 2006.
DOI : 10.1109/cscwd.2006.253216

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. Hagen, G. Hagen, and . Alonso, Exception handling in workflow management systems, IEEE Transactions on Software Engineering, vol.26, issue.10, pp.943-958, 2000.
DOI : 10.1109/32.879818

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

. Halevy, Ten-year best paper award talk session, data integration : The teenage years, Proceedings of the 32nd International Conference on Very Large Data Bases, VLDB, pp.9-16, 2006.

N. Harel, A. Harel, and . Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, pp.293-333, 1996.
DOI : 10.1145/235321.235322

. Haugland, J2EE 1.4 : The Big Picture [jav] Java Distributed Systems Home Page, Gray, and Michael Kinateder. Simplification and analysis of transitive trust networks. Web Intelligence and Agent Systems, pp.139-161, 2006.

. Joshi, An Analysis of Expressiveness and Design Issues for the Generalized Temporal Role-Based Access Control Model, IEEE Transactions on Dependable and Secure Computing, vol.2, issue.2, pp.157-175, 2005.
DOI : 10.1109/TDSC.2005.18

G. Kahn, The semantics of simple language for parallel programming, IFIP Congress, pp.471-475, 1974.

P. Kazhamiakin, M. Kazhamiakin, and . Pistore, Choreography Conformance Analysis: Asynchronous Communications and Information Alignment, Proceedings of Third International Workshop on Web Services and Formal Methods, pp.227-241, 2006.
DOI : 10.1007/11841197_15

. Kazhamiakin, Analysis of communication models in web service compositions, Proceedings of the 15th international conference on World Wide Web , WWW '06, pp.267-276, 2006.
DOI : 10.1145/1135777.1135819

L. Khalaf, F. Khalaf, and . Leymann, E Role-based Decomposition of Business Processes using BPEL, 2006 IEEE International Conference on Web Services (ICWS'06), pp.770-780, 2006.
DOI : 10.1109/ICWS.2006.56

. Kiepuszewski, On Structured Workflow Modelling, Advanced Information Systems Engineering, 12th International Conference, CAiSE, pp.431-445, 2000.
DOI : 10.1007/3-540-45140-4_29

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

. Kindler, Inter-operability of Workflow Applications: Local Criteria for Global Soundness, Wil M. P. van der Aalst, Jörg Desel, and Andreas Oberweis Business Process Management, pp.235-253, 2000.
DOI : 10.1007/3-540-45594-9_15

J. Leslie and K. , Centralized versus decentralized computing : organizational considerations and management options, ACM Comput. Surv, vol.15, issue.4, pp.319-349, 1983.

V. Koutsonikola, A. Vassiliki, A. Koutsonikola, and . Vakali, LDAP: framework, practices, and trends, IEEE Internet Computing, vol.8, issue.5, pp.66-72, 2004.
DOI : 10.1109/MIC.2004.44

R. Leung, K. N. Hareton, H. K. Leung, and . Reghbati, Comments on Program Slicing, IEEE Transactions on Software Engineering, vol.13, issue.12, pp.1370-1371, 1987.
DOI : 10.1109/TSE.1987.233147

R. Leymann, D. Leymann, and . Roller, Production Workflow -Concepts and Techniques, 2000.

K. Liu, A. Liu, and . Kumar, An Analysis and Taxonomy of Unstructured Workflows, Proceedings of 3rd International Conference, of Business Process Management, BPM, pp.268-284, 2005.
DOI : 10.1007/11538394_18

. Ly, Integration and verification of semantic constraints in adaptive process management systems, Data & Knowledge Engineering, vol.64, issue.1, pp.3-23, 2008.
DOI : 10.1016/j.datak.2007.06.007

B. Malik, A. Malik, and . Bouguettaya, Evaluating Rater Credibility for Reputation Assessment of Web Services, Proceedings of 8th International Conference on Web Information Systems Engineering, pp.38-49, 2007.
DOI : 10.1007/978-3-540-76993-4_4

. Marconi, Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals, 4th International Conference Australasian Database Conference Proceedings of the 15th international conference on World Wide Web, WWW, pp.459-464, 1999.
DOI : 10.1007/11948148_40

L. Myers, C. Andrew, B. Myers, and . Liskov, A decentralized model for information flow control, SOSP '97 : Proceedings of the sixteenth ACM symposium on Operating systems principles, pp.129-142, 1997.

K. Nanda, N. M. Nanda, and . Karniknanda, SYNCHRONIZATION ANALYSIS FOR DECENTRALIZING COMPOSITE WEB SERVICES, Mangala Gowri Nanda, Satish Chandra, and Vivek Sarkar Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLANezhad et al.2006] Hamid R. Motahari NezhadOASIS2005] OASIS. Web Services Business Process Execution Language, pp.91-119, 2004.
DOI : 10.1142/S0218843004000900

A. Omicini, S. Ossowskiosterweil1987-]-leon, and J. Osterweil, COORDINATION AND COLLABORATION ACTIVITIES IN COOPERATIVE INFORMATION SYSTEMS, Proceedings of the 9th International Conference on Software Engineering, ICSE 19th International Conference on Software Engineering, ICSE, pp.1-7, 1987.
DOI : 10.1142/S0218843004000869

. Ouyang, Translating Standard Process Models to BPEL, Advanced Information Systems Engineering , 18th International ConferencePark and Hwang2003] Joon S. Park and Junseok Hwang Proceedings of the eighth ACM symposium on Access control models and technologies, pp.417-432, 2003.
DOI : 10.1007/11767138_28

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

. Paul, Rainman : A workflow system for the internet, USENIX Symposium on Internet Technologies and Systems, 1997.

A. Pautasso, G. Pautasso, and . Alonso, Flexible Binding for Reusable Composition of Web Services, Software Composition, pp.151-166, 2005.
DOI : 10.1007/11550679_12

. Pistore, Automated composition of web services by planning at the knowledge level, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI, pp.1252-1259, 2005.

K. Port, G. E. Port, and . Kaiser, Collaborative technologies for evolving software systems, IEEE Internet Computing, vol.2, issue.6, pp.79-83, 1998.
DOI : 10.1109/4236.735990

. Rao, Jinghai Rao, Peep Küngas, and Mihhail Matskin Composition of semantic web services using linear logic theorem proving, Inf. Syst, vol.31, pp.4-5340, 2006.

D. Reichert, P. Reichert, and . Dadam, Adept flex -supporting dynamic changes of workflows without losing control, Journal of Intelligent Information Systems, vol.10, issue.2, pp.93-129, 1998.
DOI : 10.1023/A:1008604709862

. Reichert, On the modeling of correct service flows with bpel4ws, Informationssysteme im E-Business und E-Government, Beiträge des Workshops der GI-Fachgruppe, EMISA, volume 56 of LNI, pp.117-128, 2004.

. Rinderle, Integrating Process Learning and Process Evolution ??? A Semantics Based Approach, Business Process Management, pp.252-267, 2005.
DOI : 10.1007/11538394_17

G. Rusinkiewicz, D. Rusinkiewicz, and . Georgakopoulos, From transactions to transactional workflows : Technology and applications, Proceedings of the First International Workshop on Advances in Databases and Information Systems, pp.118-119, 1994.

S. Rusinkiewicz, A. P. Rusinkiewicz, and . Sheth, Specification and execution of transactional workflows, Modern Database Systems, pp.592-620, 1995.

O. Sadiq, M. E. Sadiq, and . Orlowska, Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models, Proceedings of the Advanced Information Systems Engineering, 11th InternationalConference, CAiSE, pp.195-209, 1999.
DOI : 10.1007/3-540-48738-7_15

O. Sadiq, M. E. Sadiq, and . Orlowska, Analyzing process models using graph reduction techniques, Information Systems, vol.25, issue.2, pp.117-134, 2000.
DOI : 10.1016/S0306-4379(00)00012-0

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

O. Sadiq, M. E. Sadiq, and . Orlowska, On Business Process Model Transformations, ER, pp.267-280, 2000.
DOI : 10.1007/3-540-45393-8_20

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

. Sadiq, Model Driven Distribution of Collaborative Business Processes, 2006 IEEE International Conference on Services Computing (SCC'06), pp.281-284, 2006.
DOI : 10.1109/SCC.2006.71

. Schuldt, Concurrency control and recovery in transactional process management, Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '99, pp.316-326, 1999.
DOI : 10.1145/303976.304007

R. Weber, H. Schuldt, and H. Schek, Scalable peer-to-peer process management -the osiris approach, Proceedings of the IEEE International Conference on Web Services, ICWS, pp.26-34, 2004.

[. Sdsc, San diego super computing center, Matrix, 1999.

K. Sheth, K. J. Sheth, and . Kochut, Workflow Applications to Research Agenda: Scalable and Dynamic Work Coordination and Collaboration Systems, NATO Advanced Study Institute on Workflow Management Systems and Interoperability, 1997.
DOI : 10.1007/978-3-642-58908-9_3

. Sheth1991, P. Amit, and . Sheth, Federated database systems for managing distributed, heterogeneous, and autonomous databases, VLDB, p.489, 1991.
DOI : 10.1145/96602.96604

V. Srivastava, Y. Srivastava, and . Velegrakis, Intensional associations between data and metadata, Proceedings of the 2007 ACM SIGMOD international conference on Management of data , SIGMOD '07, pp.401-412, 2007.
DOI : 10.1145/1247480.1247526

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

. Stricker, Decoupling synchronization and data transfer in message passing systems of parallel computers, Proceedings of the 9th international conference on Supercomputing , ICS '95, pp.1-10, 1995.
DOI : 10.1145/224538.224539

. Thain, Distributed computing in practice : the condor experience. Concurrency -Practice and Experience, pp.323-356, 2005.

[. Thatte, Xlang -web services for business process design. Initial public draft, Microsoft Corporation, 2001.

. Van-der-aalst, M. P. Wil, P. J. Van-der-aalst, and . Berens, Beyond workflow management, Proceedings of the 2001 International ACM SIGGROUP Conference on Supporting Group Work , GROUP '01, pp.42-51, 2001.
DOI : 10.1145/500286.500296

W. Van-der-aalst, M. P. Wil, M. Van-der-aalst, and . Weske, The P2P Approach to Interorganizational Workflows, Proceedings 13th International Conference of Advanced Information Systems Engineering, CAiSE, pp.140-156, 2001.
DOI : 10.1007/3-540-45341-5_10

. Van-der-aalst, Advanced Workflow Patterns, Proceedings of the 7 th International Cooperative Information Systems Conference, CoopIS, pp.18-29, 1901.
DOI : 10.1007/10722620_2

M. P. Wil and . Van-der-aalst, The application of petri nets to workflow management Interorganizational workflows : An approach based on message sequence charts and petri nets. Systems Analysis -Modelling -Simulation, Journal of Circuits, Systems, and Computers, pp.21-66335, 1998.

]. W. Aalst2005 and . Van-der-aalst, Process mining in cscw systems, Proceedings of the 9th IEEE International Conference on Computer Supported Cooperative Work in Design, CSCWD, pp.1-8, 2005.

. Weerawarana, Web Services Platform Architecture, 2005.

. Wfmc, Workflow standard -interoperability abstract specification version 1.0. Document number wfmc-tc-1012, 1996.

W. Wodtke, G. Wodtke, and . Weikum, A formal foundation for distributed workflow execution based on state charts, Proceedings of the 6th International Conference on Database Theory -ICDT '97, pp.230-246, 1997.
DOI : 10.1007/3-540-62222-5_48

. Wodtke, The mentor workbench for enterprise-wide workflow management, SIGMOD Conference, pp.576-579, 1997.

M. P. Wil, M. Van-der-aalst, A. H. Dumas, and . Ter-hofstede, Analysis of web services composition languages : The case of bpel4ws, Proceedings of the 22nd International Conference on Conceptual Modeling, ER, volume 2813 of Lecture Notes in Computer Science, pp.200-215, 2003.

Y. , L. Yang, and C. Liu, Implementing a flexible compensation mechanism for business processes in web service environment, pp.753-760, 2006.

G. Yildiz, C. Yildiz, and . Godart, Centralized versus Decentralized Conversation-based Orchestrations, The 9th IEEE International Conference on E-Commerce Technology and The 4th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services (CEC-EEE 2007), pp.289-296, 2007.
DOI : 10.1109/CEC-EEE.2007.28

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

G. Yildiz, C. Yildiz, and . Godart, Dynamic decentralized service orchestrations, Proceedings of the 3 th International Conference on Web Information Systems and Technologies , WEBIST, pp.36-45, 2007.
DOI : 10.1145/1244002.1244354

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

G. Yildiz, C. Yildiz, and . Godart, Enhancing Secured Service Interoperability with Decentralized Orchestration, 2007 IEEE 23rd International Conference on Data Engineering Workshop, pp.725-733, 2007.
DOI : 10.1109/ICDEW.2007.4401060

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

G. Yildiz, C. Yildiz, and . Godart, Information Flow Control with Decentralized Service Compositions, IEEE International Conference on Web Services (ICWS 2007), pp.7-19, 2007.
DOI : 10.1109/ICWS.2007.109

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

G. Yildiz, C. Yildiz, and . Godart, Synchronization Solutions for Decentralized Service Orchestrations, Second International Conference on Internet and Web Applications and Services (ICIW'07), pp.39-46, 2007.
DOI : 10.1109/ICIW.2007.60

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

G. Yildiz, C. Yildiz, and . Godart, Towards decentralized service orchestrations, Proceedings of the 2007 ACM symposium on Applied computing , SAC '07, pp.1662-1666, 2007.
DOI : 10.1145/1244002.1244354

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

. Zhao, An Organisational Perspective on Collaborative Business Processes, Proceedings of the 3rd International Conference Business Process Management, pp.17-31, 2005.
DOI : 10.1007/11538394_2

V. Ozsu, P. Tamer¨ozsu, and . Valduriez, Principles of Distributed Database Systems, 1999.
URL : https://hal.archives-ouvertes.fr/hal-00483354