R. Allen and D. Garlan, Formalizing architectural connection, Proceedings of 16th International Conference on Software Engineering, 1994.
DOI : 10.1109/ICSE.1994.296767

N. Bencomo, A. Bennaceur, P. Grace, G. Blair, and V. Issarny, The role of models@run .time in supporting on-the-fly interoperability, Computing, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00733338

A. Bennaceur, Dynamic Synthesis of Mediators in Ubiquitous Environments, 2013.
URL : https://hal.archives-ouvertes.fr/tel-00849402

A. Bennaceur, C. Chilton, M. Isberner, and B. Jonsson, Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning, Proc. of SEFM, 2013.
DOI : 10.1007/978-3-642-40561-7_19

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

A. Birrell and B. J. Nelson, Implementing remote procedure calls, ACM Trans. Computing System, 1984.
DOI : 10.1145/773379.806609

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

Y. D. Bromberg, P. Grace, L. Réveillère, and G. S. Blair, Bridging the Interoperability Gap: Overcoming Combined Application and Middleware Heterogeneity, Proc. Middleware, 2011.
DOI : 10.1007/978-3-642-25821-3_20

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

M. Ceriotti, A. L. Murphy, and G. P. Picco, Data sharing vs. message passing: synergy or incompatibility?, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, 2008.
DOI : 10.1145/1363686.1363714

D. Garlan, R. Allen, and J. Ockerbloom, Architectural mismatch or why it's hard to build systems out of existing parts, Proceedings of the 17th international conference on Software engineering , ICSE '95, 1995.
DOI : 10.1145/225014.225031

N. Georgantas, G. Bouloukakis, S. Beauche, and V. Issarny, Service-oriented distributed applications in the future internet, Proc. ESOCC, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00841332

T. R. Gruber, A translation approach to portable ontology specifications, Knowledge Acquisition, vol.5, issue.2, 1993.
DOI : 10.1006/knac.1993.1008

P. Inverardi and M. Tivoli, Automatic synthesis of modular connectors via composition of protocol mediation patterns, 2013 35th International Conference on Software Engineering (ICSE), 2013.
DOI : 10.1109/ICSE.2013.6606546

V. Issarny and A. Bennaceur, Composing distributed systems: Overcoming the interoperability challenge In: HATS-FMCO International School, 2012.

V. Issarny, A. Bennaceur, and Y. D. Bromberg, Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability, SFM-11 International School, 2011.
DOI : 10.1007/978-3-642-21455-4_7

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

V. Issarny, C. Kloukinas, and A. Zarras, Systematic aid for developing middleware architectures, Communications of the ACM, vol.45, issue.6, 2002.
DOI : 10.1145/508448.508474

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

J. Magee and J. Kramer, Concurrency: State models and Java programs, 2006.

R. Mateescu, P. Poizat, and G. Salaün, Adaptation of service protocols using process algebra and on-the-fly reduction techniques, IEEE Trans. Software Eng, 2012.
URL : https://hal.archives-ouvertes.fr/inria-00341598

S. A. Mcilraith, T. C. Son, and H. Zeng, Semantic Web services, IEEE Intelligent Systems, vol.16, issue.2, 2001.
DOI : 10.1109/5254.920599

N. Medvidovic, E. Dashofy, and R. Taylor, The role of middleware in architecturebased software development, Int. Journal of Soft. Eng. and Knowledge Eng, 2003.

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

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

M. Shaw, Procedure calls are the assembly language of software interconnection, Proc. of ICSE Workshop on Studies of Software Design, 1993.

P. Shvaiko and J. Euzenat, A Survey of Schema-Based Matching Approaches, J. Data Semantics IV, 2005.
DOI : 10.1007/11603412_5

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

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

A. Tanenbaum and M. Van-steen, Distributed systems: principles and paradigms, 2006.

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