M. Weiser, The computer for the 21 st century, Scientific American, 1991.

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), p.3, 2006.
DOI : 10.1109/ICDCS.2006.5

Y. Bromberg and V. Issarny, INDISS: Interoperable Discovery System for Networked Services, Middleware '05: Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware, pp.164-183, 2005.
DOI : 10.1007/978-3-540-39800-4_1

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

P. Grace, G. S. 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, pp.2-14, 2005.
DOI : 10.1145/1055959.1055962

Y. Bromberg, V. Issarny, and P. Raverdy, Interoperability of service discovery protocols: Transparent versus explicit approaches, Proceedings of the 15th IST Mobile & Wireless Communications, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00567928

V. Issarny, M. Caporuscio, and N. Georgantas, A perspective on the future of middleware-based software engineering, " in FOSE '07: 2007 Future of Software Engineering, pp.244-258, 2007.

G. Wiederhold and M. Genesereth, The conceptual basis for mediation services, IEEE Expert: Intelligent Systems and Their Applications, pp.38-47, 1997.
DOI : 10.1109/64.621227

G. Wiederhold, Mediators in the architecture of future information systems, Computer, vol.25, issue.3, pp.38-49, 1992.
DOI : 10.1109/2.121508

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Resusable Object-Oriented Software, 1995.

D. Fensel and C. Bussler, The Web Service Modeling Framework WSMF, Proceedings of the 1st Canadian Semantic Web Working Symposium, pp.113-137, 2002.
DOI : 10.1016/S1567-4223(02)00015-7

N. F. Noy, Semantic integration, ACM SIGMOD Record, vol.33, issue.4, pp.65-70, 2004.
DOI : 10.1145/1041410.1041421

M. Stollberg, E. Cimpian, and D. Fensel, Mediating capabilities with deltarelations, Proceedings of the First International Workshop on Mediation in Semantic Web Services , co-located with the Third International Conference on Service Oriented Computing, 2005.

B. Liskov and J. Wing, Behavioral subtyping using invariants and constraints, 1999.

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

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

R. Vaculín and K. 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

R. Vaculín, R. Neruda, and K. P. Sycara, An Agent for Asymmetric Process Mediation in Open Environments, Lecture Notes in Computer Science, vol.5006, pp.104-117, 2008.
DOI : 10.1007/978-3-540-79968-9_9

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

S. K. Williams, S. A. Battle, and J. E. Cuadrado, Protocol Mediation for Adaptation in Semantic Web Services, ESWC, pp.635-649, 2006.
DOI : 10.1007/11762256_46

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

R. M. Keller, Formal verification of parallel programs, Communications of the ACM, vol.19, issue.7, pp.371-384, 1976.
DOI : 10.1145/360248.360251

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