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

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

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

B. Liskov, Keynote address -data abstraction and hierarchy. In: Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum) OOPSLA '87, pp.17-34, 1987.

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

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

B. Pang, L. Lee, and S. Vaithyanathan, Thumbs up? Sentiment classification using machine learning techniques, Proceedings of the 2002 Conference on Empirical Methods in Natural Language Processing, pp.79-86, 2002.

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

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

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

R. E. Fan, K. W. Chang, C. J. Hsieh, X. R. Wang, and C. J. Lin, Liblinear: A library for large linear classification, Journal of Machine Learning Research, vol.9, pp.1871-1874, 2008.

H. Li, X. Du, and X. Tian, A WSMO-Based Semantic Web Services Discovery Framework in Heterogeneous Ontologies Environment, In: KSEM, pp.617-622, 2007.
DOI : 10.1007/978-3-540-76719-0_68

G. Pirrò, P. Trunfio, D. Talia, P. Missier, and C. A. Goble, ERGOT: A Semantic-Based System for Service Discovery in Distributed Infrastructures, 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing, pp.263-272, 2010.
DOI : 10.1109/CCGRID.2010.24

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

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

B. Brandin and W. Wonham, Supervisory control of timed discrete-event systems, IEEE Transactions on Automatic Control, vol.39, issue.2, 1994.

P. Ramadge and W. Wonham, Supervisory control of a class of discrete event processes, Siam J. Control and Optimization, vol.25, issue.1, 1987.

A. Bracciali, A. Brogi, and C. Canal, A formal approach to component adaptation, Journal of Systems and Software, vol.74, issue.1, p.74, 2005.
DOI : 10.1016/j.jss.2003.05.007

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

S. S. Lam, Correction to 'Protocol conversion', IEEE Transactions on Software Engineering, vol.14, issue.9, p.1376, 1988.
DOI : 10.1109/32.6181

K. Okumura, A formal protocol conversion method, In: SIGCOMM, pp.30-37, 1986.

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

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

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

R. Vaculín, R. Neruda, and K. P. Sycara, An Agent for Asymmetric Process Mediation in Open Environments, Lecture Notes in Computer Science, vol.5006, pp.104-117, 2008.
DOI : 10.1007/978-3-540-79968-9_9

M. Nezhad, H. R. Benatallah, B. Martens, A. Curbera, F. Casati et al., Semiautomated adaptation of service interactions, WWW '07: Proceedings of the 16th international conference on World Wide Web, pp.993-1002, 2007.

S. K. Williams, S. A. Battle, and J. E. Cuadrado, Protocol Mediation for Adaptation in Semantic Web Services, In: ESWC, pp.635-649, 2006.
DOI : 10.1007/11762256_46

M. Nezhad, H. R. Xu, G. Y. Benatallah, and B. , Protocol-aware matching of web service interfaces for adapter development, Proceedings of the 19th international conference on World wide web. WWW '10, pp.731-740, 2010.

S. Ponnekanti and A. Fox, Interoperability Among Independently Evolving Web Services, Proc. ACM/IFIP/USENIX Middleware Conference, pp.331-351, 2004.
DOI : 10.1007/BFb0053382

G. Denaro, M. Pezzé, and D. Tosi, Ensuring interoperable service-oriented systems through engineered self-healing, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, 2009.
DOI : 10.1145/1595696.1595734

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

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