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

M. M. Bersani, L. Cavallaro, A. Frigeri, M. Pradella, and M. Rossi, SMTbased verification of ltl specification with integer constraints and its application to runtime checking of service substitutability, Proc. SEFM, pp.244-254, 2010.

. F. Bcm-+-03, D. Baader, D. Calvanese, D. Mcguinness, P. Nardi et al., The Description Logic Handbook, p.10, 2003.

P. Bertoli, M. Pistore, P. Traverso, C. T. Chen, C. Chilton et al., Automated composition of web services via planning in asynchronous domains Interface synthesis and protocol conversion A compositional specification theory for component behaviours Formal methods for protocol conversion, ESOP Proc. of Business Process Management Workshop, pp.316-361205, 1990.

C. J. +-09, J. Cámara, G. Martín, J. Salaün, M. Cubo et al., ITACA: An integrated toolbox for the automatic composition and adaptation of web services, ICSE Con12a. Connect Consortium. Deliverable D3.4: Dynamic Connector Synthesis: Principles, Methods, Tools and Assessment. FET IP Connect EU project, pp.627-630, 2009.

G. T. Gruber, A translation approach to portable ontology specifications, Knowledge Acquisition, vol.5, issue.2, pp.199-220, 1993.
DOI : 10.1006/knac.1993.1008

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

M. Merten, F. Howar, B. Steffen, P. Pellicione, and M. Tivoli, Automated Inference of Models for Black Box Systems Based on Interface Descriptions, ISOLA, pp.79-96, 2012.
DOI : 10.1007/978-3-642-34026-0_7

P. R. Passerone, L. De-alfaro, T. A. Henzinger, A. L. Sangiovanni-vincentelli, V. R. Vaculín et al., Convertibility verification and converter synthesis, Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design , ICCAD '02, pp.132-13927, 1997.
DOI : 10.1145/774572.774592