R. 1. Arkin, S. Askary, B. Bloch, and F. Curbera, Web services business process execution language version 2.0, OASIS, 2004.

M. Denecker, L. Missiaen, and M. Bruynooghe, Temporal reasoning with abductive event calculus, Proceedings of the 10th European Conference and Symposium on Logic Programming (ECAI), pp.384-388, 1992.

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

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

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

M. Koshina and F. Van-breugel, Verification of business processes for web services

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

M. S. Mandell and D. J. , Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation, Proc of the 2nd Int. Semantic Web Conf, 2003.
DOI : 10.1007/978-3-540-39718-2_15

A. Martens, Analysis and Re-Engineering of Web Services, ICEIS (3), pp.419-426, 2004.
DOI : 10.1007/1-4020-3675-2_20

S. Mcilraith and T. Son, Adapting golog for composition of semantic web services, Proc of the 8th International Conference on Principles of Knowledge Representation and Reasoning, 2002.

R. Miller and M. Shanahan, The event calculus in classical logic -alternative axiomatisations, 1999.

E. T. Mueller, Event Calculus Reasoning Through Satisfiability, Journal of Logic and Computation, vol.14, issue.5, pp.703-730, 2004.
DOI : 10.1093/logcom/14.5.703
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.5753

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

S. Narayanan and S. A. Mcilraith, Simulation, verification and automated composition of web services, Proceedings of the eleventh international conference on World Wide Web , WWW '02, pp.77-88, 2002.
DOI : 10.1145/511446.511457
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.7506

M. Rouached, O. Perrin, and C. Godart, A Contract-Based Approach for Monitoring Collaborative Web Services Using Commitments in the Event Calculus, Sixth International Conference on Web Information Engineering System (WISE05), pp.426-434, 2005.
DOI : 10.1007/11581062_32
URL : https://hal.archives-ouvertes.fr/inria-00000768

K. Schmidt and C. Stahl, A petri net semantic for BPEL4WS validation and application, Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN 04) / Ekkart Kindler, pp.1-6, 2004.

M. Shanahan and M. Witkowski, Event Calculus Planning Through Satisfiability, Journal of Logic and Computation, vol.14, issue.5, pp.731-745, 2004.
DOI : 10.1093/logcom/14.5.731
URL : http://logcom.oxfordjournals.org/cgi/content/short/14/5/731

W. M. Van-der-aalst, H. T. De-beer, and B. F. Van-dongen, Process Mining and Verification of Properties: An Approach Based on Temporal Logic, In OTM Conferences, issue.1, pp.130-147, 2005.
DOI : 10.1007/11575771_11

P. Yolum and M. P. Singh, Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols, Annals of Mathematics and Artificial Intelligence, vol.42, issue.1-3, pp.227-253, 2004.
DOI : 10.1023/B:AMAI.0000034528.55456.d9