]. C. Canal, P. Poizat, and G. , Salaün, Model-based adaptation of behavioural mismatching components, IEEE Transactions on Software Engineering, vol.4, pp.546-563, 2008.

D. Yellin and R. 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

A. Brogi and R. Popescu, Automated Generation of BPEL Adapters, Proceedings of the 4th International Conference on Service-Oriented Computing (ICSOC '06), pp.27-39, 2006.
DOI : 10.1007/11948148_3

M. Autili, P. Inverardi, A. Navarra, M. Tivoli, and . Synthe-sis, 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

H. Nezhad, B. Benatallah, A. Martens, F. Curbera, and F. Casati, Semi-automated adaptation of service interactions, Proceedings of the 16th International Conference on the World Wide Web, pp.993-1002, 2007.

A. Bracciali, A. Brogi, and C. , 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

M. Dumas, M. Spork, and K. Wang, Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation, Proceedings of the Fourth International Conference on Business Process Management (BPM'06), pp.65-80, 2006.
DOI : 10.1007/11841760_6

J. Cámara, G. Salaün, C. Canal, and M. Ouederni, Interactive specification and verification of behavioural adaptation contracts, Proceedings of the 9th International Conference on Quality Software (QSIC'09), pp.65-75, 2009.

R. Mateescu, P. Poizat, and G. Salaün, Adaptation of service protocols using process algebra and on-the-fly reduction techniques, Proceedings of the 6th International Conference on Service-Oriented Computing (ICSOC '08), volume 5364 of Lecture Notes in Computer Science, pp.84-99
URL : https://hal.archives-ouvertes.fr/inria-00341598

M. Hennessy, H. Lin, and S. Bisimulations, Symbolic bisimulations, Theoretical Computer Science, vol.138, issue.2, pp.353-389, 1995.
DOI : 10.1016/0304-3975(94)00172-F
URL : http://doi.org/10.1016/0304-3975(94)00172-f

R. Milner, J. Parrow, and D. Walker, Modal logics for mobile processes, Modal Logics for Mobile Processes, pp.149-171, 1993.
DOI : 10.1016/0304-3975(93)90156-N

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

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

H. Foster, S. Uchitel, J. Kramer, and . Ltsa-ws, A Tool for Model-based Verification of Web Service Compositions and Choreography, Proceedings of the 28th International Conference on Software Engineering (ICSE '06), pp.771-774, 2006.

J. Cubo, G. Salaün, C. Canal, E. Pimentel, and P. Poizat, A Model-Based Approach to the Verification and Adaptation of WF, Proceedings of the 4th International Workshop on Formal Aspects of Component Software (FACS '07), Electronic Notes in Theoretical Computer Science, pp.39-55, 2007.

N. A. Lynch and M. R. Tuttle, An introduction to input/output automata, CWI Quarterly, vol.2, pp.219-246, 1989.

F. Arbab, C. Baier, J. J. Rutten, and M. Sirjani, Modeling Component Connectors in Reo by Constraint Automata, Electronic Notes in Theoretical Computer Science, vol.97, pp.97-122, 2004.
DOI : 10.1016/j.entcs.2004.04.028

S. Meng and F. Arbab, Web services choreography and orchestration in Reo and constraint automata, Proceedings of the 2007 ACM symposium on Applied computing , SAC '07, pp.346-353, 2007.
DOI : 10.1145/1244002.1244085

H. R. Nezhad, G. Y. Xu, and B. Benatallah, Protocol-aware Matching of Web Service Interfaces for Adapter Development, Proc. of the 19th International Conference on World Wide Web (WWW'10, pp.731-740, 2010.

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

P. Poizat and G. Salaün, Adaptation of Open Component-Based Systems, Proceedings of the 9th IFIP International Conference on Formal Methods for Open Object- Based Distributed Systems (FMOODS'07), pp.141-156, 2007.
DOI : 10.1145/244795.244801
URL : https://hal.archives-ouvertes.fr/hal-00342160

G. Salaün, Generation of Service Wrapper Protocols from Choreography Specifications, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.313-322, 2008.
DOI : 10.1109/SEFM.2008.42

M. Ouederni and G. Salaün, Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability, Proceedings of the First International Workshop on Component and Service Interoperability (WCSI'10), pp.57-70, 2010.
DOI : 10.4204/EPTCS.37.5
URL : https://hal.archives-ouvertes.fr/inria-00539099

T. Pedersen, S. Patwardhan, and J. Michelizzi, Word- Net::Similarity -Measuring the Relatedness of Concepts, Proc. of AAAI'04, pp.1024-1025

M. Ouederni, G. Salaün, and E. Pimentel, Measuring the Compatibility of Service Interaction Protocols (ITI 4-10), Available on Meriem Ouederni's Web Page, 2010.

J. Cámara, G. Salaün, and C. , Composition and Runtime Adaptation of Mismatching Behavioural Interfaces, Journal of Universal Computer Science, vol.14, pp.2182-2211, 2008.

D. Giannakopoulou and K. Havelund, Automata-based verification of temporal properties on running programs, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp.412-416, 2001.
DOI : 10.1109/ASE.2001.989841

P. Inverardi, L. Mostarda, M. Tivoli, and M. Autili, Synthesis of Correct and Distributed Adaptors for Componentbased Systems: An Automatic Approach, Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE'05), pp.405-409, 2005.

E. Rahm and P. Bernstein, A survey of approaches to automatic schema matching, The VLDB Journal, vol.10, issue.4, pp.334-350, 2001.
DOI : 10.1007/s007780100057

S. Nejati, M. Sabetzadeh, M. Chechik, S. Easterbrook, and P. Zave, Matching and Merging of Statecharts Specifications, 29th International Conference on Software Engineering (ICSE'07), pp.54-64, 2007.
DOI : 10.1109/ICSE.2007.50