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

M. Baglioni, U. Ferrara, A. Romei, S. Ruggieri, and F. Turini, Use soap-based intermediaries to build chains of web service functionality, 2002.

L. Baresi, C. Ghezzi, and S. Guinea, Smart monitors for composed services, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, pp.193-202, 2004.
DOI : 10.1145/1035167.1035195

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.

S. Dustdar, R. Gombotz, and K. Baina, Web Services Interaction Mining, 2004.

D. Fahland and W. Reisig, ASM-based semantics for BPEL: The negative control flow, Proc. 12th International Workshop on Abstract State Machines, pp.131-151, 2005.

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

J. Fisteus, L. Fernández, and C. Kloos, Formal Verification of BPEL4WS Business Collaborations, Proceedings of the 5th International Conference on Electronic Commerce and Web Technologies, pp.79-94, 2004.
DOI : 10.1007/978-3-540-30077-9_8

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

R. Gombotz and S. Dustdar, On Web Services Mining, First International Workshop on Business Process Intelligence (BPI'05), pp.58-70, 2005.

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

A. Lazovik, M. Aiello, and M. Papazoglou, Associating assertions with business processes and monitoring their execution, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, pp.94-104, 2004.
DOI : 10.1145/1035167.1035182

A. Martens, Analyzing Web Service Based Business Processes, Proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering (FASE 2005), pp.19-33, 2005.
DOI : 10.1007/978-3-540-31984-9_3

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.

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

M. Mühlen and M. Rosemann, Workflow-based process monitoring and controlling-technical and organizational issues, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences, pp.1-10, 2000.
DOI : 10.1109/HICSS.2000.926853

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

C. Ouyang, W. Aalst, S. Breutel, M. Dumas, and H. Verbeek, Formal semantics and analysis of control flow in WS-BPEL, Science of Computer Programming, vol.67, issue.2-3, 2005.
DOI : 10.1016/j.scico.2007.03.002

W. Pauw, M. Lei, E. Pring, L. Villard, M. Arnold et al., Web Services Navigator: Visualizing the execution of Web Services, IBM Systems Journal, vol.44, issue.4, pp.821-845, 2005.
DOI : 10.1147/sj.444.0821

J. Punin, M. Krishnamoorthy, and M. Zaki, Web Usage Mining ??? Languages and Algorithms, Studies in Classification, Data Analysis, and Knowledge Organization, 2001.
DOI : 10.1007/978-3-642-55721-7_28
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.2391

M. Rouached and C. Godart, An event based model for web services coordination, 2nd International Conference on Web Information Systems and Technologies, pp.384-388, 2006.

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

M. Rouached, O. Perrin, and C. Godart, Towards formal verification of web service composition, Forth International Conference on Business Process Management (BPM06), 2006.
URL : https://hal.archives-ouvertes.fr/inria-00114012

A. Rozinat and W. M. Van-der-aalst, Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models, Business Process Management Workshops, pp.163-176, 2005.
DOI : 10.1007/11678564_15

M. Sayal, F. Casati, U. Dayal, and M. Shan, Business Process Cockpit, Proceedings of 28th International Conference on Very Large Data Bases (VLDB'02), pp.880-883, 2002.
DOI : 10.1016/B978-155860869-6/50086-X
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.1248

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

C. Stahl, Transformation von BPEL4WS in Petrinetze (In German) Master's thesis, 2004.

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

W. M. Van-der-aalst, M. Dumas, C. Ouyang, A. Rozinat, and H. Verbeek, Choreography Conformance Checking: An Approach based on BPEL and Petri Nets (extended version), 2005.

W. M. Van-der-aalst and M. Pesic, Specifying, Discovering, and Monitoring Service Flows: Making Web Services Process-Aware, 2006.

W. M. Van-der-aalst, B. Van-dongen, J. Herbst, L. Maruster, G. Schimm et al., Workflow mining: A survey of issues and approaches, Data & Knowledge Engineering, vol.47, issue.2, pp.237-267, 2003.
DOI : 10.1016/S0169-023X(03)00066-1

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