$. %&5-, 708-*20)7/$%&5-'708-*20

D. Angluin, Learning regular sets from queries and counterexamples, Information and Computation, vol.75, issue.2, pp.87-106, 1987.
DOI : 10.1016/0890-5401(87)90052-6

URL : http://doi.org/10.1016/0890-5401(87)90052-6

U. Aßmann, N. Bencomo, B. H. Cheng, and R. B. France, Models@run .time (dagstuhl seminar 11481), Dagstuhl Reports, vol.1, issue.11, pp.91-123, 2011.

L. Baresi, E. D. Nitto, and C. Ghezzi, Toward open-world software: Issues and challenges, Computer, vol.39, issue.10, pp.36-43, 2006.
DOI : 10.1109/MC.2006.362

L. Baresi and C. Ghezzi, The disappearing boundary between developmenttime and run-time, Proceedings of the FSE/SDP workshop on Future of software engineering research, pp.17-22, 2010.

N. Bencomo, G. S. Blair, F. Fleurey, and C. Jeanneret, Summary of the 5th International Workshop on Models@run.time, MoDELS Workshops, pp.204-208, 2010.
DOI : 10.1007/978-3-642-21210-9_20

A. Bennaceur, V. Issarny, J. Richard, M. Alessandro, S. Romina et al., Automatic Service Categorisation through Machine Learning in Emergent Middleware, Software Technologies Concertation on Formal Methods for Components and Objects (FMCO'11), 2011.
DOI : 10.1007/978-3-540-39718-2_17

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

G. Blair, N. Bencomo, and R. B. France, Models@ run.time, Computer, vol.42, issue.10, pp.4222-4249, 2009.
DOI : 10.1109/MC.2009.326

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

G. S. Blair, A. Bennaceur, N. Georgantas, and P. Grace, Valérie Issarny, Vatsala Nundloll, and Massimo Paolucci. The role of ontologies in emergent middleware: Supporting interoperability in complex distributed systems, Middleware'11, pp.410-430, 2011.

Y. Bromberg, P. Grace, and L. Ere, Starlink: Runtime Interoperability between Heterogeneous Middleware Protocols, 2011 31st International Conference on Distributed Computing Systems, pp.446-455, 2011.
DOI : 10.1109/ICDCS.2011.65

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

Y. Bromberg, P. Grace, G. S. Laurentréveilì, and . Blair, Bridging the Interoperability Gap: Overcoming Combined Application and Middleware Heterogeneity, Middleware, pp.390-409, 2011.
DOI : 10.1007/978-3-642-25821-3_20

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

Y. Bromberg and V. Issarny, INDISS: Interoperable Discovery System for Networked Services, Middleware, pp.164-183, 2005.
DOI : 10.1007/978-3-540-39800-4_1

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

R. Calinescu and S. Kikuchi, Formal Methods @ Runtime, Monterey Workshop, pp.122-135, 2010.
DOI : 10.1007/978-3-642-21292-5_7

M. Caporuscio and P. Raverdy, Hassine Moungla, and Valérie Issarny. ubisoap: A service oriented middleware for seamless networking, ICSOC, pp.195-209, 2008.

L. Cavallaro, E. D. Nitto, and M. Pradella, An Automatic Approach to Enable Replacement of Conversational Services, Proc. ICSOC/ServiceWave, pp.159-174, 2009.
DOI : 10.1007/978-3-642-10383-4_11

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

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

E. M. Dashofy, A. Van-der-hoek, and R. N. Taylor, Towards architecturebased self-healing systems, Proceedings of the first workshop on Self-healing systems, WOSS '02, pp.21-26, 2002.

G. Denaro, M. Pezzè, and D. Tosi, Ensuring interoperable serviceoriented systems through engineered self-healing, ESEC/SIGSOFT FSE, pp.253-262, 2009.
DOI : 10.1145/1595696.1595734

T. Deng, W. Fan, L. Libkin, and Y. Wu, On the aggregation problem for synthesized web services, Proc. of the 13th International Conference on Database Theory, ICDT, pp.242-251, 2010.

J. Floch, S. Hallsteinsen, E. Stav, F. Eliassen, K. Lund et al., Using architecture models for runtime adaptability, IEEE Software, vol.23, issue.2, pp.62-70, 2006.
DOI : 10.1109/MS.2006.61

A. Carlos, P. Flores-cortés, G. S. Grace, and . Blair, Sedim: A middleware framework for interoperable service discovery in heterogeneous networks, TAAS, vol.6, issue.1, p.6, 2011.

D. Garlan, Software engineering in an uncertain world, Proceedings of the FSE/SDP workshop on Future of software engineering research, FoSER '10, pp.125-128, 2010.
DOI : 10.1145/1882362.1882389

J. C. Georgas, A. Van-der-hoek, and R. N. Taylor, Using Architectural Models to Manage and Visualize Runtime Adaptation, Computer, vol.42, issue.10, pp.52-60, 2009.
DOI : 10.1109/MC.2009.335

A. Haller, E. Cimpian, A. Mocan, E. Oren, and C. Bussler, WSMX - a semantic service-oriented architecture, IEEE International Conference on Web Services (ICWS'05), pp.321-328, 2005.
DOI : 10.1109/ICWS.2005.139

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.3594

C. A. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

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

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

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, pp.154-161, 2009.
DOI : 10.1109/ICECCS.2009.44

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

V. Josifovski and T. Risch, Integrating heterogenous overlapping databases through object-oriented transformations, VLDB, pp.435-446, 1999.

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

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, pp.179-182, 2010.
DOI : 10.1145/1810295.1810324

S. Simon and . Lam, Protocol conversion, IEEE Trans. Software Eng, vol.14, issue.3, pp.353-362, 1988.

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

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

M. Merten, B. Steffen, F. Howar, and T. Margaria, Next Generation LearnLib, TACAS, pp.220-223, 2011.
DOI : 10.1007/978-3-540-70889-6_7

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

R. Milner, Communication and concurrency. PHI Series in computer science, 1989.

S. Ben-mokhtar, P. Raverdy, A. Urbieta, and R. S. Cardoso, Interoperable semantic and syntactic service discovery for ambient computing environments, IJACI, vol.2, issue.4, pp.13-32, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01381593

B. Morin, O. Barais, and J. Jézéquel, Franck Fleurey, and Arnor Solberg. Models at runtime to support dynamic adaptation, IEEE Computer, pp.46-53, 2009.

B. Morin, O. Barais, G. Nain, and J. Jézéquel, Taming Dynamically Adaptive Systems using models and aspects, 2009 IEEE 31st International Conference on Software Engineering, pp.122-132, 2009.
DOI : 10.1109/ICSE.2009.5070514

N. Fridman-noy, A. Chugh, W. Liu, and M. A. Musen, A framework for ontology evolution in collaborative environments, International Semantic Web Conference, pp.544-558, 2006.

P. Oreizy, M. M. Gorlick, R. N. Taylor, D. Heimbigner, G. Johnson et al., An architecture-based approach to self-adaptive software, IEEE Intelligent Systems and Their Applications, pp.54-62, 1999.
DOI : 10.1109/5254.769885

P. Oreizy, D. S. Rosenblum, and R. N. Taylor, On the role of connectors in modeling and implementing software architectures, 1998.

P. Sawyer, N. Bencomo, J. Whittle, E. Letier, and A. Finkelstein, Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems, 2010 18th IEEE International Requirements Engineering Conference, pp.95-103, 2010.
DOI : 10.1109/RE.2010.21

C. Douglas and . Schmidt, Model driven engineering, IEEE Computer, pp.25-31, 2006.

H. Song, G. Huang, Y. Xiong, F. Chauvel, Y. Sun et al., Inferring Meta-models for Runtime System Data from the Clients of Management APIs, Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II, MODELS'10, pp.168-182, 2010.
DOI : 10.1109/TSE.2009.30

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

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

B. Steffen, F. Howar, and M. Merten, Introduction to Active Automata Learning from a Practical Perspective, In SFM, pp.256-296, 2011.
DOI : 10.1007/978-3-642-21455-4_8

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

A. Tolk and J. M. Pullen, Using Web Services and Data Mediation/Storage Services to Enable Command and Control to Simulation Interoperability, Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications, pp.27-34, 2005.
DOI : 10.1109/DISTRA.2005.43

R. Vaculin, R. Neruda, and K. 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

K. Welsh, P. Sawyer, and N. Bencomo, Towards requirements aware systems: Run-time resolution of design-time assumptions, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.560-563, 2011.
DOI : 10.1109/ASE.2011.6100125

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

H. Yan, D. Garlan, B. Schmerl, J. Aldrich, and R. Kazman, Discotect: A system for discovering architectures from running systems, Proc. 26th International Conference on Software Engineering, pp.470-479, 2004.

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