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, p.26, 2003.

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

L. Bordeaux, G. Salaün, D. Berardi, and M. Mecella, When are two web services compatible? In TES, pp.15-28, 2004.

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

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

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

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

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, pp.84-93, 2004.
DOI : 10.1145/1035167.1035181

E. T. Mueller, Commonsense Reasoning, 2006.

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

J. Ponge, B. Benatallah, F. Casati, and F. Toumani, Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols, ER, 2007.
DOI : 10.1007/978-3-540-75563-0_40

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

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

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