B. Mokhtar, S. Preuveneers, D. Georgantas, N. Issarny, V. Berbers et al., EASY: Efficient semAntic Service discoverY in pervasive computing environments with QoS and context support, Journal of Systems and Software, vol.81, issue.5, pp.785-808, 2008.
DOI : 10.1016/j.jss.2007.07.030
URL : https://hal.archives-ouvertes.fr/inria-00415930

B. Mokhtar, S. Raverdy, P. G. Urbieta, A. Speicys-cardoso, and R. , Interoperable semantic & syntactic service matching for ambient computing environments, Proc. 1st International Workshop on Ad-hoc Ambient Computing (AdhocAmC), 2008.

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

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983.
DOI : 10.1145/322374.322380

Y. D. Bromberg and V. Issarny, INDISS: Interoperable Discovery System for Networked Services, Proc. ACM/IFIP/USENIX Middleware Conference, pp.164-183, 2005.
DOI : 10.1007/978-3-540-39800-4_1
URL : https://hal.archives-ouvertes.fr/hal-00353571

K. L. Calvert and S. S. Lam, Formal methods for protocol conversion, IEEE Journal on Selected Areas in Communications, vol.8, issue.1, pp.127-142, 1990.
DOI : 10.1109/49.46852

M. Caporuscio, P. G. Raverdy, H. Moungla, and V. Issarny, ubiSOAP: A Service Oriented Middleware for Seamless Networking, Proc. ICSOC Conference, pp.195-209, 2008.
DOI : 10.1007/11916246_19
URL : https://hal.archives-ouvertes.fr/inria-00415143

L. Cavallaro, E. D. Nitto, and M. Pradella, An Automatic Approach to Enable Replacement of Conversational Services, Proc. ICSOC/ServiceWave Conference, pp.159-174, 2009.
DOI : 10.1007/978-3-642-10383-4_11

D. Chakraborty, A. Joshi, Y. Yesha, and T. W. Finin, Toward Distributed service discovery in pervasive computing environments, IEEE Transactions on Mobile Computing, vol.5, issue.2, pp.97-112, 2006.
DOI : 10.1109/TMC.2006.26

E. Cimpian and A. Mocan, WSMX Process Mediation Based on Choreographies, Proc. Business Process Management Workshop, pp.130-143, 2005.
DOI : 10.1007/11678564_12

J. Euzenat and P. Shvaiko, Ontology matching, 2007.
DOI : 10.1007/978-3-642-38721-0
URL : https://hal.archives-ouvertes.fr/hal-00918122

C. A. Flores-cortés, G. S. Blair, and P. Grace, An Adaptive Middleware to Overcome Service Discovery Heterogeneity in Mobile Ad Hoc Environments, IEEE Distributed Systems Online, vol.8, issue.7, 2007.
DOI : 10.1109/MDSO.2007.41

J. J. Gibson, The ecological approach to visual perception, Houghton Mifflin, 1979.

R. Van-glabbeek, The linear time-branching time spectrum i -the semantics of concrete, sequential processes, Handbook of Process Algebra, pp.3-99, 2001.

M. G. Gouda, E. G. Manning, and Y. T. Yu, On the progress of communication between two finite state machines, Information and Control, vol.63, issue.3, pp.200-216, 1984.
DOI : 10.1016/S0019-9958(84)80014-5

P. Grace, G. Blair, and S. Samuel, A reflective framework for discovery and interaction in heterogeneous mobile environments, ACM SIGMOBILE Mobile Computing and Communications Review, vol.9, issue.1, 2005.
DOI : 10.1145/1055959.1055962

E. Kiciman and A. Fox, Using Dynamic Mediation to Integrate COTS Entities in a Ubiquitous Computing Environment, Proc. 2nd International Symposium on Handheld and Ubiquitous Computing, pp.211-226, 2000.
DOI : 10.1007/3-540-39959-3_16

N. Limam, J. Ziembicki, R. Ahmed, Y. Iraqi, T. Li et al., OSDA: Open service discovery architecture for efficient cross-domain service provisioning, Computer Communications, vol.30, issue.3, pp.546-563, 2007.
DOI : 10.1016/j.comcom.2005.11.017
URL : https://hal.archives-ouvertes.fr/hal-01165443

J. Magee and J. Kramer, Concurrency : State models and Java programs, Hoboken (N.J, p.Wiley, 2006.

R. Masuoka, B. Parsia, and Y. Labrou, Task Computing ??? The Semantic Web Meets Pervasive Computing, Proc. Semantic Web Conference, pp.866-881, 2003.
DOI : 10.1007/978-3-540-39718-2_55

S. A. Mcilraith, T. C. Son, and H. Zeng, Mobilizing the semantic Web with DAMLenabled Web services, p.SemWeb, 2001.

A. L. Murphy, G. P. Picco, and G. C. Roman, LIME, ACM Transactions on Software Engineering and Methodology, vol.15, issue.3, pp.279-328, 2006.
DOI : 10.1145/1151695.1151698

J. Nakazawa, H. Tokuda, W. K. Edwards, and U. Ramachandran, A Bridging Framework for Universal Interoperability in Pervasive Systems, 26th IEEE International Conference on Distributed Computing Systems (ICDCS'06), 2006.
DOI : 10.1109/ICDCS.2006.5

H. R. Nezhad, B. Benatallah, A. Martens, F. Curbera, and F. Casati, Semiautomated adaptation of service interactions, Proc. WWW Conference, pp.993-1002, 2007.

M. Paolucci, T. Kawamura, T. R. Payne, and K. P. Sycara, Semantic Matching of Web Services Capabilities, International Semantic Web Conference, pp.333-347, 2002.
DOI : 10.1007/3-540-48005-6_26

S. Ponnekanti and A. Fox, Interoperability Among Independently Evolving Web Services, Proc. ACM/IFIP/USENIX Middleware Conference, pp.331-351, 2004.
DOI : 10.1007/BFb0053382
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.4840

M. Román, R. H. Campbell, and F. Kon, Reflective middleware: From your desk to your hand, IEEE Distributed Systems Online, vol.2, issue.5, 2001.

S. Singh, S. Puradkar, and Y. Lee, Ubiquitous computing: connecting Pervasive computing through Semantic Web, Information Systems and e-Business Management, vol.8, issue.2, pp.421-439, 2006.
DOI : 10.1007/s10257-005-0003-8

R. Spalazzese, P. Inverardi, and V. Issarny, Towards a formalization of mediating connectors for on the fly interoperability, 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, pp.345-348, 2009.
DOI : 10.1109/WICSA.2009.5290664
URL : https://hal.archives-ouvertes.fr/inria-00404308

M. Stollberg, E. Cimpian, A. Mocan, and D. Fensel, A Semantic Web Mediation Architecture, Proc. CSWWS, pp.3-22, 2006.
DOI : 10.1007/978-0-387-34347-1_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.4352

K. P. Sycara and R. Vaculín, Process mediation, execution monitoring and recovery for semantic Web services, IEEE Data Eng. Bull, vol.31, issue.3, pp.13-17, 2008.

Z. Tao, G. Bochmann, and R. Dssouli, A formal method for synthesizing optimized protocol converters and its application to mobile data networks, Mobile Networks and Applications, vol.2, issue.3, pp.259-269, 1997.
DOI : 10.1023/A:1013692902855

R. N. Taylor, N. Medvidovic, and E. M. Dashofy, Software architecture, 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, 2009.
DOI : 10.1145/1595696.1595754
URL : https://hal.archives-ouvertes.fr/hal-00444077

R. Vaculín and K. P. Sycara, Towards automatic mediation of OWL-S process models, IEEE International Conference on Web Services (ICWS 2007), pp.1032-1039, 2007.
DOI : 10.1109/ICWS.2007.177

G. Wiederhold and M. R. Genesereth, The conceptual basis for mediation services, IEEE Expert, vol.12, issue.5, pp.38-47, 1997.
DOI : 10.1109/64.621227

D. M. Yellin and R. E. Strom, Interfaces, protocols, and the semi-automatic construction of software adaptors, Proc. OOPSLA Conference, pp.176-190, 1994.