Composition de services, p.36 ,
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. ,
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
Web services : concepts, architectures and applications, 2003. ,
DOI : 10.1007/978-3-662-10876-5
Coordination technologies for web-services, 2001. ,
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
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
A taxonomy of clock synchronization algorithms, 1997. ,
Knowledge and information distribution leveraged by intelligent agents, Knowledge and Information Systems, 2007. ,
Towards secure execution orders for compositeweb services, 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
Domain model for SOA : Realizing the business benefit of service-oriented architecture. white paper, 2005. ,
Conversation specification, Proceedings of the twelfth international conference on World Wide Web , WWW '03, pp.403-410, 2003. ,
DOI : 10.1145/775152.775210
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
Smart monitors for composed services, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, p.4 ,
DOI : 10.1145/1035167.1035195
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-00011116
Cadre de référence web services : Meilleures pratiques. Orchestra Networks, 2005. ,
Security metaservices orchestration architecture, Services Computing Conference, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00431678
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
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
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. ,
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
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
Towards adaptive workflow enactment using multiagent systems, Information Technology and Management, vol.6, issue.1, pp.61-87, 2005. ,
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
Decentralized orchestration of composite web services, Proceedings of the 13th international World Wide Web conference, pp.134-143, 2004. ,
Event-Driven Applications : Costs, Benefits and Design Approaches . California Institute of Technology, 2006. ,
Web services : Why and how, 2001. [Cor02] Microsoft Corporation. Microsoft biztalk server 2002 enterprise edition, 2002. ,
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. ,
Augmenter la flexibilité de l'entreprise grâce à l'architecture orientée service (soa), 2008. ,
Open Source Soa, 2009. ,
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
Similarity search of business process models, IEEE Data Eng. Bull, vol.32, issue.3, pp.23-28, 2009. ,
Integrating cep and bpm? how cep realizes functional requirements of bpm applications, 2012. ,
BPEL4Chor: Extending BPEL for Modeling Choreographies, IEEE International Conference on Web Services (ICWS 2007), pp.296-303, 2007. ,
DOI : 10.1109/ICWS.2007.59
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. ,
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
Décentralisation optimisée et synchronisation des procédés métiers inter-organisationnels, 2011. ,
Web services, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, pp.242-251, 2004. ,
DOI : 10.1145/1035167.1035202
Runtime monitoring of distributed systems (extended abstract), 2010. ,
Model-based verification of Web service compositions, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., 2003. ,
DOI : 10.1109/ASE.2003.1240303
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
Compatibility verification for Web service choreography, Proceedings. IEEE International Conference on Web Services, 2004., p.738, 2004. ,
DOI : 10.1109/ICWS.2004.1314806
Xml schema part 0 : primer second edition. W3C recommendation, 2004. ,
La Découverte de Workflow Transactionnel pour la Fiabilisation des Exécutions, 2006. ,
Extension et interrogation de résumés de flux de données, 2011. ,
Les processus métiers : Concepts, modèles et systèmes, 2009. ,
Towards dynamic interorganizational business process management . Enabling Technologies : Infrastructure for Collaborative Enterprises, 2006. ,
DOI : 10.1109/wetice.2006.70
Etude des interactions temporisées dans la composition de services Web, 2010. ,
A petri net-based model for web service composition, ADC '03 : Proceedings of the 14th Australasian database conference, pp.191-200, 2003. ,
Les composants logiciels et la séparation avancée des préoccupations : Vers une nouvelle approche de combinaison, 2008. ,
Software debugging, testing, and verification, IBM Systems Journal, vol.41, issue.1, pp.4-12, 2002. ,
DOI : 10.1147/sj.411.0004
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
Web services choreography description language version 1.0, 2004. ,
Business process management (bpm) standards : A survey, Business Process Management journal, vol.15, issue.5, 2009. ,
Aspect-oriented programming, ECOOP'97, pp.220-242 ,
DOI : 10.1007/BFb0053381
The benefits and disadvantages of contract manufacturing, IQS Newsroom. Industrial Quick Search, 2010. ,
Analysis of communication models in web service compositions, pp.267-276, 2006. ,
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
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
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
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,
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. ,
Event processing glossary-version 1.1. Event Processing Technical Society, 2008. ,
The power of events, 2002. ,
The Power of Events : An Introduction to Complex Event Processing in Distributed Enterprise Systems, 2002. ,
A brief overview of the concepts of cep1, 2008. ,
Event Processing for Business : Organizing the Real-time Enterprise, 2011. ,
Realizability Is Controllability, Lecture Notes in Computer Science, vol.6194, 2010. ,
DOI : 10.1007/978-3-642-14458-5_7
Exotica/fmqm : A persistent message-based architecture for distributed workflow management, pp.1-18, 1995. ,
Externaliser le système d'information : Décider et manager, Economica, 2006. ,
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. ,
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
Event Driven Monitoring for Service Composition Infrastructures, WISE, pp.38-51, 2011. ,
DOI : 10.1109/EDOC.2009.18
Event Driven Monitoring for Service Composition Infrastructures, 2011. ,
DOI : 10.1109/EDOC.2009.18
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. ,
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
Web services coordination (ws-coordination) version 1.1, OASIS, 1992. ,
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. ,
Stratégie d'entreprise : copier ou innover, Sciences Humaines , n¡ 183, pp.38-40, 2007. ,
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é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.78-110, 2010. ,
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
RESTful web services. O'Reilly Media, Incorporated, 2007. ,
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=10.1.1.92.737
On Business Process Model Transformations, Lecture Notes in Computer Science, pp.267-280, 2000. ,
DOI : 10.1007/3-540-45393-8_20
The protection of information in computer systems, Proceedings of the IEEE 63, 1975. ,
DOI : 10.1109/PROC.1975.9939
Supply Chain Business Intelligence: Technologies, Issues and Trends, Artificial Intelligence An International Perspective, 2009. ,
DOI : 10.1007/s10845-008-0098-0
) : the protocols, 1993. ,
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. ,
Cep -complex event processing ou traitement des événements complexes, 2006. ,
Planning and handling timeouts in service-oriented environments, IBM WebSphere Developer Technical Journal, 2009. ,
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
Event-Driven Architecture : How SOA Enables the Real-Time Enterprise, 2009. ,
Aggregating Hierarchical Service Level Agreements in Business Value Networks, Business Process Management, pp.176-192, 2009. ,
DOI : 10.1023/A:1016503218569
Control flow enforcement in workflows in the presence of exceptions, 2007. ,
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/978-1-4899-7993-3_826-2
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
Simple object access protocol (soap) http ://www.w3, 2003. ,
High-performance complex event processing over streams. SIGMOD, pp.407-418, 2006. ,
Business Process Management : Concepts, Languages, Architectures, 2007. ,
DOI : 10.1007/978-3-642-28616-2
Static queries, dynamic data : Enabling the real time web, 2010. ,
Cross-organizational process monitoring based on service choreographies, Proceedings of the 2010 ACM Symposium on Applied Computing, SAC '10, pp.2485-2490, 2010. ,
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
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
Event-Based Monitoring of Process Execution Violations, Proceedings of the 9th international conference on Business process management, 2011. ,
DOI : 10.1109/TSC.2010.12
Décentralisation des procédés métiers : qualité de services et confidentialité, 2008. ,
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
Prototypage d'une application basée sur les architectures orientées évènements : Application à la gestion d'essais cliniques, 2010. ,