C. Deliverable and D. , Rephrasing interoperability in terms of connector behaviours. FET IP CONNECT EU project, FP7 grant agreement number 231167

U. Aßmann, S. Zschaler, and G. Wagner, Ontologies, Meta-models, and the Model-Driven Paradigm, 2006.

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

B. Benatallah, F. Casati, D. Grigori, H. R. Nezhad, and F. Toumani, Developing Adapters for Web Services Integration, proceedings of the International Conference on Advanced Information Systems Engineering (CAiSE), pp.415-429, 2005.
DOI : 10.1007/11431855_29
URL : https://hal.archives-ouvertes.fr/hal-00130695

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

M. M. Bersani, A. Frigeri, A. Morzenti, M. Pradella, M. Rossi et al., Bounded Reachability for Temporal Logic over Constraint Systems, 2010 17th International Symposium on Temporal Representation and Reasoning, 2010.
DOI : 10.1109/TIME.2010.21

P. Bertoli, M. Pistore, and P. Traverso, Automated composition of Web services via planning in asynchronous domains, Artificial Intelligence, vol.174, issue.3-4, pp.3-4316, 2010.
DOI : 10.1016/j.artint.2009.12.002

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

A. Brogi, C. Canal, and E. Pimentel, Component adaptation through flexible subservicing, Science of Computer Programming, vol.63, issue.1, pp.39-56, 2006.
DOI : 10.1016/j.scico.2005.07.012

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

Y. Bromberg, P. Grace, L. R. Eveilì-ere-bromberg, L. Eveilì-ere, J. L. Lawall et al., Starlink: Runtime interoperability between heterogeneous middleware protocols Automatic generation of network protocol gateways, Proc. ICDCS Proc. Middleware, 2009.

F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal, Pattern-Oriented Software Architecture, 1996.

K. L. Calvert and S. S. Lam, Formal methods for protocol conversion, IEEE Journal on Selected Areas in Communications, vol.8, issue.1, pp.127-142, 1990.
DOI : 10.1109/49.46852

C. Canal, P. Poizat, and G. Salä-un, Model-Based Adaptation of Behavioral Mismatching Components, IEEE Transactions on Software Engineering, vol.34, issue.4
DOI : 10.1109/TSE.2008.31

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, M. Pezzèpezz, and . 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. Clarke, O. Grumberg, and D. Peled, Model checking, 2001.

H. Comon and Y. Jurski, Multiple counters automata, safety analysis and presburger arithmetic, Proceedings of the 10th International Conference on Computer Aided Verification, CAV '98, pp.268-279, 1998.
DOI : 10.1007/BFb0028751

S. Demri, A. Finkel, V. Goranko, and G. Van-drimmelen, Model-checking CTL* over flat Presburger counter systems, Journal of Applied Non-Classical Logics, vol.56, issue.2, pp.313-344, 2010.
DOI : 10.1016/0304-3975(85)90087-8

M. Dumas, M. Spork, and K. Wang, Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation, Business Process Management, pp.65-80, 2006.
DOI : 10.1007/11841760_6

A. Finkel and A. Sangnier, Reversal-Bounded Counter Machines Revisited, Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science, MFCS '08, pp.323-334, 2008.
DOI : 10.1007/978-3-540-85238-4_26
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.7262

H. Foster, S. Uchitel, J. Magee, and J. Kramer, WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography, Test and Analysis of Web Services, pp.87-119, 2007.
DOI : 10.1007/978-3-540-72912-9_4

X. Fu, T. Bultan, and J. Su, Synchronizability of conversations among Web services, IEEE Transactions on Software Engineering, vol.31, issue.12, pp.1042-1055, 2005.
DOI : 10.1109/TSE.2005.141

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

D. Garlan and M. Shaw, AN INTRODUCTION TO SOFTWARE ARCHITECTURE, 1994.
DOI : 10.1142/9789812798039_0001

F. Giunchiglia, M. Marchese, and I. Zaihrayeu, Encoding classifications into lightweight ontologies, J. Data Semantics, 2007.

P. Grace, G. S. Blair, and S. Samuel, ReMMoC: A Reflective Middleware to Support Mobile Client Interoperability, CoopIS/DOA/ODBASE, pp.1170-1187, 2003.
DOI : 10.1007/978-3-540-39964-3_75

R. Hamid, B. Motahari-nezhad, A. Benatallah, F. Martens, F. Curbera et al., Semi-automated adaptation of service interactions, Proceedings of WWW '07, 2007.

O. H. Ibarra, Reversal-Bounded Multicounter Machines and Their Decision Problems, Journal of the ACM, vol.25, issue.1, pp.116-133, 1978.
DOI : 10.1145/322047.322058

P. Inverardi, V. Issarny, and R. Spalazzese, A Theory of Mediators for Eternal Connectors, Proceedings of ISoLA 2010 -4th International Symposium On Leveraging Applications of Formal Methods, 2010.
DOI : 10.1007/978-3-642-16561-0_25
URL : https://hal.archives-ouvertes.fr/inria-00512443

P. Inverardi, R. Spalazzese, and M. Tivoli, Application-Layer Connector Synthesis, Formal Methods for Eternal Networked Software Systems (SFM'11), pp.148-190, 2011.
DOI : 10.1007/978-3-642-21455-4_5
URL : https://hal.archives-ouvertes.fr/inria-00620465

P. Inverardi and M. Tivoli, Deadlock-free software architectures for COM/DCOM Applications, Journal of Systems and Software, vol.65, issue.3, pp.173-183, 2003.
DOI : 10.1016/S0164-1212(02)00037-7

V. Issarny, A. Bennaceur, and Y. Bromberg, Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability, Formal Methods for Eternal Networked Software Systems (SFM'11, 2011.
DOI : 10.1007/978-3-642-21455-4_7
URL : https://hal.archives-ouvertes.fr/inria-00586630

F. Jiang, Y. Fan, and X. Zhang, Rule-Based Automatic Generation of Mediator Patterns for Service Composition Mismatches, 2008 The 3rd International Conference on Grid and Pervasive Computing, Workshops, pp.3-8, 2008.
DOI : 10.1109/GPC.WORKSHOPS.2008.21

Y. Kalfoglou and M. Schorlemmer, Ontology mapping: the state of the art, The Knowledge Engineering Review, vol.18, issue.1, pp.1-31, 2003.
DOI : 10.1017/S0269888903000651

Y. Kalfoglou and M. Schorlemmer, Ontology mapping: the state of the art, Semantic Interoperability and Integration, number 04391 in Dagstuhl Seminar Proceedings Schloss Dagstuhl, 2005.
DOI : 10.1017/S0269888903000651

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

R. Kumar, S. Nelvagal, and S. I. Marcus, A discrete event systems approach for protocol conversion, 1997.

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

X. Li, Y. Fan, J. Wang, L. Wang, and F. Jiang, A Pattern-Based Approach to Development of Service Mediators for Protocol Mediation, Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), pp.137-146, 2008.
DOI : 10.1109/WICSA.2008.13

M. Bersani, A. Frigeri, M. Pradella, and M. Rossi, Zot: a bounded model/satisfiability checker

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

J. A. Mart-`-mart-`-in and E. Pimentel, Automatic generation of adaptation contracts, Proceedings of FOCLASA, 2008.

F. Menge, Enterprise Service Bus, Proc. Free and open source software conf, 2007.

B. Meyer, Object-Oriented Software Construction, 1997.

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

M. Minsky, Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines, The Annals of Mathematics, vol.74, issue.3, pp.437-453, 1961.
DOI : 10.2307/1970290

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

N. Noy and E. Wallace, Simple part-whole relations in owl ontologies, 2001.

K. Okumura, A formal protocol conversion method, SIGCOMM, pp.30-37, 1986.
DOI : 10.1145/1013812.18176

M. Presburger and D. Jabcquette, On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation, History and Philosophy of Logic, vol.12, issue.2, pp.225-233, 1991.
DOI : 10.1080/014453409108837187

D. Preuveneers and Y. Berbers, Prime numbers considered useful: Ontology encoding for efficient subsumption testing, 2006.

A. W. Roscoe, C. A. Hoare, and R. Bird, The Theory and Practice of Concurrency, 1997.

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

E. Sirin, B. Parsia, B. C. Grau, A. Kalyanpur, and Y. Katz, Pellet: A practical OWL-DL reasoner, Web Semantics: Science, Services and Agents on the World Wide Web, vol.5, issue.2, pp.51-53, 2007.
DOI : 10.1016/j.websem.2007.03.004

R. Spalazzese, A Theory of Mediating Connectors to achieve Interoperability, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00660816

R. Spalazzese and P. Inverardi, Components Interoperability through Mediating Connector Patterns, WCSI 2010, pp.27-41, 2010.
DOI : 10.4204/EPTCS.37.3

R. Spalazzese and P. Inverardi, Mediating Connector Patterns for Components Interoperability, ECSA, 2010.
DOI : 10.1007/11678564_12
URL : https://hal.archives-ouvertes.fr/inria-00512435

R. Spalazzese, P. Inverardi, and V. Issarny, Towards a formalization of mediating connectors for on the fly interoperability, 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, pp.345-348, 2009.
DOI : 10.1109/WICSA.2009.5290664
URL : https://hal.archives-ouvertes.fr/inria-00404308

B. Spitznagel, Compositional Transformation of Software Connectors, 2004.

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

M. Stollberg, E. Cimpian, A. Mocan, and D. Fensel, A Semantic Web Mediation Architecture, Proceedings of the 1st Canadian Semantic Web Working Symposium, 2006.
DOI : 10.1007/978-0-387-34347-1_2

M. Tivoli, P. Fradet, A. Girault, and G. , Adaptor Synthesis for Real-Time Components, TACAS, pp.185-200, 2007.
DOI : 10.1007/978-3-540-71209-1_16

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

M. Wermelinger and J. L. Fiadeiro, Connectors for mobile programs, IEEE Transactions on Software Engineering, vol.24, issue.5, pp.331-341, 1998.
DOI : 10.1109/32.685257

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

G. Wiederhold and M. Genesereth, The conceptual basis for mediation services, IEEE Expert: Intelligent Systems and Their Applications, pp.38-47, 1997.
DOI : 10.1109/64.621227

Z. Wu, K. Gomadam, A. Ranabahu, A. P. Sheth, and J. A. Miller, Automatic composition of semantic web services using process mediation, ICEIS (4), 2007.

D. M. Yellin and R. E. Strom, Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems, vol.19, issue.2, p.8181, 1997.
DOI : 10.1145/244795.244801