D. Konstantas, J. Bourrires, M. Lonard, and N. Boudjlida, Interoperability of enterprise software and applications, 2006.
DOI : 10.1007/1-84628-152-0
URL : https://hal.archives-ouvertes.fr/hal-00356190

D. Garlan, R. Allen, and J. Ockerbloom, Architectural Mismatch: Why Reuse Is Still So Hard, IEEE Software, vol.26, issue.4, 2009.
DOI : 10.1109/MS.2009.86

M. Shaw, Architectural issues in software reuse: It's not just the functionality, it's the packaging, Proc. SSR, 1995.

V. Issarny, A. Bennaceur, and Y. Bromberg, Middlewarelayer connector synthesis: Beyond state of the art in middleware interoperability, SFM-11, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00586630

M. Autili, P. Inverardi, A. Navarra, and M. Tivoli, SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems, 29th International Conference on Software Engineering (ICSE'07), 2007.
DOI : 10.1109/ICSE.2007.84

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

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

Y. Bromberg, P. Grace, L. Réveilì, 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

C. Gierds, A. J. Mooij, and K. Wolf, Reducing Adapter Synthesis to Controller Synthesis, IEEE T. Services Computing, 2012.
DOI : 10.1109/TSC.2010.57

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 reusable object-oriented software. Pearson Education, 1994.

M. W. Maier, E. Morris, L. Levine, C. Meyers, P. Place et al., Integrated modeling: A unified approach to system engineering System of systems interoperability (sosi): final report, DTIC Document, CMU/SEI, 1996.

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

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

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

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

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, 2007.
DOI : 10.1016/j.jss.2007.03.002
URL : https://hal.archives-ouvertes.fr/inria-00415927

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. WWW, 2007.
DOI : 10.1007/s11280-007-0033-x

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

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

M. Aquin and N. F. Noy, Where to publish and find ontologies? a survey of ontology libraries, J. Web Sem, 2012.

A. Borgida and P. T. Devanbu, Adding more ???DL??? to IDL, Proceedings of the 21st international conference on Software engineering, ICSE '99, 1999.
DOI : 10.1145/302405.302660

N. Oldham, C. Thomas, A. P. Sheth, and K. Verma, METEOR-S Web Service Annotation Framework with Machine Learning Classification, Proc. SWSWPC, 2004.
DOI : 10.1007/978-3-540-30581-1_12

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., JIMSE, 2012.
DOI : 10.1007/978-3-642-45260-4_2
URL : https://hal.archives-ouvertes.fr/hal-00722051

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

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

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, 1983.
DOI : 10.1145/322374.322380

R. Vaculín and K. P. Sycara, Towards automatic mediation of OWL-S process models, IEEE International Conference on Web Services (ICWS 2007), 2007.
DOI : 10.1109/ICWS.2007.177

D. Lorenzoli, L. Mariani, and M. Pezzè, Automatic generation of software behavioral models, Proceedings of the 13th international conference on Software engineering , ICSE '08, 2008.
DOI : 10.1145/1368088.1368157

I. Krka, Y. Brun, D. Popescu, J. Garcia, and N. Medvidovic, Using dynamic execution traces and program invariants to enhance behavioral model inference, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, 2010.
DOI : 10.1145/1810295.1810324

M. Paolucci, T. Kawamura, T. R. Payne, and K. P. Sycara, Semantic matching of WS capabilities, Proc. ISWC, 2002.

C. A. Hoare, Process algebra: A unifying approach, 25 Years Comm. Seq. Processes, 2004.

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

F. Rossi, P. Van-beek, and T. Walsh, Handbook of constraint programming, 2006.

B. Liskov and J. M. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, 1994.
DOI : 10.1145/197320.197383

A. Bennaceur, Dynamic synthesis of mediators in ubiquitous environments, 2013.
URL : https://hal.archives-ouvertes.fr/tel-00849402

F. Laburthe, Constraints over Ontologies, Proc. CP, 2003.
DOI : 10.1007/978-3-540-45193-8_71
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.3519

A. Bennaceur and V. Issarny, Layered Connectors, Proc. ECSA, 2014, to appear. [Online]. Available
DOI : 10.1007/978-3-319-09970-5_25
URL : https://hal.archives-ouvertes.fr/hal-01015897

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

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

V. Issarny, B. Steffen, B. Jonsson, G. S. Blair, P. Grace et al., CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009.
DOI : 10.1109/ICECCS.2009.44
URL : https://hal.archives-ouvertes.fr/inria-00392809

N. Bencomo, A. Bennaceur, P. Grace, G. S. Blair, and V. Issarny, The role of models@run.time in supporting on-the-fly interoperability, Computing, vol.19, issue.2, pp.167-190, 2013.
DOI : 10.1007/s00607-012-0224-x
URL : https://hal.archives-ouvertes.fr/hal-00733338

H. Chang, L. Mariani, and M. Pezzè, In-field healing of integration problems with cots components, Proc. ICSE, 2009.

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

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

H. R. Nezhad, G. Y. Xu, and B. Benatallah, Protocol-aware matching of web service interfaces for adapter development, Proc. WWW, 2010.

A. Brogi and R. Popescu, Automated Generation of BPEL Adapters, ICSOC, pp.27-39, 2006.
DOI : 10.1007/11948148_3

A. Algergawy, R. Nayak, N. Siegmund, V. , and G. Saake, Combining Schema and Level-Based Matching for Web Service Discovery, Proc. ICWE, pp.114-128, 2010.
DOI : 10.1007/978-3-642-13911-6_8

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

T. Berners-lee, J. Hendler, and O. Lassila, The Semantic Web, Scientific American, vol.284, issue.5, 2001.
DOI : 10.1038/scientificamerican0501-34

L. Cavallaro, P. Sawyer, D. Sykes, N. Bencomo, and V. Issarny, Satisfying requirements for pervasive service compositions, Proceedings of the 7th Workshop on Models@run.time, MRT '12, 2012.
DOI : 10.1145/2422518.2422522
URL : https://hal.archives-ouvertes.fr/hal-00733346

A. Pnueli and R. Rosner, On the synthesis of a reactive module, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '89, 1989.
DOI : 10.1145/75277.75293

R. Bloem, B. Jobstmann, N. Piterman, A. Pnueli, and Y. Sa, Synthesis of Reactive(1) designs, Journal of Computer and System Sciences, vol.78, issue.3, pp.911-938, 2012.
DOI : 10.1016/j.jcss.2011.08.007

D. Sykes, J. Magee, J. Kramer, L. Baresi, E. D. Nitto et al., FlashMob, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, 2006.
DOI : 10.1145/1988008.1988023