.. Concepts-de-base, 16 3.2.2, p.29

.. Etat-de-l-'art, 32 3.3.1 Classification et modélisation des procédés 32 3.3.2 Standards de composition de services web) happens(e, t) : l'événement e s'est produit à l'instant t) holdsAt(f, t) : f est vrai à t, (3) initiates(e, f, t) : si e se produit à t, alors f est vrai à t, (4) terminates(e, f, t) : si e se produit à t, alors f n'est pas vrai à t, (5) Initially P (f ) indique que f se produit depuis l'instant 0, (6) Initially N (f ) indique que f ne se produit pas depuis l'instant 0, 38 3.3.4 Approches pour la décentralisation des services web composés . . . . . . 41 3.3.5 Modélisation des chorégraphies de services) Clipped(t1, f, t2) précise que f est terminé entre t1 et t2) Declipped(t1, f, t2) précise que f est initialisé entre t1 et t2 (9) t1 < t2 : relation d'ordre standard pour le temps, t1 précède t2. PrePartitioning process... +++++++Constraints+++++++++++++ Colocate(a6:B,a0:SU), Colocate(a7:SL,a3:P), Colocate(a2:SL,a5:SL) Separate(a1:H,a0:SU),Separate(a7:SL,a2:SL) +++++++pre-partitions+++++++++++++ Prepartition1: Contains activities (a6:B, a0:SU) Constrained with

*. *. Arkin, S. Askary, B. Bloch, and F. Curbera, Minimum number of final partitions =2 Maximum number of final partitions=5 [AA02] M. Burstein A. Ankolekar. Daml-s : Web service description for the semantic web, 2002.

M. P. Wil, A. P. Van-der-aalst, A. H. Barros, B. Ter-hofstede, and . Kiepuszewski, Advanced workflow patterns, Proceedings of the 7th International Conference on Cooperative Information Systems, CooplS '02, pp.18-29, 2000.

T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein et al., Satish Thatte, Ivana Trickovic, and Sanjiva Weerawarana. BPEL4WS, Business Process Execution Language for Web Services Version 1.1. IBM A decentralized execution model for inter-organizational workflows, pp.55-83, 2003.

J. [. Andrade and . Fiadeiro, Coordination technologies for web-services, 2001.

L. Ai, M. Tang, and C. J. Fidge, Partitioning composite web services for decentralized execution using a genetic algorithm, Future Generation Computer Systems, vol.27, issue.2, pp.157-172, 2011.
DOI : 10.1016/j.future.2010.08.003

F. Ramón, J. L. Brena, C. I. Aguirre, E. Chesñevar, L. Ramírez et al., Knowledge and information distribution leveraged by intelligent agents, Knowledge and Information Systems (KAIS), 2007.

A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo, Formalizing Web Service Choreographies, Electronic Notes in Theoretical Computer Science, vol.105, pp.73-94, 2004.
DOI : 10.1016/j.entcs.2004.05.007

R. E. Burkard, E. Çela, G. Rote, and G. J. Woeginger, The quadratic assignment problem with a monotone anti-monge and a symmetric toeplitz matrix : Easy and hard cases, IPCO, pp.204-218, 1996.

T. Bultan, X. Fu, R. Hull, and J. Su, Conversation specification, Proceedings of the twelfth international conference on World Wide Web , WWW '03, pp.403-410, 2003.
DOI : 10.1145/775152.775210

F. Peter, R. Brown, and . Metz-booz-allen-hamilton, Reference model for service oriented architecture 1, 2006.

S. Bhiri, Approche Transactionnelle pour Assurer des Compositions Fiables de Services Web, 2005.
URL : https://hal.archives-ouvertes.fr/tel-01746679

[. Bea and M. , Business process execution language for web services (bpel4ws), 2003.

T. Bray, J. Paoli, C. Michael-sperberg-mcqueen, E. Maler, and F. Yergeau, Extensible markup language (xml) 1.0 (fifth edition) World Wide Web Consortium, 2008.

[. Benatallah, Z. Quan, M. Sheng, and . Dumas, The Self-Serv environment for Web services composition, IEEE Internet Computing, vol.7, issue.1, pp.40-48, 2003.
DOI : 10.1109/MIC.2003.1167338

A. Paul, J. M. Buhler, and . Vidal, Towards adaptive workflow enactment using multiagent systems, Information Technology and Management, vol.6, issue.1, pp.61-87, 2005.

[. Chafle, S. Chandra, P. Kankar, and V. Mann, Handling Faults in Decentralized Orchestration of Composite Web Services, ICSOC, pp.410-423, 2005.
DOI : 10.1007/11596141_31

[. 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, 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

W. [. Curbera, S. Nagy, and . Weerawarana, Web services : Why and how, Cor02] Microsoft Corporation. Microsoft biztalk server 2002 enterprise edition, 2001.

[. Crusson, Bpm :de la modélisation à l ?exécution positionnement par rapport aux architectures orientées services, 2003.

A. G. Cass, B. Staudt, L. Eric, K. Mccall, L. J. Osterweil et al., Little-JIL/Juliette, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.754-757, 2000.
DOI : 10.1145/337180.337623

D. Helga, Canevas pour la composition de services web avec propriétés transactionnelles, 2007.

H. Thomas and . Davenport, Process innovation : reengineering work through information technology, 1993.

M. Remco, M. Dijkman, and . Dumas, Service-oriented design : A multiviewpoint approach, Int. J. Cooperative Inf. Syst, vol.13, issue.4, pp.337-368, 2004.

M. Remco, M. Dijkman, C. Dumas, and . Ouyang, Semantics and analysis of business process models in bpmn, Information & Software Technology, vol.50, issue.12, pp.1281-1294, 2008.

M. Dumas and M. Fauvet, Intergiciel et Construction d'Applications Réparties, Creative Commons, vol.3, pp.77-101, 2007.

M. Dumas, L. García-bañuelos, and R. M. Dijkman, Similarity search of business process models, IEEE Data Eng. Bull, vol.32, issue.3, pp.23-28, 2009.

M. Dumas and A. H. Ter-hofstede, UML Activity Diagrams as a Workflow Specification Language, pp.76-90, 2001.
DOI : 10.1007/3-540-45441-1_7

A. Ferrara, Web services, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, pp.242-251, 2004.
DOI : 10.1145/1035167.1035202

[. Foster, J. Kramer, J. Magee, and S. Uchitel, Model-based verification of Web service compositions, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., 2003.
DOI : 10.1109/ASE.2003.1240303

[. Foster, S. Uchitel, J. Magee, and J. Kramer, Compatibility verification for Web service choreography, Proceedings. IEEE International Conference on Web Services, 2004., p.738, 2004.
DOI : 10.1109/ICWS.2004.1314806

W. Gaaloul, La Découverte de Workflow Transactionnel pour la Fiabilisation des Exécutions, 2006.

W. P. Paul, K. Grefen, Y. Aberer, H. Hoffner, and . Ludwig, Crossflow : Cross-organizational workflow management in dynamic virtual enterprises, 2000.

M. [. Glover and . Laguna, Tabu search, 1997.
URL : https://hal.archives-ouvertes.fr/hal-01389283

C. Godart, O. Perrin, K. Baina, S. Bhiri, F. Charoy et al., Les processus métiers : Concepts, modèles et systèmes, 2009.

[. Hamadi and B. Benatallah, A petri net-based model for web service composition, ADC '03 : Proceedings of the 14th Australasian database conference, pp.191-200, 2003.

J. Barzdins, K. Podnieks, and A. Kalnins, Modeling languages and tools : state of the art, 2000.

M. J. Koopmans and . Beckmann, Assignment Problems and the Location of Economic Activities, Econometrica, vol.25, issue.1, pp.53-76, 1957.
DOI : 10.2307/1907742

D. [. Kavantzas, G. Burdett, Y. Ritzinger, and . Lafon, Web services choreography description language version 1.0, 2004.

R. Khalaf, Supporting Business Process Fragmentation While Maintaining Operational Semantics : A BPEL Perspective, 2008.

[. Khalaf, O. Kopp, and F. Leymann, MAINTAINING DATA DEPENDENCIES ACROSS BPEL PROCESS FRAGMENTS, International Journal of Cooperative Information Systems, vol.17, issue.03, pp.259-282, 2008.
DOI : 10.1023/B:DAPD.0000045366.15607.67

URL : http://www.iaas.uni-stuttgart.de/institut/mitarbeiter/kopp/INPROC-2007-40%20-%20Maintaining%20Data%20Dependencies%20Across%20BPEL%20Process%20Fragments.pdf

R. Khalaf and F. 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

R. Khalaf and F. Leymann, Coordination for fragmented loops and scopes in a distributed business process, In BPM, pp.178-194, 2010.

K. L. Ryan, S. S. Ko, E. Lee, and . Lee, Business process management (bpm) standards : A survey, Business Process Management journal, vol.15, issue.5, 2009.

M. Kps06-]-raman-kazhamiakin, L. Pistore, and . Santuari, Analysis of communication models in web service compositions, pp.267-276, 2006.

M. [. Kowalski and . Sergot, A logic-based calculus of events, New generation Computing, vol.4, issue.1, 1986.

[. Kiepuszewski, A. H. Ter-hofstede, and C. Bussler, On Structured Workflow Modelling, CAiSE, pp.431-445, 2000.
DOI : 10.1007/3-540-45140-4_29

M. Koshkina and F. Van-breugel, Modelling and verifying web service orchestration by means of the concurrency workbench, ACM SIGSOFT Software Engineering Notes, vol.29, issue.5, pp.1-10, 2004.
DOI : 10.1145/1022494.1022526

G. [. Lazcano, C. Alonso, C. Schuler, and . Schuler, The wise approach to electronic commerce, special issue on Flexible Workflow Technology Driving the Networked Economy, 2000.

]. F. Ley01 and . Leymann, Web services flow language. version 1.0, Technical Report, International Business Machines Corporation (IBM), 2001.

[. Pavão and L. , Étude et applications de l ?approche MDA pour des plates-formes de Services Web, 2005.

F. Leymann and D. Roller, Production workflow : concepts and techniques, 2000.

A. Mohan, G. Alonso, C. Mohan, R. Gunthor, D. Agrawal et al., Exotica/fmqm : A persistent message-based architecture for distributed workflow management, pp.1-18, 1995.

P. Merz, B. Freislebenmil80, and ]. R. Milner, Greedy and local search heuristics for unconstrained binary quadratic programming A calculus of communicating systems, Journal of Heuristics, vol.8, issue.2, pp.197-213, 1980.
DOI : 10.1023/A:1017912624016

[. Mitra, R. Kumar, and S. Basu, Optimum Decentralized Choreography for Web Services Composition, 2008 IEEE International Conference on Services Computing, pp.395-402, 2008.
DOI : 10.1109/SCC.2008.82

[. Mitra, R. Kumar, and S. Basu, A Framework for Optimal Decentralized Service-Choreography, 2009 IEEE International Conference on Web Services, pp.493-500, 2009.
DOI : 10.1109/ICWS.2009.71

[. Montagut, R. Molva, and S. T. Golega, The Pervasive Workflow: A Decentralized Workflow System Supporting Long-Running Transactions, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews), vol.38, issue.3, pp.319-333, 2008.
DOI : 10.1109/TSMCC.2008.919184

[. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, I, Information and Computation, vol.100, issue.1, pp.1-40, 1992.
DOI : 10.1016/0890-5401(92)90008-4

[. Mahbub and G. Spanoudakis, Run-time monitoring of requirements for systems composed of Web-services: initial implementation and evaluation experience, IEEE International Conference on Web Services (ICWS'05), pp.257-265, 2005.
DOI : 10.1109/ICWS.2005.100

[. Milner, M. Tofte, and D. Macqueen, The Definition of Standard ML, 1997.

]. S. Nak02 and . Nakajima, Verification of web service flows with model-checking techniques, CW, pp.378-385, 2002.

P. Michael and . Papazoglou, Web services and business transactions, World Wide Web, vol.6, issue.10, pp.49-911022308532661, 1023.

C. Peltz, Web services orchestration and choreography, Computer, vol.36, issue.10, pp.46-52, 2003.
DOI : 10.1109/MC.2003.1236471

A. Polyvyanyy, L. García-bañuelos, and M. Dumas, Structuring acyclic process models, In BPM, pp.276-293, 2010.

]. D. Pla99 and . Platt, Understanding COM+ : the architecture for enterprise development using Microsoft technologies. Developer technology series, 1999.

S. Rampacek, Sémantique, interactions et langages de description des services web complexes, 2006.

[. Rouached, W. Fdhila, and C. Godart, Web Services Compositions Modelling and Choreographies Analysis, International Journal of Web Services Research, vol.7, issue.2, pp.87-110, 2010.
DOI : 10.4018/jwsr.2010040105

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

[. Reichert, S. Rinderle, and P. Dadam, ADEPT Workflow Management System, Proceedings of the 2003 international conference on Business process management , BPM'03, pp.370-379, 2003.
DOI : 10.1007/3-540-44895-0_25

Z. Quan, B. Sheng, M. Benatallah, E. Dumas, and . Oi-yan-mak, Self-serv : A platform for rapid composition of web services in a peer-to-peer environment, pp.1051-1054, 2002.

C. Vugranam, G. R. Sreedhar, Y. Gao, and . Lee, Identifying loops using dj graphs, ACM Trans. Program. Lang. Syst, vol.18, pp.649-658, 1996.

M. Shanahan, Solving the Frame Problem : A Mathematical Investigation of the Common Sense Law of Inertia, 1997.

G. Spanoudakis and K. Mahbub, Requirements monitoring for servicebased systems : Towards a framework based on event calculus, Proceedings of the 19th IEEE international conference on Automated software engineering, pp.379-384, 2004.

W. Sadiq and M. E. 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

W. Sadiq, E. Maria, and . Orlowska, On Business Process Model Transformations, Lecture Notes in Computer Science, pp.267-280, 2000.
DOI : 10.1007/3-540-45393-8_20

[. Sadiq, S. W. Sadiq, and K. Schulz, 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

W. , R. Stevens, . Tcp, and . Ip, ) : the protocols, 1993.

]. S. Str01 and . Stratulat, A general framework to build contextual cover set induction provers, Journal of Symbolic Computation, vol.32, issue.4, pp.403-445, 2001.

[. Schuler, R. Weber, H. Schuldt, and H. J. Schek, Scalable peer-to-peer process management - the OSIRIS approach, Proceedings. IEEE International Conference on Web Services, 2004., pp.26-34, 2004.
DOI : 10.1109/ICWS.2004.1314720

R. Tefan-jablonski, C. Schamburger, S. Hahn, R. Horn, J. Lay et al., [tJSH + 01 A comprehensive investigation of distribution in the context of workflow management, Proceedings of the Eighth International Conference on Parallel and Distributed Systems, p.187, 2001.

M. P. Wil, M. Van-der-aalst, A. H. Dumas, and . Ter-hofstede, Web service composition languages : Old wine in new bottles ?, EUROMICRO '03 : Proceedings of the 29th Conference on EUROMICRO, p.298, 2003.

A. [. Van-der-aalst, B. Ter-hofstede, A. P. Kiepuszewski, and . Barros, Workflow Patterns, Wil van der Aalst and Kees van Hee. Workflow Management : Models, Methods, and Systems (Cooperative Information Systems, pp.5-51, 2003.
DOI : 10.1007/11568322_23

M. P. Wil, M. Van-der-aalst, and . Weske, The p2p approach to interorganizational workflows, CAiSE, pp.140-156, 2001.

]. W3c03a and . W3c, Simple object access protocol (soap) http ://www.w3, 2003.

M. Weske, Business Process Management : Concepts, Languages, Architectures, 2007.
DOI : 10.1007/978-3-642-28616-2

[. Wfmc, Workflow management coalition workflow standard : Process definition interface ? xml process definition language, 2005.

N. Weiler and B. Plattner, Secure Internet based virtual trading communities, Proceedings 7th IEEE Workshop on Future Trends of Distributed Computing Systems, 1999.
DOI : 10.1109/FTDCS.1999.818779

D. [. Woodman, S. K. Palmer, S. M. Shrivastava, and . Wheater, Notations for the specification and verification of composite web services, Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004., pp.35-46, 2004.
DOI : 10.1109/EDOC.2004.1342503

P. Wohed, M. P. Wil, W. M. Van-der-aalst, M. Dumas, and A. H. Ter-hofstede, Analysis of Web Services Composition Languages: The Case of BPEL4WS, Proc. of ER ?03, pp.200-215, 2003.
DOI : 10.1007/978-3-540-39648-2_18

D. Wodtke, J. Weißenfels, G. Weikum, and A. K. Dittrich, The Mentor project: steps towards enterprise-wide workflow management, Proceedings of the Twelfth International Conference on Data Engineering, pp.556-565, 1996.
DOI : 10.1109/ICDE.1996.492206

U. Yildiz and C. Godart, Centralized versus decentralized conversationbased orchestrations, CEC/EEE, pp.289-296, 2007.
DOI : 10.1109/cec-eee.2007.28

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

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

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

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

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

U. Yildiz, Décentralisation des procédés métiers : qualité de services et confidentialité, 2008.

X. Yi and K. Kochut, Web services coordination (ws-coordination) version 1.1. Technical report, OASIS Towards efficient integration of complex web services using a unified model for protocol and process, International Conference on Internet Computing, pp.467-474, 2004.

J. Yao and W. Mao, Smtp extension for internationalized email addresses, Internet RFC, vol.5336, 2008.
DOI : 10.17487/rfc5336

[. Zaha, A. P. Barros, M. Dumas, and A. H. Ter-hofstede, Let???s Dance: A Language for Service Behavior Modeling, OTM Conferences (1), pp.145-162, 2006.
DOI : 10.1007/11914853_10