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

L. Baresi, E. D. Nitto, and C. Ghezzi, Toward open-world software: Issue and challenges, Computer, 2006.

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, 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

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, 2011.

Y. Bromberg, P. Grace, and L. 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. 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, ICSOC/ServiceWave, 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, 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

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.

B. Robert, B. France, and . Rumpe, Model-driven development of complex software: A research roadmap, FOSE, pp.37-54, 2007.

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

V. Issarny, A. Bennaceur, and Y. Bromberg, Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability, SFM-11, 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, 1976.
DOI : 10.1145/360248.360251

S. Simon and . Lam, Protocol conversion, IEEE Transaction Software Engineering, 1988.

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

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.

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

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.

M. Ouederni and G. Salaün, Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability, WCSI, pp.57-70, 2010.
DOI : 10.4204/EPTCS.37.5
URL : https://hal.archives-ouvertes.fr/inria-00539099

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., 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. 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

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

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

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.

M. Daniel, R. E. Yellin, and . Strom, Protocol specifications and component adaptors, ACM Trans. Program. Lang. Syst, 1997.

N. Ibrahim and F. , Mouel: A Survey on Service Composition Middleware in Pervasive Environments, International Journal of Computer Science Issues, vol.1, pp.1-12, 2009.

M. P. Papazoglou, P. Traverso, S. Dustdar, and F. Leymann, Serviceoriented computing State of the art and research challenges, Computer, issue.11, pp.40-78, 2007.

G. Blair, N. Bencomo, and R. B. , France: Models@ run, time. Computer, issue.10, pp.42-64, 2009.

G. Huang, H. Mei, and F. Q. , Runtime recovery and manipulation of software architecture of component-based systems, Automated Software Engineering, vol.10, issue.1, pp.257-281, 2006.
DOI : 10.1007/s10515-006-7738-4

R. France and B. , Rumpe: Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering, 2007.

A. Occello, A. Dery-pinna, and M. , Riveill: A Runtime Model for Monitoring Software Adaptation Safety and its Concretisation as a Service. Models@ runtime, 2008.

H. Song, Y. Xiong, F. Chauvel, G. Huang, and Z. Hu, Generating Synchronization Engines between Running Systems and Their Model-Based Views, Models in Software Engineering, Pages, pp.140-154, 2010.
DOI : 10.1007/978-3-642-12261-3_14
URL : https://hal.archives-ouvertes.fr/inria-00459616

V. Issarny, B. Steffen, B. Jonsson, and G. Blair, Connect challenges: Towards emergent connectors for eternal networked systems Object Management Group, ICECCSMeta Object Facility, vol.11, issue.20, 2009.

X. Apache, S. Budinsky, E. Brodsky, and . Merks, Eclipse Modeling Framework, project address: http://www.eclipse.org/modeling/emf, Tosic: Towards a Web Service Composition Management Framework. International Conference on Web Services 2005 (ICWS'05)

J. Brnsted, K. M. Hansen, and M. , Ingstrup: Service Composition Issues in Pervasive Computing. Pervasive Computing, IEEE, issue.9 1, pp.62-70, 2010.

F. Casati and S. Ilnicki, Adaptive and Dynamic Service Composition in eFlow, Advanced Information Systems Engineering, vol.1789, pp.13-31, 2000.

H. Weigand, W. J. Heuvel, and . Van-den, M: Rule-based service composition and service-oriented business rule management, Proceedings of the International Workshop on Regulations Modelling and Deployment (ReMoD'08), pp.1-12, 2008.

H. Song, G. Huang, Y. Xiong, F. Chuavel, Y. Sun et al., Inferring Meta-models for Runtime System Data from the Clients of Management APIs, MoDELS 2010, pp.168-182
DOI : 10.1109/TSE.2009.30
URL : https://hal.archives-ouvertes.fr/inria-00513246

H. Song, G. Huang, F. Chauvel, W. Zhang, Y. Sun et al., Instant and Incremental QVT Transformation for Runtime Models, 2011.
DOI : 10.1007/s10270-008-0089-9
URL : https://hal.archives-ouvertes.fr/hal-00646844

F. Vaandrager and F. , Learning I/O Automata, Lecture Notes in Computer Science, vol.6269, pp.71-85978, 2010.

R. Alur, P. Cerny, P. Madhusudan, and W. Nam, Synthesis of interface specifications for Java classes, Proc. POPL '05, 2005.

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

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

D. A. Cohn, Z. Ghahramani, and M. I. Jordan, Active learning with statistical models, J. Artif. Intell. Res. (JAIR), vol.4, pp.129-145, 1996.

J. Esparza, M. Leucker, and M. Schlund, Learning Workflow Petri Nets, pp.205-228, 2011.
DOI : 10.1007/978-3-642-13675-7_13

O. Grinchtein, B. Jonsson, and P. Pettersson, Inference of Event-Recording Automata Using Timed Decision Trees, Proc. CONCUR 2006, 17 th Int. Conf. on Concurrency Theory, pp.435-449, 2006.
DOI : 10.1007/11817949_29

A. Heß and N. Kushmerick, Learning to attach semantic metadata to web services, International Semantic Web Conference, pp.258-273, 2003.

F. Howar, B. Jonsson, M. Merten, B. Steffen, and S. Cassel, On handling data in automata learning -considerations from the connect perspective, pp.221-235, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00647734

F. Howar, B. Steffen, B. Jonsson, and S. Cassel, Inferring Canonical Register Automata, pp.251-266, 2012.
DOI : 10.1007/978-3-642-21455-4_9
URL : https://hal.archives-ouvertes.fr/hal-00664277

F. Howar, B. Steffen, and M. Merten, Automata Learning with Automated Alphabet Abstraction Refinement, pp.263-277, 2011.
DOI : 10.1007/978-3-642-05089-3_14
URL : https://hal.archives-ouvertes.fr/hal-00647711

H. Hungar, T. Margaria, and B. Steffen, Test-based model generation for legacy systems, Test Conference Proceedings. ITC 2003. International, pp.971-980, 2003.

T. Joachims, T. Hofmann, Y. Yue, and C. N. Yu, Predicting structured objects with support vector machines, Communications of the ACM, vol.52, issue.11, pp.97-104, 2009.
DOI : 10.1145/1592761.1592783

I. Katakis, G. Meditskos, G. Tsoumakas, N. Bassiliades, and I. P. Vlahavas, On the Combination of Textual and Semantic Descriptions for Automated Semantic Web Service Classification, pp.95-104, 2009.
DOI : 10.1007/978-1-4419-0221-4_13

M. Merten, B. Steffen, F. Howar, and T. Margaria, Next Generation LearnLib, pp.220-223, 2011.
DOI : 10.1007/978-3-540-70889-6_7
URL : https://hal.archives-ouvertes.fr/hal-00647749

A. Moschitti, Efficient Convolution Kernels for Dependency and Constituent Syntactic Trees, pp.318-329, 2006.
DOI : 10.1007/11871842_32

A. Moschitti, Kernel methods, syntax and semantics for relational text categorization, Proceeding of the 17th ACM conference on Information and knowledge mining, CIKM '08, 2008.
DOI : 10.1145/1458082.1458118

A. Moschitti, Kernel-Based Machines for Abstract and Easy Modeling of Automatic Learning, 11th International School on Formal Methods for the Design of Computer , Communication and Software Systems, p.11, 2011.
DOI : 10.1007/978-3-642-21455-4_14

A. Moschitti and R. Basili, Complex Linguistic Features for Text Classification: A Comprehensive Study, Proceedings of the 26th European Conference on Information Retrieval Research, pp.181-196, 2004.
DOI : 10.1007/978-3-540-24752-4_14

D. Peled, M. Y. Vardi, and M. Yannakakis, Black Box Checking, pp.225-240, 1999.
DOI : 10.1007/978-0-387-35578-8_13

H. Raffelt, B. Steffen, T. Berg, and T. Margaria, LearnLib: a framework for extrapolating behavioral models, International Journal on Software Tools for Technology Transfer, vol.15, issue.4, pp.393-407, 2009.
DOI : 10.1007/s10009-009-0111-8
URL : https://hal.archives-ouvertes.fr/inria-00459959

G. Salton, A. Wong, and C. S. Yang, A vector space model for automatic indexing, Communications of the ACM, vol.18, issue.11, 1974.
DOI : 10.1145/361219.361220

R. Selby and A. Porter, Learning from examples: generation and evaluation of decision trees for software resource analysis. Software Engineering, IEEE Transactions on, vol.14, issue.12, 1988.

P. Stone and M. Veloso, Multiagent systems: A survey from a machine learning perspective Bibliography [1] Part-whole relations in owl ontologies, Autonomous Robots, vol.8, 2000.

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, Lecture Notes in Computer Science, vol.7049, pp.410-430, 2011.
DOI : 10.1007/978-3-642-25821-3_21
URL : https://hal.archives-ouvertes.fr/inria-00629059

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

A. Borgida, Towards the systematic development of description logic reasoners: Clasp reconstructed, KR, pp.259-269, 1992.

D. Bromberg, P. Grace, L. Reveillere, and G. Blair, Bridging the Interoperability Gap: Overcoming Combined Application and Middleware Heterogeneity, The 12th International Middleware Conference, 2011.
DOI : 10.1007/978-3-642-25821-3_20
URL : https://hal.archives-ouvertes.fr/hal-00643601

Y. Bromberg, P. Grace, and L. , 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

C. Consortium, Emergent connector for eternal software intensive networked systems. Fet proactive 6: Ict forever yours description of work, CONNECT, 2008.

C. Consortium, Consolodated dependability framework, CONNECT, 2011.

C. Consortium, Dynamic connector synthesis -revised prototype implementation, CONNECT, 2011.

C. Consortium, Integration in the CONNECT architecture, CONNECT, 2012.

N. Drummond, A. L. Rector, R. Stevens, G. Moulton, M. Horridge et al., Putting OWL in order: Patterns for sequences in OWL, OWLED, 2006.

A. B. Andriescu, P. I. Vaí-erie-issarny, R. Spalazzese, and R. Speicys-cardoso, Dynamic connector synthesis: Principles, methods, tools and assessment, CONNECT ICT FET IP Project, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00805618

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object- Oriented Software, 1994.

P. Grace, Y. Bromberg, L. , and G. S. Blair, OverStar: An Open Approach to End-to-End Middleware Services in Systems of Systems, Middleware, pp.229-248, 2012.
DOI : 10.1109/TNET.2002.808407
URL : https://hal.archives-ouvertes.fr/hal-00991376

T. Gu and H. Pung, A middleware for building context-aware mobile services, Vehicular Technology Conference, pp.2656-2660, 2004.

M. Hepp, Possible Ontologies: How Reality Constrains the Development of Relevant Ontologies, IEEE Internet Computing, vol.11, issue.1, pp.90-96, 2007.
DOI : 10.1109/MIC.2007.20

A. Heß and N. Kushmerick, Learning to attach semantic metadata to web services, ISWC, pp.258-273, 2003.

H. Hirsh and D. Kudenko, Representing sequences in description logics, AAAI/IAAI, pp.384-389, 1997.

G. Huang, H. Song, and H. Mei, SM@RT, Proceedings of the First Asia-Pacific Symposium on Internetware, Internetware '09, pp.439-464, 2009.
DOI : 10.1145/1640206.1640215
URL : https://hal.archives-ouvertes.fr/inria-00459621

J. Hunter, Enhancing the semantic interoperability of multimedia through a core ontology. Circuits and Systems for Video Technology, IEEE Transactions on, vol.13, issue.1, pp.49-58, 2003.

M. Klusch, P. Kapahnke, and I. Zinnikus, SAWSDL-MX2: A Machine-Learning Approach for Integrating Semantic Web Service Matchmaking Variants, 2009 IEEE International Conference on Web Services, pp.335-342, 2009.
DOI : 10.1109/ICWS.2009.76

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

H. Song, G. Huang, F. Chauvel, Y. Xiong, Z. Hu et al., Supporting runtime software architecture: A bidirectional-transformation-based approach, Journal of Systems and Software, vol.84, issue.5, pp.711-723, 2011.
DOI : 10.1016/j.jss.2010.12.009
URL : https://hal.archives-ouvertes.fr/inria-00560783

H. Song, G. Huang, F. Chauvel, W. Zhang, Y. Sun et al., Instant and Incremental QVT Transformation for Runtime Models, MODELS, pp.273-288, 2011.
DOI : 10.1007/s10270-008-0089-9
URL : https://hal.archives-ouvertes.fr/hal-00646844

H. Song, G. Huang, Y. Xiong, F. Chuavel, Y. Sun et al., Inferring Meta-models for Runtime System Data from the Clients of Management APIs, MODELS, volume LNCS 6395, pp.168-182, 2010.
DOI : 10.1109/TSE.2009.30
URL : https://hal.archives-ouvertes.fr/inria-00513246

A. Varzi, Parts, wholes, and part-whole relations: The prospects of mereotopology, Data & Knowledge Engineering, vol.20, issue.3, pp.259-286, 1996.
DOI : 10.1016/S0169-023X(96)00017-1

Y. Wu, G. Huang, H. Song, and Y. Zhang, Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System, MODELS, pp.514-530, 2012.
DOI : 10.1007/978-3-642-33666-9_33
URL : https://hal.archives-ouvertes.fr/hal-00748867