A. Arkin, S. Askary, B. Bloch, and F. Curbera, 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
URL : http://doi.org/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

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

H. Foster, J. Kramer, J. Magee, and S. Uchitel, Model-based verification of Web service compositions, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., 2003.
DOI : 10.1109/ASE.2003.1240303

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 (FASE 2005), 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, W. Gaaloul, W. M. Van-der-aalst, S. Bhiri, and C. Godart, 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 and C. Godart, Requirementsdriven verification of wsbpel processes, Proceedings of the IEEE International Conference on Web Services ( ICWS'07). Salt Lake City, 2007.

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

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

Y. Yang, Q. Tan, and Y. Xiao, 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