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

G. Blair, A. Bennaceur, N. Georgantas, P. Grace, V. Issarny et al., The Role of Ontologies in Emergent Middleware: Supporting Interoperability in Complex Distributed Systems, Proc. Middleware, 2011.
DOI : 10.1007/978-3-642-25821-3_21

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

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

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, Proc. ICSOC/ServiceWave, 2009.
DOI : 10.1007/978-3-642-10383-4_11

E. Cimpian and A. Mocan, WSMX Process Mediation Based on Choreographies, In: BPM Workshop, 2005.
DOI : 10.1007/11678564_12

E. M. Clarke, O. Grumberg, and D. E. Long, Model checking and abstraction, ACM Trans. Program. Lang. Syst, 1994.

T. Franz and S. Staab, SAM: Semantics aware instant messaging for the networked semantic desktop, Proc. International Sem. Web Conf. Workshops, 2005.

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

S. Heiler, Semantic interoperability, ACM Computing Surveys, vol.27, issue.2, 1995.
DOI : 10.1145/210376.210392

C. A. Hoare, Communicating Sequential Processes, 1985.

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

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

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

M. W. Maier, Integrated modeling: A unified approach to system engineering, Journal of Systems and Software, vol.32, issue.2, 1996.
DOI : 10.1016/0164-1212(94)00063-8

F. Menge, Enterprise Service Bus, Proc. Free and open source soft. conf, 2007.

S. B. Mokhtar, A. Kaul, N. Georgantas, and V. Issarny, Efficient Semantic Service Discovery in Pervasive Computing Environments, Proc. Middleware, 2006.
DOI : 10.1007/11751113_10

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

M. A. Motoyama and G. Varghese, CrossTalk, Proceedings of the 2nd ACM workshop on Online social networks, WOSN '09, 2009.
DOI : 10.1145/1592665.1592680

. Nielsen, Games Dominate America's Growing Appetite for Mobile Apps, 2010.

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. Vaculín, R. Neruda, and K. P. Sycara, The process mediation framework for semantic web services, International Journal of Agent-Oriented Software Engineering, vol.3, issue.1, 2009.
DOI : 10.1504/IJAOSE.2009.022945

C. Vassilakis and C. Kareliotis, A framework for adaptation in secure web services, Medi. Conf. on Info. Syst, 2009.

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

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