S. .. Bpm-en-mode, Composition de services, p.36

A. [. Burstein and . 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.

A. Arasu, S. Babu, and J. Widom, The CQL continuous query language: semantic foundations and query execution, ACBC08] S. Ayed, N. Cuppens-Boulahia, and F. Cuppens. Managing access and flow control requirements in distributed workflows. Computer Systems and Applications, pp.121-142, 2006.
DOI : 10.1007/s00778-004-0147-z

[. Alonso, F. Casati, H. Kuno, and V. Machiraju, Web services : concepts, architectures and applications, 2003.
DOI : 10.1007/978-3-662-10876-5

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

R. L. Ardissono, A. Furnari, G. Goy, M. Petrone, and . Segnan, Monitoring Choreographed Services, Innovations and Advanced Techniques in Computer and Information Sciences and Engineering, pp.283-288
DOI : 10.1007/978-1-4020-6268-1_51

L. Ardissono, R. Furnari, A. Goy, G. Petrone, and M. Segnan, An Event-Based Model for the Management of Choreographed Services, Commerce and Web Technologies, pp.51-60, 2008.
DOI : 10.1007/978-3-540-85717-4_6

E. Anceaume and I. Puaut, A taxonomy of clock synchronization algorithms, 1997.

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

]. J. Bcf-+-07, B. Biskup, E. Carminati, F. Ferrari, S. Muller et al., Towards secure execution orders for compositeweb services, 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

[. Bea, Domain model for SOA : Realizing the business benefit of service-oriented architecture. white paper, 2005.

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

A. Baouab, W. Fdhila, O. Perrin, and C. Godart, Towards Decentralized Monitoring of Supply Chains, 2012 IEEE 19th International Conference on Web Services, 2012.
DOI : 10.1109/ICWS.2012.13

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

[. Baresi, C. Ghezzi, and S. Guinea, Smart monitors for composed services, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, p.4
DOI : 10.1145/1035167.1035195

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-00011116

P. Bonnet, Cadre de référence web services : Meilleures pratiques. Orchestra Networks, 2005.

A. Baouab, O. Perrin, N. Biri, and C. Godart, Security metaservices orchestration architecture, Services Computing Conference, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00431678

A. Baouab, O. Perrin, and C. Godart, An Event-Driven Approach for Runtime Verification of Inter-organizational Choreographies, 2011 IEEE International Conference on Services Computing, pp.640-647, 2011.
DOI : 10.1109/SCC.2011.55

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

A. Baouab, O. Perrin, and C. Godart, An Optimized Derivation of Event Queries to Monitor Choreography Violations, Service-Oriented Computing (IC- SOC'12, pp.222-236
DOI : 10.1007/978-3-642-34321-6_15

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

A. Baouab, O. Perrin, and C. Godart, Supervision décentralisée des chorégraphies de services, 31ème Congrès INFormatique des ORganisations et Systèmes d'Information et de Décision, 2013.

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

[. Barbon, P. Traverso, M. Pistore, and M. Trainotti, Run-Time Monitoring of Instances and Classes of Web Service Compositions, 2006 IEEE International Conference on Web Services (ICWS'06), pp.63-71, 2006.
DOI : 10.1109/ICWS.2006.113

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.

[. Cortes-cornax, S. Dupuy-chessa, D. Rieu, and M. Dumas, Evaluating choreographies in bpmnÊ2.0 using an extended quality framework, Business Process Model and Notation, volume 95 of Lecture Notes in Business Information Processing, pp.103-117, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00953443

B. Girish, S. Chafle, V. Chandra, M. Mann, W. Nanda et al., Decentralized orchestration of composite web services, Proceedings of the 13th international World Wide Web conference, pp.134-143, 2004.

]. K. Cha06 and . Chandy, Event-Driven Applications : Costs, Benefits and Design Approaches . California Institute of Technology, 2006.

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

T. Crusson and . 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.

S. David, Augmenter la flexibilité de l'entreprise grâce à l'architecture orientée service (soa), 2008.

J. Davis, Open Source Soa, 2009.

[. Duan, A. Bernstein, P. Lewis, and S. Lu, A model for abstract process specification, verification and composition, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, pp.232-241, 2004.
DOI : 10.1145/1035167.1035201

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. Daum, M. Götz, and J. Domaschka, Integrating cep and bpm? how cep realizes functional requirements of bpm applications, 2012.

G. Decker, O. Kopp, F. Leymann, and M. Weske, BPEL4Chor: Extending BPEL for Modeling Choreographies, IEEE International Conference on Web Services (ICWS 2007), pp.296-303, 2007.
DOI : 10.1109/ICWS.2007.59

M. Dumas, A. H. Ter-hofstede-ajantha-dahanayake, R. J. Welke, and G. Cavalheiro, Uml activity diagrams as a workflow specification language Improving the understanding of bam technology for real-time decision support, Int. J. Bus. Inf. Syst, vol.7, pp.76-901, 2001.

A. Fdhila, K. Baouab, C. Dahman, O. Godart, F. Perrin et al., Change Propagation in Decentralized Composite Web Services, Proceedings of the 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing, pp.508-511, 2011.
DOI : 10.4108/icst.collaboratecom.2011.247097

W. Fdhila, Décentralisation optimisée et synchronisation des procédés métiers inter-organisationnels, 2011.

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

A. Francalanza, A. Gauci, and G. Pace, Runtime monitoring of distributed systems (extended abstract), 2010.

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

S. Fdhila, A. Rinderle-ma, O. Baouab, C. Perrin, and . Godart, On evolving partitioned Web Service orchestrations, 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), pp.1-6, 2012.
DOI : 10.1109/SOCA.2012.6449446

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

C. David, P. Fallside, and . Walmsley, Xml schema part 0 : primer second edition. W3C recommendation, 2004.

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

N. Gabsi, Extension et interrogation de résumés de flux de données, 2011.

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

P. Grefen, Towards dynamic interorganizational business process management . Enabling Technologies : Infrastructure for Collaborative Enterprises, 2006.
DOI : 10.1109/wetice.2006.70

I. Guermouche and . Lorraine, Etude des interactions temporisées dans la composition de services Web, 2010.

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

M. Hariati and D. Meslati, Les composants logiciels et la séparation avancée des préoccupations : Vers une nouvelle approche de combinaison, 2008.

B. Hailpern and P. Santhanam, Software debugging, testing, and verification, IBM Systems Journal, vol.41, issue.1, pp.4-12, 2002.
DOI : 10.1147/sj.411.0004

R. [. Halle and . Villemaire, Flexible and reliable messaging using runtime monitoring, 2009 13th Enterprise Distributed Object Computing Conference Workshops, pp.116-125, 2009.
DOI : 10.1109/EDOCW.2009.5332002

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

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.

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes et al., Aspect-oriented programming, ECOOP'97, pp.220-242
DOI : 10.1007/BFb0053381

J. Knowdell, The benefits and disadvantages of contract manufacturing, IQS Newsroom. Industrial Quick Search, 2010.

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

F. Kerschbaum and P. Robinson, Security architecture for virtual organizations of business web services, Journal of Systems Architecture, vol.55, issue.4, 2009.
DOI : 10.1016/j.sysarc.2008.10.001

H. [. Kikuchi, Y. Shimamura, and . Kanna, Monitoring Method of Cross-Sites' Processes Executed by Multiple WS-BPEL Processors, 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.55-64, 2007.
DOI : 10.1109/CEC-EEE.2007.72

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

]. L. Lam78 and . Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.

]. 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.

D. Luckham and R. Schulte, Event processing glossary-version 1.1. Event Processing Technical Society, 2008.

C. David and . Luckham, The power of events, 2002.

C. David and . Luckham, The Power of Events : An Introduction to Complex Event Processing in Distributed Enterprise Systems, 2002.

[. Luckham, A brief overview of the concepts of cep1, 2008.

C. David and . Luckham, Event Processing for Business : Organizing the Real-time Enterprise, 2011.

N. Lohmann and K. Wolf, Realizability Is Controllability, Lecture Notes in Computer Science, vol.6194, 2010.
DOI : 10.1007/978-3-642-14458-5_7

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.

R. Meissonier, Externaliser le système d'information : Décider et manager, Economica, 2006.

]. R. Mil80 and . Milner, A calculus of communicating systems [MM08] Frederic Montagut and Refik Molva. Bridging security and fault management within distributed workflow management systems, IEEE Transactions on Services Computing, pp.205-228, 1980.

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

O. Moser, F. Rosenberg, and S. Dustdar, Event Driven Monitoring for Service Composition Infrastructures, WISE, pp.38-51, 2011.
DOI : 10.1109/EDOC.2009.18

O. Moser, F. Rosenberg, and S. Dustdar, Event Driven Monitoring for Service Composition Infrastructures, 2011.
DOI : 10.1109/EDOC.2009.18

J. Mendling, M. Strembeck, G. Stermsek, and G. Neumann, An approach to extract rbac models from bpel4ws processes. Enabling Technologies, 13th IEEE International Workshops on Enabling Technologies : Infrastructure for Collaborative Enterprises, pp.81-86, 2004.

S. Nakajima, Verification of Web service flows with model-checking techniques, First International Symposium on Cyber Worlds, 2002. Proceedings., pp.378-385, 2002.
DOI : 10.1109/CW.2002.1180904

[. Newcomer, I. Robinson, M. Feingold, and R. Jeyaraman, Web services coordination (ws-coordination) version 1.1, OASIS, 1992.

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.

M. Philippe, Stratégie d'entreprise : copier ou innover, Sciences Humaines , n¡ 183, pp.38-40, 2007.

]. D. Pla99 and . Platt, Understanding COM+ : the architecture for enterprise development using Microsoft technologies. Developer technology series Simplified computation and generalization of the refined process structure tree, PVV11] Artem Polyvyanyy, Jussi Vanhatalo, and Hagen Völzer Proceedings of the 7th international conference on Web services and formal methods, WS-FM'10, 1999.

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

W. Rfg-+-10-]-mohsen-rouached, C. Fdhila, and . Godart, Web services compositions modelling and choreographies analysis, International Journal of Web Services Research, vol.7, issue.2, pp.78-110, 2010.

[. Rudolph, N. Kuntze, and Z. Velikova, Secure Web Service Workflow Execution, Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2009.
DOI : 10.1016/j.entcs.2009.03.013

L. Richardson and S. Ruby, RESTful web services. O'Reilly Media, Incorporated, 2007.

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

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

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

M. [. Saltzer and . Schroeder, The protection of information in computer systems, Proceedings of the IEEE 63, 1975.
DOI : 10.1109/PROC.1975.9939

[. Stefanovic and D. Stefanovic, Supply Chain Business Intelligence: Technologies, Issues and Trends, Artificial Intelligence An International Perspective, 2009.
DOI : 10.1007/s10845-008-0098-0

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

]. S. Stn-+-08, P. Subramanian, N. C. Thiran, G. K. Narendra, Z. Mostefaoui et al., On the enhancement of bpel engines for self-healing composite web services, Applications and the Internet. SAINT 2008. International Symposium on, pp.33-39, 2008.

[. Tibco, Cep -complex event processing ou traitement des événements complexes, 2006.

]. A. Tos09 and . Tost, Planning and handling timeouts in service-oriented environments, IBM WebSphere Developer Technical Journal, 2009.

R. [. Thomas and . Sandhu, Task-based authorization controls (TBAC): a family of models for active and enterprise-oriented authorization management, 1997.
DOI : 10.1007/978-0-387-35285-5_10

[. Taylor, A. Yochem, L. Phillips, and F. Martinez, Event-Driven Architecture : How SOA Enables the Real-Time Enterprise, 2009.

A. Irfan-ul-haq, E. Huqqani, and . Schikuta, Aggregating Hierarchical Service Level Agreements in Business Value Networks, Business Process Management, pp.176-192, 2009.
DOI : 10.1023/A:1016503218569

-. Hauke and . Vagts, Control flow enforcement in workflows in the presence of exceptions, 2007.

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/978-1-4899-7993-3_826-2

J. Vanhatalo, H. Volzer, and F. Leymann, Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition, Service-Oriented Computing Ð ICSOC 2007, 2007.
DOI : 10.1007/978-3-540-74974-5_4

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

Y. [. Wu, S. Diao, and . Rizvi, High-performance complex event processing over streams. SIGMOD, pp.407-418, 2006.

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

P. Windley, Static queries, dynamic data : Enabling the real time web, 2010.

D. Wkk-+-10-]-branimir-wetzstein, O. Karastoyanova, F. Kopp, D. Leymann, and . Zwink, Cross-organizational process monitoring based on service choreographies, Proceedings of the 2010 ACM Symposium on Applied Computing, SAC '10, pp.2485-2490, 2010.

[. Weidlich, A. P. Mendling, and M. Weske, Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition, Lecture Notes in Computer Science, vol.6128, 2010.
DOI : 10.1007/978-3-642-13675-7_6

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

M. Weidlich, H. Ziekow-mendling, O. Günther, M. Weske, and N. Desai, Event-Based Monitoring of Process Execution Violations, Proceedings of the 9th international conference on Business process management, 2011.
DOI : 10.1109/TSC.2010.12

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

[. Yi and K. Kochut, 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

J. M. 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

E. Zimányi, Prototypage d'une application basée sur les architectures orientées évènements : Application à la gestion d'essais cliniques, 2010.