A. Ankolekar and M. Burstein, DAML-S: Web Service Description for the Semantic Web, 1st International Semantic Web Conference (ISWC), 2002.
DOI : 10.1007/3-540-48005-6_27

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

A. Barros, M. Dumas, and P. Oaks, Critical overview of the Web services choreography description language (ws-cdl), 2005.

D. Berardi, D. Calvanese, G. D. Giacomo, R. Hull, M. Lenzerini et al., Modeling data processes for service specifications in colombo, EMOI- INTEROP CEUR Workshop Proceedings. CEUR-WS.org, 2005.

D. Berardi, D. Calvanese, G. D. Giacomo, R. Hull, and M. Mecella, Automatic composition of Web services in colombo, SEBD, pp.8-15, 2005.

A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo, Formalizing Web Service Choreographies, Electronic Notes in Theoretical Computer Science, vol.105, pp.73-94, 2004.
DOI : 10.1016/j.entcs.2004.05.007

S. Ceri, P. Fraternali, and A. Bongio, Web Modeling Language (WebML): a modeling language for designing Web sites, Computer Networks, vol.33, issue.1-6, pp.1-6137, 2000.
DOI : 10.1016/S1389-1286(00)00040-2

Z. Duan and A. Bernstein, Semantics Based Verification and Synthesis of WSBPEL Abstract Processes, 3rd IEEE International Conference on Web Services, 2004.

D. Fahland, R. , and W. , ASM-based semantics for BPEL: The negative control flow, 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. Fernandez, K. , and C. , Formal verification of WSBPEL business collaborations, 2004.

H. Foster, U. Sebastian, M. Jeff, and K. Jeff, Model-based Verification of Web Service Compositions, ase, 18th IEEE International Conference on Automated Software Engineering (ASE'03), p.152, 2003.

H. Foster and S. Uchitel, Compatibility for Web Service Choreography, 3rd IEEE International Conference on Web Services (ICWS), 2004.

H. Foster and S. Uchitel, Tool support for model-based engineering of Web service compositions, IEEE International Conference on Web Services (ICWS'05), 2005.
DOI : 10.1109/ICWS.2005.119

H. Foster and S. Uchitel, Using a rigorous approach for engineering Web service compositions: a case study, 2005 IEEE International Conference on Services Computing (SCC'05) Vol-1, 2005.
DOI : 10.1109/SCC.2005.105

X. Fu, Formal Specification and Verification of Asynchronously Communicating Web Services, 2004.

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

R. Kazhamiakin, M. Pistore, and L. Santuari, Analysis of communication models in web service compositions, Proceedings of the 15th international conference on World Wide Web , WWW '06, pp.267-276, 2006.
DOI : 10.1145/1135777.1135819

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

J. Magee and J. Kramer, Concurrency: state models & Java programs, 1999.

I. Manolescu, M. Brambilla, S. Ceri, S. Comai, and P. Fraternali, Model-driven design and deployment of service-enabled web applications, ACM Transactions on Internet Technology, vol.5, issue.3, pp.439-479, 2005.
DOI : 10.1145/1084772.1084773

A. Martens, Analyzing Web Service Based Business Processes, Proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering, pp.19-33, 2005.
DOI : 10.1007/978-3-540-31984-9_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.457.8713

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

M. Pistore, M. Roveri, and P. Busetta, Requirements-Driven Verification of Web Services, Electronic Notes in Theoretical Computer Science, vol.105, pp.95-108, 2004.
DOI : 10.1016/j.entcs.2004.05.005

M. Rouached, G. Gaaloul, W. Van-der-aalst, S. Bhiri, G. et al., Web service mining and verification of properties: An approach based on event calculus, Proceedings 14th International Conference on Cooperative Information Systems, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00114023

M. Rouached, G. , and C. , Requirements-driven Verification of WSBPEL Processes, IEEE International Conference on Web Services (ICWS 2007), 2007.
DOI : 10.1109/ICWS.2007.153

R. Seeley, Berners-Lee: Integrate Web services and Semantic Web. Quote from Gartner Web Services and Application Integration conference, 2003.

M. P. Shanahan, The Event Calculus Explained, Lecture Notes in Artificial Intelligence no. 1600, pp.409-430, 1999.
DOI : 10.1016/S0004-3702(96)00033-1

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

S. Stratulat, A General Framework to Build Contextual Cover Set Induction Provers, Journal of Symbolic Computation, vol.32, issue.4, pp.403-445, 2001.
DOI : 10.1006/jsco.2000.0469
URL : https://hal.archives-ouvertes.fr/inria-00100927

F. Van-breugel and M. Koshkina, Models and verification of bpel, 2006.

S. Woodman and D. Palmer, Notations for the specification and verification of composite web services, Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004., 2004.
DOI : 10.1109/EDOC.2004.1342503

Y. Yang, Q. Tan, X. , and Y. , Verifying web services composition based on hierarchical colored petri nets, Proceedings of the first international workshop on Interoperability of heterogeneous information systems , IHIS '05, pp.47-54, 2005.
DOI : 10.1145/1096967.1096977