D. Binkley and K. B. Gallagher, Program slicing Advances in Computers, pp.1-50, 1996.

T. Bolognesi and E. Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, vol.14, issue.1, pp.25-59, 1987.
DOI : 10.1016/0169-7552(87)90085-7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.466.7443

M. Koshkina and F. Breugel, Models and verification of bpel, 2006.

J. Cámara, C. Canal, J. Cubo, and A. Vallecillo, Formalizing WSBPEL Business Processes Using Process Algebra, Electronic Notes in Theoretical Computer Science, vol.154, issue.1, pp.159-173, 2006.
DOI : 10.1016/j.entcs.2005.12.038

R. Cleaveland, Concurrency workbench of the new century, 2000.

D. Fahland and W. Reisig, Asm-based semantics for bpel: The negative control flow, Abstract State Machines, pp.131-152, 2005.

D. Andrea, P. Ambrogio, and . Bocciarelli, A model-driven approach to describe and predict the performance of composite services, pp.78-89, 2007.

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.8010

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

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.6785

I. Hofacker and R. Vetschera, Algorithmical approaches to business process design, Computers & Operations Research, vol.28, issue.13, pp.1253-1275, 2001.
DOI : 10.1016/S0305-0548(00)00038-1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.209

J. Gerard and . Holzmann, The SPIN Model Checker : Primer and Reference Manual, 2003.

A. Martens, Simulation and equivalence between bpel process models, 2005.

F. Martin, Refactoring: improving the design of existing code, 1999.

E. Seattle-university-everald and . Mills, Software metrics. (SEI-CM-12-1.1), 1988.

I. Moore, Automatic inheritance hierarchy restructuring and method refactoring, pp.235-250, 1996.
DOI : 10.1145/236337.236361
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.8458

F. William and . Opdyke, Refactoring Object-Oriented Frameworks, 1992.

C. Ouyang, E. Verbeek, M. P. Wil, S. Van-der-aalst, M. Breutel et al., Formal semantics and analysis of control flow in WS-BPEL, Science of Computer Programming, vol.67, issue.2-3, pp.162-198, 2007.
DOI : 10.1016/j.scico.2007.03.002

A. Ratkowski and A. Zalewski, Performance refactoring for service oriented architecture . ISAT '2007: Information Systems Architecture And Technology, 2007.

S. Hinz, K. Schmidt, and C. Stahl, Transforming BPEL to Petri Nets, Proceedings of the BPM 2005, pp.220-235, 2005.
DOI : 10.1007/11538394_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.4950

G. Salaün, L. Bordeaux, and M. Schaerf, Describing and reasoning on web services using process algebra, p.43, 2004.

G. Salaün, A. Ferrara, and A. Chirichiello, Negotiation Among Web Services Using LOTOS/CADP, ECOWS, pp.198-212, 2004.
DOI : 10.1007/978-3-540-30209-4_15

W. Reisig, Modeling- and Analysis Techniques for Web Services and Business Processes, FMOODS 2005. Proceedings, pp.243-258, 2005.
DOI : 10.1142/S0218126698000043
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.2690

Y. Yang, T. Tan, Y. J. Liu, and F. , Transformation BPEL to CP-Nets for Verifying Web Services Composition, International Conference on Next Generation Web Services Practices (NWeSP'05), 2005.
DOI : 10.1109/NWESP.2005.77