L. De-alfaro and &. T. Henzinger, Interface Automata, Proc. of ESEC/FSE'01, pp.109-120, 2001.

T. Andrews, Business Process Execution Language for Web Services (WSBPEL) BEA Systems, 2005.

M. Autili, P. Di-benedetto, and &. P. Inverardi, Context-Aware Adaptive Services: The PLASTIC Approach, Proc. of FASE'09, pp.124-139, 2009.
DOI : 10.1007/978-3-642-00593-0_9

S. Basu, F. Casati, and &. F. Daniel, Web Service Dependency Discovery Tool for SOA Management, IEEE International Conference on Services Computing (SCC 2007), pp.684-685, 2007.
DOI : 10.1109/SCC.2007.130

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

P. Braione and &. G. Picco, On Calculi for Context-Aware Coordination, Proc. of COORDINA- TION'04, pp.38-54, 2004.
DOI : 10.1016/0304-3975(92)90182-F

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, J. M. Murillo, and &. P. Poizat, Software Adaptation, L'objet, vol.12, issue.1, 2006.
DOI : 10.3166/objet.12.1.9-31
URL : https://hal.archives-ouvertes.fr/hal-00342014

J. Cubo, C. Canal, E. Pimentel, and &. G. Salaün, A formal model and composition language for context-aware service protocols, Proceedings of the first international workshop on Context-aware software technology and applications, CASTA '09, pp.17-20, 2009.
DOI : 10.1145/1595768.1595775

J. Cubo, G. Salaün, J. Cámara, C. Canal, and &. E. Pimentel, Context-Based Adaptation of Component Behavioural Interfaces, Proc. of COORDINATION'07, pp.305-323, 2007.
DOI : 10.1007/978-3-540-72794-1_17

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

A. K. Dey and &. G. Abowd, Towards a Better Understanding of Context and Context-Awareness, Proc. of Workshop on the What, Who, Where, When and How of Context-Awareness, pp.304-307, 2000.

S. Kouadri and &. B. Hirsbrunner, Towards a Context-Based Service Composition Framework, Proc. of ICWS'03, pp.42-45, 2003.

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

R. Milner, Communicating and Mobile Systems: The Pi-Calculus, 1999.

R. Milner, J. Parrow, and &. D. Walker, Modal logics for mobile processes, Theoretical Computer Science, vol.114, issue.1, pp.149-171, 1993.
DOI : 10.1016/0304-3975(93)90156-N

M. Mrissa, C. Ghedira, D. Benslimane, Z. Maamar, F. Rosenberg et al., A context-based mediation approach to compose semantic Web services, ACM Transactions on Internet Technology, vol.8, issue.1, pp.1-4, 2007.
DOI : 10.1145/1294148.1294152

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

M. Vukovic, Context Aware Service Composition, 2007.

S. Yan, J. Wang, C. Liu, and &. L. Liu, An Approach to Discover Dependencies between Service Operations, Journal of Software, vol.3, issue.9, pp.36-43, 2008.
DOI : 10.4304/jsw.3.9.36-43

D. M. 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