R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067

M. Autili, M. Flammini, P. Inverardi, A. Navarra, and M. Tivoli, Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems, Proc. of EWSA'06, pp.17-32, 2006.
DOI : 10.1007/11966104_3

T. Barros, R. Boulifa, and E. Madelaine, Parameterized Models for Distributed Java Objects, Proceedings of the 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems FORTE'2004, pp.43-60, 2004.
DOI : 10.1007/978-3-540-30232-2_4
URL : https://hal.archives-ouvertes.fr/inria-00087222

T. Barros, A. Cansado, and E. Madelaine, Model-checking Distributed Components: The Vercors Platform, Proceedings of the 3rd International Workshop on Formal Aspects of Component Software FACS'2006, 2006.
DOI : 10.1016/j.entcs.2006.09.028
URL : https://hal.archives-ouvertes.fr/inria-00091569

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

S. B. Mokhtar, J. Liu, N. Georgantas, and V. Issarny, QoS-aware dynamic service composition in ambient intelligence environments, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.317-320
DOI : 10.1145/1101908.1101959
URL : https://hal.archives-ouvertes.fr/inria-00414943

T. Bolognesi and E. Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, vol.14, issue.1, pp.25-59, 1988.
DOI : 10.1016/0169-7552(87)90085-7

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, C. Canal, and E. Pimentel, Component adaptation through flexible subservicing, Science of Computer Programming, vol.63, issue.1, pp.39-56, 2006.
DOI : 10.1016/j.scico.2005.07.012

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

J. Camara, G. Salaün, and C. Canal, Run-time Composition of Mismatching Transactions, Proc. of SEFM'07, 2007.

C. Canal, P. Poizat, and G. Salaün, Synchronizing Behavioural Mismatch in Software Composition, Proc. of FMOODS'06, pp.63-77, 2006.
DOI : 10.1145/244795.244801
URL : https://hal.archives-ouvertes.fr/hal-00342017

E. Clarke, O. Grumberg, and D. Peled, Model Checking, 2000.

J. Cubo, G. Salaün, C. Canal, E. Pimentel, and P. Poizat, Relating Model-Based Adaptation and Implementation Platforms: A Case Study with WF/.NET 3.0, Proc. of WCOP'07, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00342068

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

X. Fu, T. Bultan, and J. Su, Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, 2004.
DOI : 10.1145/988672.988756

H. Garavel, OPEN/C??SAR: An open software architecture for verification, simulation, and testing, Proc. of TACAS'98, pp.68-84, 1998.
DOI : 10.1007/BFb0054165

H. Garavel, R. Mateescu, F. Lang, and W. Serwe, CADP??2006: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. of CAV'07, pp.158-162, 2007.
DOI : 10.1007/978-3-540-73368-3_18
URL : https://hal.archives-ouvertes.fr/inria-00189021

H. Garavel and W. Serwe, State space reduction for process algebra specifications, Theoretical Computer Science, vol.351, issue.2, pp.131-145, 2006.
DOI : 10.1016/j.tcs.2005.09.064

H. Garavel and J. Sifakis, Compilation and verification of lotos specifications, Proceedings of the 10th International Symposium on Protocol Specification, Testing and Verification, pp.379-394, 1990.

P. Inverardi, L. Mostarda, M. Tivoli, and M. Autili, Synthesis of correct and distributed adaptors for component-based systems, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.405-409, 2005.
DOI : 10.1145/1101908.1101981

P. Inverardi and M. Tivoli, Deadlock-free software architectures for COM/DCOM Applications, Journal of Systems and Software, vol.65, issue.3, pp.173-183, 2003.
DOI : 10.1016/S0164-1212(02)00037-7

R. Mateescu, On-the-fly state space reductions for weak equivalences, Proceedings of the 10th international workshop on Formal methods for industrial critical systems , FMICS '05, pp.80-89, 2005.
DOI : 10.1145/1081180.1081191

R. Mateescu, . Caesar, and . Solve, CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems, International Journal on Software Tools for Technology Transfer, vol.8, issue.1, pp.37-56, 2006.
DOI : 10.1007/s10009-005-0194-9
URL : https://hal.archives-ouvertes.fr/inria-00084628

R. Mateescu and M. Sighireanu, Efficient on-the-fly model-checking for regular alternation-free mu-calculus, Science of Computer Programming, vol.46, issue.3, pp.255-281, 2003.
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/inria-00072755

B. Morel and P. Alexander, Automating component adaptation for reuse, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., pp.142-151, 2003.
DOI : 10.1109/ASE.2003.1240302

I. Mouakher, A. Lanoix, and J. Souquieres, Component Adaptation: Specification and Verification, Proc. of WCOP'06, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00074477

J. Penix and P. Alexander, Efficient specification-based component retrieval, Proc. of ASE'99, pp.139-170, 1999.

P. Poizat and G. Salaün, Adaptation of Open Component-Based Systems, Proc. of FMOODS'07, pp.141-156, 2007.
DOI : 10.1145/244795.244801
URL : https://hal.archives-ouvertes.fr/hal-00342160

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proc. of the IEEE, pp.81-98, 1989.
DOI : 10.1109/5.21072

R. H. Reussner, Automatic component protocol adaptation with the CoConut/J tool suite, Future Generation Computer Systems, vol.19, issue.5, pp.627-639, 2003.
DOI : 10.1016/S0167-739X(02)00173-5

C. Stirling, Modal and Temporal Properties of Processes, 2001.
DOI : 10.1007/978-1-4757-3550-5

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

I. Centre-de-recherche and . Futurs, 4, rue Jacques Monod -Bât. G -91893 Orsay Cedex (France) Centre de recherche INRIA Nancy ? Grand Est : 615, rue du Jardin Botanique -54600 Villers-lès-Nancy (France) Centre de recherche INRIA Rennes ? Bretagne Atlantique : Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Centre de recherche INRIA Paris ? Rocquencourt, Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Centre de recherche INRIA Sophia Antipolis ? Méditerranée : 2004, route des Lucioles -BP 93 -06902 Sophia