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

F. Baader, D. Calvanese, D. L. Mcguinness, D. Nardi, and P. F. Patel-schneider, The Description Logic Handbook, 2003.
DOI : 10.1017/CBO9780511711787

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, 2008.
DOI : 10.1016/j.jss.2007.07.030
URL : https://hal.archives-ouvertes.fr/inria-00415930

A. Bennaceur, G. S. Blair, F. Chauvel, G. Huang, N. Georgantas et al., Towards an Architecture for Runtime Interoperability, Proceedings of ISoLA, 2010.
DOI : 10.1007/978-3-642-16561-0_23
URL : https://hal.archives-ouvertes.fr/inria-00512446

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, 2009.
DOI : 10.1145/1595696.1595719
URL : https://hal.archives-ouvertes.fr/inria-00415421

G. Blair, M. Paolucci, P. Grace, and N. Georgantas, Interoperability in Complex Distributed Systems, SFM-11: 11th International Issarny, Bennaceur, and Bromberg School on Formal Methods for the Design of Computer, Communication and Software Systems ? Connectors for Eternal Networked Software Systems, 2011.
DOI : 10.1007/978-3-642-21455-4_1
URL : https://hal.archives-ouvertes.fr/inria-00629057

Y. D. Bromberg, Solutions to middleware heterogeneity in open networked environment, 2006.

Y. D. Bromberg, P. Grace, and L. Réveilì-ere, Starlink: Runtime Interoperability between Heterogeneous Middleware Protocols, 2011 31st International Conference on Distributed Computing Systems, 2011.
DOI : 10.1109/ICDCS.2011.65
URL : https://hal.archives-ouvertes.fr/inria-00594307

Y. D. Bromberg and V. Issarny, INDISS: Interoperable Discovery System for Networked Services, Proceedings of Middleware, 2005.
DOI : 10.1007/978-3-540-39800-4_1
URL : https://hal.archives-ouvertes.fr/hal-00353571

Y. D. Bromberg, L. Réveilì-ere, J. L. Lawall, and G. Muller, Automatic Generation of Network Protocol Gateways, Proceedings of Middleware, 2009.
DOI : 10.1007/978-3-642-10445-9_2
URL : https://hal.archives-ouvertes.fr/hal-00405911

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

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

E. Cimpian and A. Mocan, WSMX Process Mediation Based on Choreographies, Proceedings of Business Process Management Workshop, 2005.
DOI : 10.1007/11678564_12

G. Denaro, M. Pezzè, and D. Tosi, Ensuring interoperable service-oriented systems through engineered self-healing, 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.1595734

N. Drummond, A. L. Rector, R. Stevens, G. Moulton, M. Horridge et al., Putting OWL in order: Patterns for sequences in OWL, Proceedings of OWLED, 2006.

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

F. Howar, M. Merten, J. N. Steffen, and B. , Introduction to automata learning, SFM-11: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems ? Connectors for Eternal Networked Software Systems, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00647729

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

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

P. Grace, G. S. Blair, and S. Samuel, ReMMoC: A Reflective Middleware to Support Mobile Client Interoperability, Proceedings of CoopIS, 2003.
DOI : 10.1007/978-3-540-39964-3_75

P. Grace, N. Georgantas, A. Bennaceur, G. Blair, F. Chauvel et al., The CONNECT Architecture, SFM-11: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems ? Connectors for Eternal Networked Software Systems, 2011.
DOI : 10.1007/978-3-642-21455-4_2
URL : https://hal.archives-ouvertes.fr/inria-00586638

P. Green and J. , Protocol Conversion, IEEE Transactions on Communications, vol.34, issue.3, 1986.
DOI : 10.1109/TCOM.1986.1096529

C. A. Hoare, Communicating sequential processes, Communications of the ACM (CACM), vol.21, issue.8, 1978.

F. Howar, B. Jonsson, M. Merten, B. Steffen, and S. Cassel, On handling data in automata learning -considerations from the connect perspective, Proceedings of ISoLA, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00647734

P. Inverardi, R. Spalazzese, and M. Tivoli, Application-Layer Connector Synthesis, SFM-11: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems ? Connectors for Eternal Networked Software Systems, 2011.
DOI : 10.1007/978-3-642-21455-4_5
URL : https://hal.archives-ouvertes.fr/inria-00620465

V. Issarny, M. Caporuscio, and N. Georgantas, A Perspective on the Future of Middleware-based Software Engineering, Future of Software Engineering (FOSE '07), 2007.
DOI : 10.1109/FOSE.2007.2
URL : https://hal.archives-ouvertes.fr/inria-00415919

R. Kumar, S. Nelvagal, and S. I. Marcus, A discrete event systems approach for protocol conversion, Discrete Event Dynamic Systems, vol.7, 1997.

S. S. Lam, Protocol conversion, IEEE Transactions on Software Engineering, vol.14, issue.3, 1988.
DOI : 10.1109/32.4655

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, 2007.
DOI : 10.1016/j.comcom.2005.11.017
URL : https://hal.archives-ouvertes.fr/hal-01165443

B. H. Liskov and J. M. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, 1994.
DOI : 10.1145/197320.197383

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

N. R. Mehta, N. Medvidovic, and S. Phadke, Towards a taxonomy of software connectors, Proceedings of the 22nd international conference on Software engineering , ICSE '00, 2000.
DOI : 10.1145/337180.337201

F. Menge, Enterprise Service Bus. In: Free and open source software conference, 2007.

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, Proceedings of WWW, 2007.

E. D. Nitto and D. S. Rosenblum, Exploiting ADLs to specify architectural styles induced by middleware infrastructures, Proceedings of the 21st international conference on Software engineering, ICSE '99, 1999.
DOI : 10.1145/302405.302406

K. Okumura, A formal protocol conversion method, Proceedings of SIGCOMM, 1986.

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

S. Ponnekanti and A. Fox, Interoperability Among Independently Evolving Web Services, Proceedings of Middleware, 2004.
DOI : 10.1007/BFb0053382
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.4840

P. G. Raverdy, V. Issarny, R. Chibout, and A. De-la-chapelle, A multi-protocol approach to service discovery and access in pervasive environments, Proceedings of MobiQuitous, 2006.

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.

R. Spalazzese and P. Inverardi, Mediating Connector Patterns for Components Interoperability, Proceedings of ECSA, 2010.
DOI : 10.1007/11678564_12
URL : https://hal.archives-ouvertes.fr/inria-00512435

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, 2009.
DOI : 10.1109/WICSA.2009.5290664
URL : https://hal.archives-ouvertes.fr/inria-00404308

B. Spitznagel and D. Garlan, A compositional formalization of connector wrappers, 25th International Conference on Software Engineering, 2003. Proceedings., 2003.
DOI : 10.1109/ICSE.2003.1201216

M. Stollberg, E. Cimpian, A. Mocan, and D. Fensel, A Semantic Web Mediation Architecture, Proceedings of CSWWS, 2006.
DOI : 10.1007/978-0-387-34347-1_2

R. Studer, V. R. Benjamins, and D. Fensel, Knowledge engineering, Data & Knowledge Engineering, 1998.

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), 2007.
DOI : 10.1109/ICWS.2007.177

D. M. Yellin and R. E. Strom, Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems, vol.19, issue.2, 1997.
DOI : 10.1145/244795.244801

F. Zhu, M. Mutka, and L. Ni, Service discovery in pervasive computing environments, 2005.