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

D. [. Allen and . Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078

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

]. D. Ang87 and . Angluin, Learning regular sets from queries and counterexamples Canal. A formal approach to component adaptation, Information and Computation Journal of Systems and Software, vol.75, issue.741, pp.87-106, 1987.

. S. Bbg-+-11-]-g, A. Blair, N. Bennaceur, P. Georgantas, V. Grace et al., The role of ontologies in emergent middleware: Supporting interoperability in complex distributed systems

. Bbg-+-13-]-n, A. Bencomo, P. Bennaceur, G. S. Grace, V. Blair et al., The role of models@run.time in supporting on-the-fly interoperability, Computing, issue.3, pp.95167-190, 2013.

]. A. Bci-+-13, C. Bennaceur, M. Chilton, B. Isberner, and . Jonsson, Automated mediator synthesis: Combining behavioural and ontological reasoning

]. F. Bcm-+-03, D. Baader, D. L. Calvanese, D. Mcguinness, P. F. Nardi et al., The Description Logic Handbook, pp.44-157, 2003.

M. Brambilla, S. Ceri, E. Valle, F. Facca, and C. Tziviskou, A Software Engineering Approach based on WebML and BPMN to the Mediation Scenario of the SWS Challenge, Semantic Web Services Challenge: Results from the First Year, pp.51-70, 2008.
DOI : 10.1007/978-0-387-72496-6_4

L. Baresi, E. D. Nitto, C. Ghezzi-bromberg, P. Grace, and L. Réveillère, Toward open-world software: Issues and challenges, International Conference on Distributed Computing Systems, ICDCS, pp.36-43, 2006.
DOI : 10.1109/MC.2006.362

M. H. Burstein, J. R. Hobbs, O. Lassila, D. L. Martin, D. V. Mcdermott et al., Daml-s: Web service description for the semantic web, International Semantic Web Conference, ISWC, pp.348-363, 2002.

V. [. Bennaceur and . Issarny, Automated Synthesis of Mediators to Support Component Interoperability, IEEE Transactions on Software Engineering, vol.41, issue.3, p.15, 2013.
DOI : 10.1109/TSE.2014.2364844

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

]. A. Bir-+-11, V. Bennaceur, J. Issarny, M. Richard, S. Alessandro et al., Automatic service categorisation through machine learning in emergent middleware, Software Technologies Concertation on Formal Methods for Components and Objects, FMCO, pp.133-149, 2011.

]. A. Bis-+-12, V. Bennaceur, D. Issarny, F. Sykes, M. Howar et al., Machine learning for emergent REFERENCES middleware Achieving interoperability through semantics-based technologies: The instant messaging case, Proc. of the Joint workshop on Intelligent Methods for Software System Engineering 11th International Semantic Web Conference, ISWC, pp.15-17, 2012.

. Blhl-+-01-]-t, J. Berners-lee, O. Hendler, and . Lassila, The semantic web Implementing remote procedure calls Classifying software component interoperability errors to support component adaption, Proc. of the 7th International Symposium on Component-Based Software Engineering , CBSE, pp.28-37, 1984.

G. Blair, M. Paolucci, P. Grace, N. Georgantasbpt10-]-p, M. Bertoli et al., Interoperability in complex distributed systems Automated composition of web services via planning in asynchronous domains, SFM-11: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems ? Connectors for Eternal Networked Software Systems. Saadi, and V. Issarny. Inferring affordances using learning techniques . In International Workshop on Eternal Systems, pp.1-26, 2010.

Y. Bromberg, L. Réveillère, J. L. Lawall, G. Mullerbz83, ]. D. Brand et al., Automatic generation of network protocol gateways On communicating finite-state machines Zavattaro. Publish/subscribe vs. shared dataspace coordination infrastructures: Is it just a matter of taste?, Proc. of Middleware Proc. of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, pp.51-323, 1983.

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

S. [. Calinescu, . L. Kikuchicl89-]-k, S. S. Calvert, and . Lam, Formal methods @ runtime Deriving a protocol converter: A top-down method Cimpian and A. Mocan. WSMX process mediation based on choreographies, 16th Monterey Workshop on Foundations of Computer Software. Modeling, Development , and Verification of Adaptive Systems Proc. of the Symposium on Communications Architectures & Protocols, SIGCOMM Proc. of Business Process Management Workshop, pp.122-135, 1989.

A. [. Ceriotti, G. P. Murphy, and . Picco, Data sharing vs. message passing: synergy or incompatibility?, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.100-107, 2008.
DOI : 10.1145/1363686.1363714

L. [. Chang, M. Mariani, and . Pezzè, In-field healing of integration problems with COTS components, International Conference on Software Engineering, ICSE, pp.166-176, 2009.

J. J. Cámara, G. Martín, J. Salaün, M. Cubo, C. Ouederni et al., ITACA: An integrated toolbox for the automatic com- REFERENCES position and adaptation of web services Assessment report: Experimenting with CONNECT in Systems of Systems, and Mobile Environments Formal methods: State of the art and future directions, Proc. of the International Conference on Software Engineering, ICSECon12] C. Consortium. Connect Deliverable D6, pp.627-630, 1996.

]. K. Dcttdk11, R. Dentler, A. Cornet, N. Ten-teije, and . De-keizer, Comparison of reasoners for large ontologies in the OWL 2 EL profile, Semantic Web, pp.71-87, 2011.

J. [. Davies, N. F. Gibbonsaquin, . Noydpt09-]-g, M. Denaro, D. Pezzè et al., Formal methods for future interoperability Where to publish and find ontologies? a survey of ontology libraries Ensuring interoperable serviceoriented systems through engineered self-healing Eliminating interchangeable values in constraint satisfaction problems Architectural mismatch or why it's hard to build systems out of existing parts, Proc. of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, Proc. of the 6th International Conference on Service-Oriented Computing, ICSOC Proc. of the 9th National Conference on Artificial Intelligence, AAAI Proc. of the 17th International Conference on Software Engineering, ICSE REFERENCES [Gar10] D. Garlan. Software engineering in an uncertain world Proc. of the Workshop on Future of Software Engineering Research, pp.60-64, 1991.

G. [. Grace, S. Blair, and . Samuel, ReMMoC: A Reflective Middleware to Support Mobile Client Interoperability, Proc. of the OTM Confederated International Conferences CoopIS/DOA/ODBASE, pp.1170-1187, 2003.
DOI : 10.1007/978-3-540-39964-3_75

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

]. A. Ggm-+-02, N. Gangemi, C. Guarino, A. Masolo, L. Oltramari et al., Sweetening ontologies with DOLCE, Proc. of the 13th International Conference on Knowledge Engineering and Knowledge Management, EKAW, pp.166-181, 2002.

. Gibm-+-10-]-n, V. Georgantas, S. B. Issarny, Y. Mokhtar, S. Bromberg et al., Middleware architecture for ambient intelligence in the networked home Reducing adapter synthesis to controller synthesis, Handbook of Ambient Intelligence and Smart Environments, pp.1139-1169, 2010.

M. [. Golbeck, . R. Rothsteingru93-]-t, . Grubergru09-]-t, . Gruber, and . Ontology, Linking social networks on the web with foaf: A semantic web case study A translation approach to portable ontology specifications, Proc. of the Twenty-Third AAAI Conference on Artificial Intelligence Encyclopedia of Database Systems, pp.1138-1143, 1993.

. Grw-+-08-]-k, A. Gomadam, Z. Ranabahu, A. Wu, J. Sheth et al., A declarative approach using SAWSDL and semantic templates towards process REFERENCES mediation Helping people (and machines) understanding each other: The role of formal ontology, Semantic Web Services Challenge: Results from the First Year, pp.101-118, 2004.

]. C. Hoa04, . Hoare, H. Objects, A. Issarny, Y. Bennaceur et al., Composing distributed systems: Overcoming the interoperability challenge Middleware-layer connector synthesis: Beyond state of the art in middleware interoperability Georgantas. A perspective on the future of middleware-based software engineering, Process algebra: A unifying approach 25 Years Communicating Sequential Processes SFM-11: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems ? Connectors for Eternal Networked Software Systems Proc. of the Workshop on the Future of Software Engineering, FOSE IEEE standard glossary of software engineering terminology, pp.26-217, 1990.

M. [. Inverardi and . Tivoli, Automatic synthesis of modular connectors via composition of protocol mediation patterns, 2013 35th International Conference on Software Engineering (ICSE), pp.3-12, 2013.
DOI : 10.1109/ICSE.2013.6606546

J. Jardim-gonçalves, A. Grilo, C. Agostinho, F. Lampathaki, and Y. Charalabidis, Systematisation of Interoperability Body of Knowledge: the foundation for Enterprise Interoperability as a science, Enterprise Information Systems, vol.24, issue.2, pp.7-32, 2013.
DOI : 10.1109/TSMCA.2009.2027130

D. [. Junker, . M. Mailharrokar72-]-r, and . Karp, The logic of ilog (j) configurator: Combining constraint programming with a description logic Text categorization with suport vector machines: Learning with many relevant features Reducibility among combinatorial problems, Proc. of IJCAI Workshop on Configuration Proc. of the 10th European Conference on Machine Learning, ECML Proc. of a Symposium on the Complexity of Computer Computations, pp.13-20, 1972.

. Kbp-+-10-]-i, Y. Krka, D. Brun, J. Popescu, N. Garcia et al., Using dynamic execution traces and program invariants to enhance behavioral model inference, Proc. of the 32nd International Conference on Software Engineering, ICSE Kubicek and R. Cimander. Three dimensions of organizational interoperability, pp.179-182, 2009.

]. R. Kel76 and . Keller, Formal verification of parallel programs, Communications of the ACM, vol.19, issue.7, pp.371-384, 1976.

C. Kubczak, T. Margaria, B. Steffen, and R. Nagel, Service-oriented Mediation with jABC/jETI, Semantic Web Services Challenge: Results from the First Year, pp.71-99, 2008.
DOI : 10.1007/978-0-387-72496-6_5

J. Kopecký, T. Vitvar, C. Bournez, and J. Farrell, SAWSDL: Semantic Annotations for WSDL and XML Schema, IEEE Internet Computing, vol.11, issue.6, pp.60-67, 2007.
DOI : 10.1109/MIC.2007.134

]. F. Lab03 and . Laburthe, Constraints over ontologies, Proc. of the 9th International Conference on Principles and Practice of Constraint Programming, pp.878-882353, 1988.

]. E. Lar03 and . Larson, Interoperability of us and nato allied air forces: Supporting data and case studies, 2003.

L. [. Lorenzoli, M. Mariani, and . 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

G. A. Lewis, E. J. Morris, S. Simanta, and L. Wrage, Why Standards Are Not Enough to Guarantee End-to-End Interoperability, Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), pp.164-173, 2008.
DOI : 10.1109/ICCBSS.2008.25

A. [. Lam, . Shankarlw94-]-b, J. M. Liskov, and . Wing, Protocol verification via projections A behavioral notion of subtyping, IEEE Transactions Software Engineering ACM Transactions on Programming Languages and Systems, TOPLAS, vol.10, issue.46, pp.325-342, 1984.

. L. Mbm-+-07-]-d, M. H. Martin, D. V. Burstein, S. A. Mcdermott, M. Mcilraith et al., Bringing semantics to web services with OWL-S The role of middleware in architecture-based software development, Proc. if the World Wide Web conference, WWW'07 Enterprise Service Bus Proc. of the Free and open source Software conf. Yahoo! and microsoft bridge global instant messaging communities, 2010. online. 129 REFERENCES [MK06] J. Magee and J. Kramer. Concurrency : State models and Java programs, pp.243-277, 2003.

L. Morris, C. Levine, P. Meyers, D. Place, and . Plakosh, System of systems interoperability (sosi): final report, 2004.

G. [. Murphy, G. Picco, P. Mateescu, G. Poizat, and . Salaün, LIME, ACM Transactions on Software Engineering and Methodology, vol.15, issue.3, pp.107755-777, 2006.
DOI : 10.1145/1151695.1151698

M. Merten, B. Steffen, F. Howar, and T. Margaria, Next Generation LearnLib, Proc. of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, pp.220-223, 2011.
DOI : 10.1007/978-3-540-70889-6_7

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

T. [. Mcilraith, H. Son, and . Zeng, Semantic Web services, IEEE Intelligent Systems, vol.16, issue.2, pp.46-53, 2001.
DOI : 10.1109/5254.920599

H. R. Nezhad, B. Benatallah, F. Casati, and F. Toumani, Web Services Interoperability Specifications, Computer, vol.39, issue.5, pp.24-32, 2006.
DOI : 10.1109/MC.2006.181

. R. Nbm-+-07-]-h, B. Nezhad, A. Benatallah, F. Martens, F. Curbera et al., Semi-automated adaptation of service interactions, Proc. of the 16th International Conference on World Wide Web, WWW, pp.993-1002, 2007.

]. J. Nie93 and . Nielsen, Usability Engineering, p.129, 1993.

A. [. Niles, . R. Peasenxb10-]-h, G. Y. Nezhad, B. Xu, . Benatallah-]-m et al., Towards a standard upper ontology 149 REFERENCES Protocol-aware matching of web service interfaces for adapter development Semantic matching of web services capabilities, Proc. of the 2nd International Conference on Formal Ontology in Information Systems, FOIS Proc. of the 19th International Conference on World Wide Web, WWW Proc. of the First International Semantic Web Conference, ISWC, pp.2-9, 2001.

C. Petrie, T. Margaria, H. Lausen, and M. Zaremba, Semantic Web Services Challenge: Results from the First Year, p.133, 2008.
DOI : 10.1007/978-0-387-72496-6

B. [. Papadimitriou, P. Sales, T. Demeester, and . Zahariadis, From Internet Architecture Research to Standards, Future Internet Assembly, pp.68-80, 2012.
DOI : 10.1007/978-3-642-30241-1_7

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

P. [. Rossi, T. Van-beek, . Walshsal10-]-g, and . Salaün, Handbook of constraint programming Analysis and verification of service interaction protocols a brief survey, Proc. of the 4th International Workshop on Testing, Analysis and Verification of Web Software, TAV-WEB, pp.81-75, 2006.

J. [. Shvaiko, C. Euzenat, . Secur-edsg03-]-b, D. Spitznagel, and . Garlan, A survey of schema-based matching approaches Deliverable d22.1: Interoperability concept A compositional formalization of connector wrappers, Proc. of the 25th International Conference on Software Engineering, ICSE Procedure calls are the assembly language of software interconnection: Connectors deserve first-class status. In ICSE Workshop on Studies of Software Design, pp.146-171, 1993.

. Smh-+-10-]-l, P. Seligman, A. Y. Mork, K. P. Halevy, M. J. Smith et al., Openii: an open source information integration toolkit, Proc. of the ACM SIGMOD International Conference on Management of Data, SIGMOD, pp.1057-1060, 2010.

J. [. Sykes, J. Magee, . Kramer-]-g, C. S. Salton, C. T. Yang et al., FlashMob, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, pp.100-109, 1974.
DOI : 10.1145/1988008.1988023

M. [. Tanenbaum and . Van-steen, Distributed systems: principles and paradigms -Second Edition, Computer networks, p.104, 2006.

R. Ullberg, D. Chen, and P. Johnson, Barriers to Enterprise Interoperability, Proc. of the 2nd International Workshop on Enterprise Interoperability, IWEI, pp.13-24, 2009.
DOI : 10.1007/978-3-642-04750-3_2

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

T. Vergnaud, J. Hugues, L. Pautet, and F. Kordon, PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications, Proc. of the 9th International Conference on Reliable Software Technologies Reliable Software Technologies, Ada-Europe, pp.106-119, 2004.
DOI : 10.1007/978-3-540-24841-5_8

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

R. [. Vaculín, K. P. Neruda, and . 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

T. Vitvar, M. Zaremba, M. Moran, and A. Mocan, Mediation using WSMO, WSML and WSMX. In Semantic Web Services Challenge: Results from the First Year Mediators in the architecture of future information systems, IEEE Computer, vol.133, issue.253 5, pp.31-49, 1992.
DOI : 10.1007/978-0-387-72496-6_3

R. [. Yellin and . 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

]. W. Zhu12 and . Zhu, Semantic Mediation Bus: An Ontology-based Runtime Infrastructure for Service Interoperability, 2012 IEEE 16th International Enterprise Distributed Object Computing Conference Workshops, pp.140-145
DOI : 10.1109/EDOCW.2012.27