16 3.2.2, p.29 ,
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 ,
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. ,
Advanced workflow patterns, Proceedings of the 7th International Conference on Cooperative Information Systems, CooplS '02, pp.18-29, 2000. ,
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. ,
Coordination technologies for web-services, 2001. ,
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
Knowledge and information distribution leveraged by intelligent agents, Knowledge and Information Systems (KAIS), 2007. ,
Formalizing Web Service Choreographies, Electronic Notes in Theoretical Computer Science, vol.105, pp.73-94, 2004. ,
DOI : 10.1016/j.entcs.2004.05.007
The quadratic assignment problem with a monotone anti-monge and a symmetric toeplitz matrix : Easy and hard cases, IPCO, pp.204-218, 1996. ,
Conversation specification, Proceedings of the twelfth international conference on World Wide Web , WWW '03, pp.403-410, 2003. ,
DOI : 10.1145/775152.775210
Reference model for service oriented architecture 1, 2006. ,
Approche Transactionnelle pour Assurer des Compositions Fiables de Services Web, 2005. ,
URL : https://hal.archives-ouvertes.fr/tel-01746679
Business process execution language for web services (bpel4ws), 2003. ,
Extensible markup language (xml) 1.0 (fifth edition) World Wide Web Consortium, 2008. ,
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
Towards adaptive workflow enactment using multiagent systems, Information Technology and Management, vol.6, issue.1, pp.61-87, 2005. ,
Handling Faults in Decentralized Orchestration of Composite Web Services, ICSOC, pp.410-423, 2005. ,
DOI : 10.1007/11596141_31
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
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
Web services : Why and how, Cor02] Microsoft Corporation. Microsoft biztalk server 2002 enterprise edition, 2001. ,
Bpm :de la modélisation à l ?exécution positionnement par rapport aux architectures orientées services, 2003. ,
Little-JIL/Juliette, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.754-757, 2000. ,
DOI : 10.1145/337180.337623
Canevas pour la composition de services web avec propriétés transactionnelles, 2007. ,
Process innovation : reengineering work through information technology, 1993. ,
Service-oriented design : A multiviewpoint approach, Int. J. Cooperative Inf. Syst, vol.13, issue.4, pp.337-368, 2004. ,
Semantics and analysis of business process models in bpmn, Information & Software Technology, vol.50, issue.12, pp.1281-1294, 2008. ,
Intergiciel et Construction d'Applications Réparties, Creative Commons, vol.3, pp.77-101, 2007. ,
Similarity search of business process models, IEEE Data Eng. Bull, vol.32, issue.3, pp.23-28, 2009. ,
UML Activity Diagrams as a Workflow Specification Language, pp.76-90, 2001. ,
DOI : 10.1007/3-540-45441-1_7
Web services, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, pp.242-251, 2004. ,
DOI : 10.1145/1035167.1035202
Model-based verification of Web service compositions, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., 2003. ,
DOI : 10.1109/ASE.2003.1240303
Compatibility verification for Web service choreography, Proceedings. IEEE International Conference on Web Services, 2004., p.738, 2004. ,
DOI : 10.1109/ICWS.2004.1314806
La Découverte de Workflow Transactionnel pour la Fiabilisation des Exécutions, 2006. ,
Crossflow : Cross-organizational workflow management in dynamic virtual enterprises, 2000. ,
Tabu search, 1997. ,
URL : https://hal.archives-ouvertes.fr/hal-01389283
Les processus métiers : Concepts, modèles et systèmes, 2009. ,
A petri net-based model for web service composition, ADC '03 : Proceedings of the 14th Australasian database conference, pp.191-200, 2003. ,
Modeling languages and tools : state of the art, 2000. ,
Assignment Problems and the Location of Economic Activities, Econometrica, vol.25, issue.1, pp.53-76, 1957. ,
DOI : 10.2307/1907742
Web services choreography description language version 1.0, 2004. ,
Supporting Business Process Fragmentation While Maintaining Operational Semantics : A BPEL Perspective, 2008. ,
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
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
Coordination for fragmented loops and scopes in a distributed business process, In BPM, pp.178-194, 2010. ,
Business process management (bpm) standards : A survey, Business Process Management journal, vol.15, issue.5, 2009. ,
Analysis of communication models in web service compositions, pp.267-276, 2006. ,
A logic-based calculus of events, New generation Computing, vol.4, issue.1, 1986. ,
On Structured Workflow Modelling, CAiSE, pp.431-445, 2000. ,
DOI : 10.1007/3-540-45140-4_29
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
The wise approach to electronic commerce, special issue on Flexible Workflow Technology Driving the Networked Economy, 2000. ,
Web services flow language. version 1.0, Technical Report, International Business Machines Corporation (IBM), 2001. ,
Étude et applications de l ?approche MDA pour des plates-formes de Services Web, 2005. ,
Production workflow : concepts and techniques, 2000. ,
Exotica/fmqm : A persistent message-based architecture for distributed workflow management, pp.1-18, 1995. ,
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
Optimum Decentralized Choreography for Web Services Composition, 2008 IEEE International Conference on Services Computing, pp.395-402, 2008. ,
DOI : 10.1109/SCC.2008.82
A Framework for Optimal Decentralized Service-Choreography, 2009 IEEE International Conference on Web Services, pp.493-500, 2009. ,
DOI : 10.1109/ICWS.2009.71
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
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
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
The Definition of Standard ML, 1997. ,
Verification of web service flows with model-checking techniques, CW, pp.378-385, 2002. ,
Web services and business transactions, World Wide Web, vol.6, issue.10, pp.49-911022308532661, 1023. ,
Web services orchestration and choreography, Computer, vol.36, issue.10, pp.46-52, 2003. ,
DOI : 10.1109/MC.2003.1236471
Structuring acyclic process models, In BPM, pp.276-293, 2010. ,
Understanding COM+ : the architecture for enterprise development using Microsoft technologies. Developer technology series, 1999. ,
Sémantique, interactions et langages de description des services web complexes, 2006. ,
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
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
Self-serv : A platform for rapid composition of web services in a peer-to-peer environment, pp.1051-1054, 2002. ,
Identifying loops using dj graphs, ACM Trans. Program. Lang. Syst, vol.18, pp.649-658, 1996. ,
Solving the Frame Problem : A Mathematical Investigation of the Common Sense Law of Inertia, 1997. ,
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. ,
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
On Business Process Model Transformations, Lecture Notes in Computer Science, pp.267-280, 2000. ,
DOI : 10.1007/3-540-45393-8_20
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
) : the protocols, 1993. ,
A general framework to build contextual cover set induction provers, Journal of Symbolic Computation, vol.32, issue.4, pp.403-445, 2001. ,
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
[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. ,
Web service composition languages : Old wine in new bottles ?, EUROMICRO '03 : Proceedings of the 29th Conference on EUROMICRO, p.298, 2003. ,
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
The p2p approach to interorganizational workflows, CAiSE, pp.140-156, 2001. ,
Simple object access protocol (soap) http ://www.w3, 2003. ,
Business Process Management : Concepts, Languages, Architectures, 2007. ,
DOI : 10.1007/978-3-642-28616-2
Workflow management coalition workflow standard : Process definition interface ? xml process definition language, 2005. ,
Secure Internet based virtual trading communities, Proceedings 7th IEEE Workshop on Future Trends of Distributed Computing Systems, 1999. ,
DOI : 10.1109/FTDCS.1999.818779
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
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
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
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
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
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
Décentralisation des procédés métiers : qualité de services et confidentialité, 2008. ,
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. ,
Smtp extension for internationalized email addresses, Internet RFC, vol.5336, 2008. ,
DOI : 10.17487/rfc5336
Let???s Dance: A Language for Service Behavior Modeling, OTM Conferences (1), pp.145-162, 2006. ,
DOI : 10.1007/11914853_10