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

E. Andriescu, R. S. Cardoso, and V. Issarny, AmbiStream: A Middleware for Multimedia Streaming on Heterogeneous Mobile Devices, Proc. of Middleware, pp.249-268, 2011.
DOI : 10.1007/978-3-642-25821-3_13
URL : https://hal.archives-ouvertes.fr/hal-00639633

M. Aranguren, S. Bechhofer, P. Lord, U. Sattler, and R. Stevens, Understanding and using the meaning of statements in a bio-ontology: recasting the gene ontology in OWL, BMC Bioinformatics, vol.8, issue.1, p.57, 2007.
DOI : 10.1186/1471-2105-8-57

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

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

A. Bennaceur, V. Issarny, D. Sykes, F. Howar, M. Isberner et al., Machine Learning for Emergent Middleware, Proc. of the Joint workshop on Intelligent Methods for Soft. System Eng, 2012.
DOI : 10.1007/978-3-642-45260-4_2
URL : https://hal.archives-ouvertes.fr/hal-00722051

A. Bennaceur, V. Issarny, R. Spalazzese, and S. Tyagi, Achieving Interoperability through Semantics-Based Technologies: The Instant Messaging Case, 11th International Semantic Web Conference, 2012.
DOI : 10.1007/978-3-642-35173-0_2
URL : https://hal.archives-ouvertes.fr/hal-00721280

M. Bersani, L. Cavallaro, A. Frigeri, M. Pradella, and M. Rossi, SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability, 2010 8th IEEE International Conference on Software Engineering and Formal Methods, pp.244-254, 2010.
DOI : 10.1109/SEFM.2010.37

G. Blair, M. Paolucci, P. Grace, and N. Georgantas, Interoperability in Complex Distributed Systems, 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_1
URL : https://hal.archives-ouvertes.fr/inria-00629057

G. S. 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. of Middleware, 2011.
DOI : 10.1007/978-3-642-25821-3_21
URL : https://hal.archives-ouvertes.fr/inria-00629059

A. Borgida, FROM TYPE SYSTEMS TO KNOWLEDGE REPRESENTATION: NATURAL SEMANTICS SPECIFICATIONS FOR DESCRIPTION LOGICS, International Journal of Cooperative Information Systems, vol.01, issue.01, pp.93-126, 1992.
DOI : 10.1142/S0218215792000052

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, P. Grace, L. Réveilì-ere, and G. S. Blair, Bridging the Interoperability Gap: Overcoming Combined Application and Middleware Heterogeneity, Proc. of Middleware, pp.390-409, 2011.
DOI : 10.1007/978-3-642-25821-3_20
URL : https://hal.archives-ouvertes.fr/hal-00643601

Y. D. Bromberg and V. Issarny, INDISS: Interoperable Discovery System for Networked Services, Proc. 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, Proc. of Middleware, 2009.
DOI : 10.1007/978-3-642-10445-9_2
URL : https://hal.archives-ouvertes.fr/hal-00405911

C. Calero, F. Ruiz, and M. Piattini, Ontologies for Software Engineering and Software Technology, 2006.
DOI : 10.1007/3-540-34518-3

K. L. Calvert and S. S. Lam, Deriving a protocol converter: A top-down method, Proc. of the Symposium on Communications Architectures & Protocols, pp.247-258, 1989.

L. Cavallaro, E. D. Nitto, and M. Pradella, An Automatic Approach to Enable Replacement of Conversational Services, Proc. of the 7th International Joint Conference on Service-Oriented Computing, p.ServiceWave, 2009.
DOI : 10.1007/978-3-642-10383-4_11

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

G. F. Coulouris, J. Dollimore, T. Kindberg, and G. Blair, Distributed systems: concepts and design, Fifth Edition, 2012.

M. Aquin and N. F. Noy, Where to publish and find ontologies? a survey of ontology libraries, J. Web Sem, vol.11, pp.96-111, 2012.

J. S. Dong, From semantic web to expressive software specifications, Proceeding of the 28th international conference on Software engineering , ICSE '06, 2006.
DOI : 10.1145/1134285.1134507

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, M. A. Rahaman, H. Ameziani, A. Pathak, and V. Issarny, A Coordination Middleware for Orchestrating Heterogeneous Distributed Systems, 6th International Conference on Advances in Grid and Pervasive Computing, pp.221-232, 2011.
DOI : 10.1109/CISIS.2010.178

J. Golbeck and M. Rothstein, Linking social networks on the web with foaf: A semantic web case study, In: AAAI. pp, pp.1138-1143, 2008.

N. Guarino, Helping People (and Machines) Understanding Each Other: The Role of Formal Ontology, p.599, 2004.
DOI : 10.1007/978-3-540-30468-5_38

V. Issarny, A. Bennaceur, and Y. D. Bromberg, Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability, 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_7
URL : https://hal.archives-ouvertes.fr/inria-00586630

M. Jamshidi, Systems of systems engineering: principles and applications, 2008.
DOI : 10.1201/9781420065893

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

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

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

D. L. Martin, M. H. Burstein, D. V. Mcdermott, S. A. Mcilraith, M. Paolucci et al., Bringing Semantics to Web Services with OWL-S, Proc. if the World Wide Web conference, WWW'07, pp.243-277, 2007.
DOI : 10.1007/s11280-007-0033-x

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, vol.1, issue.2, pp.755-777, 2012.
DOI : 10.1504/IJBPIM.2006.010025
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, pp.46-53, 2001.
DOI : 10.1109/5254.920599

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

S. B. Mokhtar, N. Georgantas, and V. Issarny, COCOA: COnversation-based service COmposition in pervAsive computing environments with QoS support, Journal of Systems and Software, vol.80, issue.12, pp.1941-1955, 2007.
DOI : 10.1016/j.jss.2007.03.002
URL : https://hal.archives-ouvertes.fr/inria-00415927

S. B. Mokhtar, A. Kaul, N. Georgantas, and V. Issarny, Efficient Semantic Service Discovery in Pervasive Computing Environments, p.Middleware, 2006.
DOI : 10.1007/11751113_10
URL : https://hal.archives-ouvertes.fr/inria-00415115

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. Paolucci, T. Kawamura, T. R. Payne, and K. P. Sycara, Semantic Matching of Web Services Capabilities, International Semantic Web Conference, 2002.
DOI : 10.1007/3-540-48005-6_26

R. G. Raskin and M. J. Pan, Knowledge representation in the semantic web for Earth and environmental terminology (SWEET), Computers & Geosciences, vol.31, issue.9, pp.1119-1125, 2005.
DOI : 10.1016/j.cageo.2004.12.004

N. Shadbolt, T. Berners-lee, and W. Hall, The Semantic Web Revisited, IEEE Intelligent Systems, vol.21, issue.3, pp.96-101, 2006.
DOI : 10.1109/MIS.2006.62

M. Shaw, Procedure calls are the assembly language of software interconnection: Connectors deserve first-class status, ICSE Workshop on Studies of Software Design, pp.17-32, 1993.
DOI : 10.1007/BFb0030517

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 - Second Edition, 2006.

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

D. Uckelmann, M. Harrison, and F. Michahelles, Architecting the internet of things, 2011.
DOI : 10.1007/978-3-642-19157-2

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, pp.27-58, 2009.
DOI : 10.1504/IJAOSE.2009.022945

G. Wiederhold, Interoperation, mediation, and ontologies, Proc. of the Fifth International Symposium on Generation Computer Systems Workshop on Heterogeneous Cooperative Knowledge-Bases, pp.33-48, 1994.

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