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

C. Canal, J. M. Murillo, and P. Poizat, Software Adaptation, L'objet, vol.12, issue.1, pp.9-31, 2006.
DOI : 10.3166/objet.12.1.9-31

URL : https://hal.archives-ouvertes.fr/hal-00342014

R. Seguel, R. Eshuis, and P. Grefen, An Overview on Protocol Adaptors for Service Component Integration, BETA Working Paper Series WP, vol.277, 2009.

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

M. Tivoli and P. Inverardi, Failure-free coordinators synthesis for component-based architectures, Science of Computer Programming, vol.71, issue.3, pp.181-212, 2008.
DOI : 10.1016/j.scico.2008.03.001

URL : http://doi.org/10.1016/j.scico.2008.03.001

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

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

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

C. Canal, P. Poizat, and G. Salä-un, 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

A. Marconi and M. Pistore, Synthesis and Composition of Web Services, Proc. of Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication , and Software Systems (SFM'2009), ser, pp.89-157, 2009.
DOI : 10.1007/978-3-642-01918-0_3

P. Bertoli, M. Pistore, and P. Traverso, Automated composition of Web services via planning in asynchronous domains, Artificial Intelligence, vol.174, issue.3-4, pp.316-361, 2010.
DOI : 10.1016/j.artint.2009.12.002

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=

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. of TACAS'11, ser. LNCS, pp.372-387, 2011.
DOI : 10.1007/BFb0054166

URL : https://hal.archives-ouvertes.fr/inria-00583776

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

J. Cámara, G. Salä-un, C. Canal, and M. Ouederni, Interactive Specification and Verification of Behavioural Adaptation Contracts, Proc. of QSIC'09, pp.65-75, 2009.

M. H. Ter-beek, A. Bucchiarone, and S. Gnesi, Formal Methods for Service Composition, Annals of Mathematics, Computing & Teleinformatics, vol.1, issue.5, pp.1-10, 2007.

A. Bucchiarone, H. Melgratti, and F. Severoni, Testing Service Composition, Proc. of ASSE'07, 2007.

X. Fu, T. Bultan, J. Su, G. Salä-un, L. Bordeaux et al., 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

H. Foster, S. Uchitel, and J. Kramer, LTSA-WS, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.771-774, 2006.
DOI : 10.1145/1134285.1134408

J. Cubo, G. Salä-un, C. Canal, E. Pimentel, and P. Poizat, A Model-Based Approach to the Verification and Adaptation of WF/.NET Components, Proc. of FACS'07, ser. ENTCS, pp.39-55, 2007.
DOI : 10.1016/j.entcs.2008.06.020

A. Bertolino, P. Inverardi, P. Pelliccione, and M. Tivoli, Automatic synthesis of behavior protocols for composable web-services, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, pp.141-150, 2009.
DOI : 10.1145/1595696.1595719

URL : https://hal.archives-ouvertes.fr/inria-00415421

M. Hennessy and H. Lin, 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

P. Poizat and J. Royer, A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic, Journal of Universal Computer Science, vol.12, issue.12, pp.1741-1782, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00342156

C. Attiogbé, P. Poizat, and G. Salä-un, A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes, IEEE Transactions on Software Engineering, vol.33, issue.3, pp.157-170, 2007.
DOI : 10.1109/TSE.2007.21

F. Durán, M. Ouederni, and G. Salä-un, Checking Protocol Compatibility using Maude, Proc. of FOCLASA'09
DOI : 10.1016/j.entcs.2009.10.025

L. Bentakouk, P. Poizat, and F. Za¨?diza¨?di, A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems, Proc. of TESTCOM'09, ser. LNCS, pp.16-32, 2009.
DOI : 10.4304/jsw.2.3.64-77

A. Zisman, G. Spanoudakis, and J. Dooley, A Framework for Dynamic Service Discovery, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.158-167, 2008.
DOI : 10.1109/ASE.2008.26

C. A. Hoare, Communicating Sequential Processes LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, ISO, International Standard 8807, 1985.

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

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

C. Canal, P. Poizat, and G. Salä-un, Synchronizing Behavioural Mismatch in Software Composition, Proc. of FMOODS'06, ser. LNCS, pp.63-77, 2006.
DOI : 10.1145/244795.244801

URL : https://hal.archives-ouvertes.fr/hal-00342017

M. J. Fischer and R. E. Ladner, Propositional dynamic logic of regular programs, Journal of Computer and System Sciences, vol.18, issue.2, pp.194-211, 1979.
DOI : 10.1016/0022-0000(79)90046-1

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

H. R. Andersen, Model checking and boolean graphs, Theoretical Computer Science, vol.126, issue.1, pp.3-30, 1994.
DOI : 10.1016/0304-3975(94)90266-6

URL : http://doi.org/10.1016/0304-3975(94)90266-6

D. Kozen, Results on the Propositional ??-Calculus, DAIMI Report Series, vol.11, issue.146, pp.333-354, 1983.
DOI : 10.7146/dpb.v11i146.7420

R. Cleaveland and B. Steffen, A linear-time model-checking algorithm for the alternation-free modal mu-calculus, Formal Methods in System Design, pp.121-147, 1993.

R. Mateescu, 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

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

URL : http://hal.archives-ouvertes.fr/docs/00/07/33/37/PDF/RR-3352.pdf

H. Garavel and F. Lang, SVL: A Scripting Language for Compositional Verification, Proc. FORTE'01, pp.377-392, 2001.
DOI : 10.1007/0-306-47003-9_24

URL : https://hal.archives-ouvertes.fr/inria-00072396

M. G. Nanda, S. Chandra, and V. Sarkar, Decentralizing Execution of Composite Web Services, Proc. of OOPSLA'04, 2004.
DOI : 10.1145/1035292.1028991

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

G. Chafle, S. Chandra, V. Mann, and M. G. Nanda, Orchestrating composite Web services under data flow constraints, IEEE International Conference on Web Services (ICWS'05), 2005.
DOI : 10.1109/ICWS.2005.88

M. Autili, L. Mostarda, A. Navarra, and M. Tivoli, Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems, Proc. of SEFM, pp.2210-2236, 2008.
DOI : 10.1016/j.jss.2008.04.006

M. Bozkurt, M. Harman, and Y. Hassoun, Testing Web Services: A Survey, 2010.

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

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

M. Buchi and W. Weck, The Greybox Approach: When Blackbox Specifications Hide Too Much, Turku Center for Computer Science, 1999.

J. Henriksson, F. Heidenreich, J. Johannes, S. Zschaler, and U. Aßmann, How Dark Should a Component Black-box Be? The Reuseware Answer, Proc. of the 12th International Workshop on Component-Oriented Programming (WCOP'07), 2007.

F. Puntigam, &. White, and N. Grey, On Interfaces, Synchronization , Pragmatics, and Responsibilities, Proc. of the 12th International Workshop on Component-Oriented Programming, 2007.

W. M. Van-der-aalst, A. J. Mooij, C. Stahl, and K. Wolf, Service Interaction: Patterns, Formalization, and Analysis, Proc. of Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM'2009), pp.42-88, 2009.
DOI : 10.1007/978-3-642-01918-0_2

Y. Taher, A. A¨?ta¨?t-bachir, M. Fauvet, and D. Benslimane, Diagnosing Incompatibilities in Web Service Interactions for Automatic Generation of Adapters Composition and Run-time Adaptation of Mismatching Behavioural Interfaces, Proc. of AINA'09, pp.652-659, 2008.

K. Wang, M. Dumas, C. Ouyang, and J. Vayssì-ere, The Service Adaptation Machine, 2008 Sixth European Conference on Web Services, pp.145-154, 2008.
DOI : 10.1109/ECOWS.2008.23

H. R. Motahari-nezhad, B. Benatallah, A. Martens, F. Curbera, and F. Casati, Semi-automated adaptation of service interactions, Proceedings of the 16th international conference on World Wide Web , WWW '07, pp.993-1002, 2007.
DOI : 10.1145/1242572.1242706

O. Moser, F. Rosenberg, and S. Dustdar, Non-intrusive monitoring and service adaptation for WS-BPEL, Proceeding of the 17th international conference on World Wide Web , WWW '08, pp.815-824, 2008.
DOI : 10.1145/1367497.1367607

H. R. Nezhad, G. Y. Xu, and B. Benatallah, Protocol-Aware Matching of Web Service Interfaces for Adapter Development, Proc. of WWW'10, pp.731-740, 2010.

S. Nejati, M. Sabetzadeh, M. Chechik, S. M. 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

W. M. Wonham and P. J. Ramadge, On the Supremal Controllable Sublanguage of a Given Language, SIAM Journal on Control and Optimization, vol.25, issue.3, pp.637-659, 1987.
DOI : 10.1137/0325036

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

A. Vallecillo, V. T. Vasconcelos, and A. Ravara, Typing the Behavior of Objects and Components using Session Types, Electronic Notes in Theoretical Computer Science, vol.68, issue.3, 2003.
DOI : 10.1016/S1571-0661(05)80382-2

A. Brogi, C. Canal, and E. Pimentel, Behavioural Types and Component Adaptation, Proc. of AMAST'04, ser. LNCS, pp.42-56, 2004.
DOI : 10.1007/978-3-540-27815-3_8

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

L. Padovani, Contract-Based Discovery and Adaptation of Web Services, Proc. of SFM'09, ser, pp.213-260, 2009.
DOI : 10.1007/978-3-642-01918-0_6

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