E. Zahoor, O. Perrin, and C. Godart, DISC: A Declarative Framework for Self-Healing Web Services Composition, 2010 IEEE International Conference on Web Services, 2010.
DOI : 10.1109/ICWS.2010.70
URL : https://hal.archives-ouvertes.fr/inria-00537975

W. M. Van-der-aalst and M. Pesic, DecSerFlow: Towards a Truly Declarative Service Flow Language, The Role of Business Processes in Service Oriented Architectures, 2006.
DOI : 10.1007/11841197_1

M. Pesic and W. M. Van-der-aalst, A Declarative Approach for Flexible Business Processes Management, Business Process Management Workshops, 2006.
DOI : 10.1007/11837862_18

N. Guermouche and C. Godart, Asynchronous Timed Web Service-Aware Choreography Analysis, CAiSE, vol.126, issue.2, 2009.
DOI : 10.1007/978-3-540-75563-0_40
URL : https://hal.archives-ouvertes.fr/inria-00366402

L. Bordeaux, G. Salaün, D. Berardi, and M. Mecella, When are Two Web Services Compatible?, TES, pp.15-28, 2004.
DOI : 10.1007/978-3-540-31811-8_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.464.6884

J. Ponge, B. Benatallah, F. Casati, and F. Toumani, Finegrained compatibility and replaceability analysis of timed web service protocols, 2007.

B. Benatallah, F. Casati, J. Ponge, and F. Toumani, On temporal abstractions of web service protocols, CAiSE Short Paper Proceedings, 2005.

R. Kazhamiakin, P. K. Pandya, and M. Pistore, Representation, Verification, and Computation of Timed Properties in Web, 2006 IEEE International Conference on Web Services (ICWS'06), pp.497-504, 2006.
DOI : 10.1109/ICWS.2006.112

I. Tsamardinos, T. Vidal, and M. E. Pollack, Ctp: A new constraint-based formalism for conditional, temporal planning, Constraints, vol.8, issue.4, pp.365-388, 2003.
DOI : 10.1023/A:1025894003623

D. A. Quartel, R. M. Dijkman, and M. Van-sinderen, Methodological support for service-oriented design with ISDL, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, pp.1-10, 2004.
DOI : 10.1145/1035167.1035169

N. Guermouche and C. Godart, Timed Model Checking Based Approach for Web Services Analysis, 2009 IEEE International Conference on Web Services, 2009.
DOI : 10.1109/ICWS.2009.42
URL : https://hal.archives-ouvertes.fr/inria-00366404

M. Menzel, I. Thomas, C. Meinel, and A. , Security Requirements Specification in Service-Oriented Business Process Management, 2009 International Conference on Availability, Reliability and Security, pp.41-48, 2009.
DOI : 10.1109/ARES.2009.90

D. A. Basin, J. Doser, and T. Lodderstedt, Model driven security, ACM Transactions on Software Engineering and Methodology, vol.15, issue.1, 2006.
DOI : 10.1145/1125808.1125810

D. Z. Garcia and M. B. De-toledo, Ontology-Based Security Policies for Supporting the Management of Web Service Business Processes, 2008 IEEE International Conference on Semantic Computing, 2008.
DOI : 10.1109/ICSC.2008.35

A. R. Souza, B. L. Silva, F. A. Lins, J. C. Damasceno, N. S. Rosa et al., Incorporating Security Requirements into Service Composition: From Modelling to Execution, ICSOC/ServiceWave, 2009.
DOI : 10.1007/978-3-642-10383-4_27

T. Neubauer and J. Heurix, Defining Secure Business Processes with Respect to Multiple Objectives, 2008 Third International Conference on Availability, Reliability and Security, 2008.
DOI : 10.1109/ARES.2008.174

A. Rodríguez, E. Fernández-medina, and M. Piattini, A BPMN Extension for the Modeling of Security Requirements in Business Processes, IEICE Transactions on Information and Systems, vol.90, issue.4, 2007.
DOI : 10.1093/ietisy/e90-d.4.745

S. Chollet and P. Lalanda, Security Specification at Process Level, 2008 IEEE International Conference on Services Computing, pp.165-172, 2008.
DOI : 10.1109/SCC.2008.51
URL : https://hal.archives-ouvertes.fr/hal-00941715

H. Song, Y. Sun, Y. Yin, and S. Zheng, Dynamic Weaving of Security Aspects in Service Composition, 2006 Second IEEE International Symposium on Service-Oriented System Engineering (SOSE'06), 2006.
DOI : 10.1109/SOSE.2006.14

E. Zahoor, O. Perrin, and C. Godart, Mashup Model and Verification Using Mashup Processing Network, Collabo- rateCom2008, 2008.
DOI : 10.1007/978-3-540-93851-4_3
URL : https://hal.archives-ouvertes.fr/inria-00336157

R. A. Kowalski and M. J. Sergot, A logic-based calculus of events, New Generation Comput, vol.4, issue.1, 1986.

K. Gaaloul, E. Zahoor, F. Charoy, and C. Godart, Dynamic Authorisation Policies for Event-Based Task Delegation, CAiSE, pp.135-149, 2010.
DOI : 10.1007/978-3-642-13094-6_12
URL : https://hal.archives-ouvertes.fr/inria-00466220