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

N. K. Cicekli and Y. Yildirim, Formalizing Workflows Using the Event Calculus, DEXA, 2000.
DOI : 10.1007/3-540-44469-6_21

K. Mahbub and G. Spanoudakis, A framework for requirents monitoring of service based systems, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, 2004.
DOI : 10.1145/1035167.1035181

A. K. Bandara, E. C. Lupu, and A. Russo, Using event calculus to formalise policy specification and analysis Policies for Distributed Systems and Networks, IEEE International Workshop on, vol.0, p.26, 2003.

K. Gaaloul, E. Zahoor, F. Charoy, and C. Godart, Dynamic Authorisation Policies for Event-Based Task Delegation, CAiSE, 2010.
DOI : 10.1007/978-3-642-13094-6_12

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

W. Fdhila, M. Rouached, and C. Godart, Communications Semantics for WSBPEL Processes, 2008 IEEE International Conference on Web Services, pp.185-194, 2008.
DOI : 10.1109/ICWS.2008.55

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

R. A. Kowalski and M. J. Sergot, A logic-based calculus of events, New Generation Computing, vol.10, issue.No. 2, pp.67-95, 1986.
DOI : 10.1007/BF03037383

E. Zahoor, O. Perrin, and C. Godart, An Integrated Declarative Approach to Web Services Composition and Monitoring, WISE, pp.247-260, 2009.
DOI : 10.1007/978-3-642-04409-0_28

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

S. A. Mcilraith and T. C. Son, Adapting golog for composition of semantic web services, KR, 2002.

B. Medjahed, A. Bouguettaya, and A. K. Elmagarmid, Composing Web services on the Semantic Web, The VLDB Journal The International Journal on Very Large Data Bases, vol.12, issue.4, 2003.
DOI : 10.1007/s00778-003-0101-5

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

J. Rao and X. Su, A Survey of Automated Web Service Composition Methods, SWSWPC, 2004.
DOI : 10.1007/978-3-540-30581-1_5

D. A. Quartel, M. W. Steen, S. Pokraev, and M. Van-sinderen, COSMO: A conceptual framework for service modelling and refinement, Information Systems Frontiers, vol.V, issue.3, pp.225-244, 2007.
DOI : 10.1007/s10796-007-9034-7

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

X. Fu, T. Bultan, and J. Su, Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, pp.621-630, 2004.
DOI : 10.1145/988672.988756

N. Guermouche and C. Godart, Timed Model Checking Based Approach for Web Services Analysis, 2009 IEEE International Conference on Web Services, pp.213-221, 2009.
DOI : 10.1109/ICWS.2009.42

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

R. Dijkman, M. Dumas, and C. Ouyang, Formal semantics and analysis of bpmn process models, 2007.

X. Yi and K. Kochut, A cp-nets-based design and verification framework for web services composition, ICWS, pp.756-760, 2004.

G. Salaün, L. Bordeaux, and M. Schaerf, Describing and reasoning on web services using process algebra, ICWS, p.43, 2004.

Z. Duan, A. J. Bernstein, P. M. 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

F. Barbon, P. Traverso, M. Pistore, and M. Trainotti, Runtime monitoring of instances and classes of web service compositions, ICWS, pp.63-71, 2006.

L. Baresi, S. Guinea, M. Pistore, and M. Trainotti, Dynamo + Astro: An Integrated Approach for BPEL Monitoring, 2009 IEEE International Conference on Web Services, pp.230-237, 2009.
DOI : 10.1109/ICWS.2009.67

D. Ardagna, M. Comuzzi, E. Mussi, B. Pernici, and P. Plebani, PAWS: A Framework for Executing Adaptive Web-Service Processes, IEEE Software, vol.24, issue.6, 2007.
DOI : 10.1109/MS.2007.174

E. Zahoor, O. Perrin, and C. Godart, Rule-Based Semi Automatic Web Services Composition, 2009 Congress on Services, I, pp.805-812, 2009.
DOI : 10.1109/SERVICES-I.2009.77

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

C. Pautasso and G. Alonso, Flexible Binding for Reusable Composition of Web Services, Software Composition, pp.151-166, 2005.
DOI : 10.1007/11550679_12