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 and G. B. 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

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

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

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

D. Fensel and C. Bussler, The Web Service Modeling Framework WSMF, Electronic Commerce Research and Applications, vol.1, issue.2, pp.113-137, 2002.
DOI : 10.1016/S1567-4223(02)00015-7

N. F. Noy, M. Stollberg, E. Cimpian, and D. Fensel, Semantic integration, Proceedings of the First International Workshop on Mediation in Semantic Web Services , co-located with the Third International Conference on Service Oriented Computing, pp.65-70, 2004.
DOI : 10.1145/1041410.1041421

R. Kumar, S. Nelvagal, and S. I. Marcus, A discrete event systems approach for protocol conversion, Discrete Event Dynamic Systems, pp.295-315, 1997.

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

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

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

B. Benatallah, F. Casati, D. Grigori, H. R. Nezhad, and F. Toumani, Developing Adapters for Web Services Integration, Proceedings of the International Conference on Advanced Information Systems Engineering (CAiSE), pp.415-429, 2005.
DOI : 10.1007/11431855_29
URL : https://hal.archives-ouvertes.fr/hal-00130695

C. Wu and E. Chang, An Analysis of Web Services Mediation Architecture and Pattern in Synapse, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07), pp.1001-1006, 2007.
DOI : 10.1109/AINAW.2007.76

X. Li, Y. Fan, J. Wang, L. Wang, and F. Jiang, A patternbased approach to development of service mediators for protocol mediation, WICSA '08: Proceedings of the Seventh Working IEEE/IFIP Conference on Software Architecture, pp.137-146, 2008.

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. Milner, Communicating and Mobile Systems: the Pi- Calculus, 1999.

R. V. Glabbeek and U. Goltz, Equivalence notions for concurrent systems and refinement of actions, Acta Informatica, vol.37, pp.229-327, 1998.
DOI : 10.1007/3-540-51486-4_71

R. Gorrieri and A. Rensink, Action Refinement, Handbook of Process Algebra, pp.1047-1147, 2001.
DOI : 10.1016/B978-044482830-9/50034-5