T. Andrews, Business Process Execution Language for Web Services (WSBPEL), BEA Systems, IBM, Microsoft, SAP AG, and Siebel Systems, 2005.

A. Arnold, Finite Transition Systems, International Series in Computer Science, 1994.

M. Autili, P. Inverardi, A. Navarra, and M. Tivoli, SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems, 29th International Conference on Software Engineering (ICSE'07), pp.784-787, 2007.
DOI : 10.1109/ICSE.2007.84

S. Becker, A. Brogi, I. Gorton, S. Overhage, A. Romanovsky et al., Towards an Engineering Approach to Component Adaptation, Architecting Systems with Trustworthy Components, pp.193-215, 2006.
DOI : 10.1145/242224.242420

A. Bracciali, A. Brogi, and C. Canal, A formal approach to component adaptation, Journal of Systems and Software, vol.74, issue.1, pp.45-54, 2005.
DOI : 10.1016/j.jss.2003.05.007

A. Brogi and R. Popescu, Automated Generation of BPEL Adapters, Proc. of ICSOC'06, pp.27-39, 2006.
DOI : 10.1007/11948148_3

J. Cámara, J. A. Martín, G. Salaün, J. Cubo, M. Ouederni et al., ITACA: An integrated toolbox for the automatic composition and adaptation of Web services, 2009 IEEE 31st International Conference on Software Engineering, pp.627-630, 2009.
DOI : 10.1109/ICSE.2009.5070572

C. Canal, P. Poizat, and G. Salaün, Model-Based Adaptation of Behavioral Mismatching Components, IEEE Transactions on Software Engineering, vol.34, issue.4, pp.546-563, 2008.
DOI : 10.1109/TSE.2008.31

J. Cubo, G. Salaün, C. Canal, E. Pimentel, and P. Poizat, A Model-Based Approach to the Verification and Adaptation of WF, Proc. of FACS'07, pp.39-55, 2007.

M. Dumas, M. Spork, and K. Wang, Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation, Proc. of BPM'06, pp.65-80, 2006.
DOI : 10.1007/11841760_6

H. Foster, S. Uchitel, J. Kramer, and . Ltsa-ws, A Tool for Model-based Verification of Web Service Compositions and Choreography, Proc. of ICSE'06, pp.771-774, 2006.

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

J. A. Martín and E. Pimentel, Automatic Generation of Adaptation Contracts, Proc. of FOCLASA'08, pp.115-131, 2009.
DOI : 10.1016/j.entcs.2009.06.032

R. Mateescu, P. Poizat, and G. Salaün, Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques, Proc. of ICSOC'08, pp.84-99, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00341598

F. Plasil and S. Visnovsky, Behavior protocols for software components, IEEE Transactions on Software Engineering, vol.28, issue.11, pp.1056-1076, 2002.
DOI : 10.1109/TSE.2002.1049404

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.9185

G. Salaün, L. Bordeaux, and M. Schaerf, Describing and reasoning on Web Services using Process Algebra, International Journal of Business Process Integration and Management, vol.1, issue.2, pp.116-128, 2006.
DOI : 10.1504/IJBPIM.2006.010025

D. M. Yellin and R. E. Strom, Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems, vol.19, issue.2, pp.292-333, 1997.
DOI : 10.1145/244795.244801