A. Arnold, Finite Transition Systems, International Series in Computer Science, 1989.

M. Autili, P. Inverardi, A. Navarra, and M. Tivoli, SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems, 29th International Conference on Software Engineering (ICSE'07), pp.784-787, 2007.
DOI : 10.1109/ICSE.2007.84

M. Autili, P. Inverardi, M. Tivoli, and D. Garlan, Synthesis of " correct " adaptors for protocol enhancement in component based systems, Proceedings of the 1st International Workshop on Specification and Verification of Component-Based Systems (SAVCBS'04) at FSE' 04, pp.79-86, 2004.

M. Autili, L. Mostarda, A. Navarra, and M. Tivoli, Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems, Journal of Systems and Software, vol.81, issue.12, pp.2210-2236, 2008.
DOI : 10.1016/j.jss.2008.04.006

D. Balek, Connectors in Software Architectures, 2002.

M. A. Barbosa and L. S. Barbosa, Specifying Software Connectors, ICTAC, pp.52-67, 2004.
DOI : 10.1007/978-3-540-31862-0_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.7077

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

A. Bennaceur, V. Issarny, and R. Spalazzese, On-the-fly reasoning about interoperability using ontology-based model checking. technical report, inria rocquencourt, 2011.

A. Bennaceur, R. Spalazzese, P. Inverardi, V. Issarny, N. Georgantas et al., Model-based mediators for dynamic-adaptive connectors, 2011.

A. Bertolino, P. Inverardi, V. Issarny, A. Sabetta, and R. Spalazzese, On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring, ISoLA 2010, Part II, pp.251-262, 2010.
DOI : 10.1007/978-3-642-16561-0_26
URL : https://hal.archives-ouvertes.fr/inria-00536763

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

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

R. Bruni, I. Lanese, and U. Montanari, A basic algebra of stateless connectors, Theoretical Computer Science, vol.366, issue.1-2, pp.98-120, 2006.
DOI : 10.1016/j.tcs.2006.07.005

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. Salaün, Model-Based Adaptation of Behavioral Mismatching Components, IEEE Transactions on Software Engineering, vol.34, issue.4, pp.546-563, 2008.
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

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

A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, F. Plateau et al., Synchronization of periodic clocks, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, 2005.
DOI : 10.1145/1086228.1086289
URL : https://hal.archives-ouvertes.fr/hal-01257295

L. De-alfaro and T. A. Henzinger, Interface automata, Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, ESEC/FSE-9, pp.109-120, 2001.

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

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

P. Feiler, R. P. Gabriel, J. Goodenough, R. Lingerand, T. Longstaff et al., Ultra-Large-Scale Systems: The Software Challenge of the Future, 2006.

J. L. Fiadeiro, A. Lopes, and M. Wermelinger, Theory and practice of software architectures, Tutorial at the 16th IEEE Conference on Automated Software Engineering, 2001.

G. Blair, Introduction to Interoperability, 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems (SFM-11:CONNECT). LNCS series, 2011.

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

D. Giannakopoulou, J. Kramer, and S. C. Cheung, Behaviour analysis of distributed systems using the tracta approach, Automated Software Engineering, vol.6, issue.1, pp.7-35, 1999.
DOI : 10.1023/A:1008645800955

D. Giannakopoulou, C. S. , and H. Barringer, Component Verification with Automatically Generated Assumptions, Automated Software Engineering, vol.9, issue.2, pp.297-320, 2005.
DOI : 10.1007/s10515-005-2641-y

B. Intrigila, P. Inverardi, and M. V. Zilli, A comprehensive setting for matching and unification over iterative terms, Fundam. Inform, vol.39, issue.3, pp.273-304, 1999.

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, Verification and Validation, Part II, pp.236-250, 2010.
DOI : 10.1007/978-3-642-16561-0_25
URL : https://hal.archives-ouvertes.fr/inria-00512443

P. Inverardi and M. Nesi, Deciding observational congruence of finite-state CCS expressions by rewriting, Theoretical Computer Science, vol.139, issue.1-2, pp.315-354, 1995.
DOI : 10.1016/0304-3975(94)00074-S

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

S. Kell, Rethinking software connectors. In SYANCO '07: International workshop on Synthesis and analysis of component connectors, pp.1-12, 2007.
DOI : 10.1145/1294917.1294918
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.125.8545

R. M. Keller, Formal verification of parallel programs, Communications of the ACM, vol.19, issue.7, pp.371-384, 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, Correction to 'Protocol conversion', IEEE Transactions on Software Engineering, vol.14, issue.9, p.1376, 1988.
DOI : 10.1109/32.6181

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

A. Lopes, M. Wermelinger, and J. L. Fiadeiro, Higher-order architectural connectors, ACM Transactions on Software Engineering and Methodology, vol.12, issue.1, pp.64-104, 2003.
DOI : 10.1145/839268.839272
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.3261

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

N. R. Mehta, N. Medvidovic, and S. Phadke, Towards a taxonomy of software connectors, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.178-187, 2000.
DOI : 10.1145/337180.337201

R. Milner, Communication and Concurrency, 1989.

H. R. Motahari-nezhad, B. Benatallah, A. Martens, F. Curbera, and F. Casati, Semi-automated adaptation of service interactions, Proceedings of the 16th international conference on World Wide Web , WWW '07, pp.993-1002, 2007.
DOI : 10.1145/1242572.1242706

H. R. Motahari-nezhad, G. Y. Xu, and B. Benatallah, 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.
DOI : 10.1145/1772690.1772765

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, 1989.
DOI : 10.1109/5.24143

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

P. Oreizy, N. Medvidovic, and R. N. Taylor, Architecture-based runtime software evolution, Proceedings of the 20th International Conference on Software Engineering, pp.177-186, 1998.
DOI : 10.1109/ICSE.1998.671114
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.8257

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

P. Pelliccione, P. Inverardi, and H. Muccini, CHARMY: A Framework for Designing and Verifying Architectural Specifications, IEEE Transactions on Software Engineering, vol.35, issue.3, pp.325-346, 2009.
DOI : 10.1109/TSE.2008.104

P. Pelliccione, M. Tivoli, A. Bucchiarone, and A. Polini, An architectural approach to the correct and automatic assembly of evolving component-based systems, Journal of Systems and Software, vol.81, issue.12, pp.2237-2251, 2008.
DOI : 10.1016/j.jss.2008.05.030

G. D. Plotkin, A note on inductive generalization, Machine Intelligence, vol.5, pp.153-163, 1970.

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.4840

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

P. Ramadge and W. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, 1989.
DOI : 10.1109/5.21072

J. Reynolds, Transformational systems and the algebraic structure of atomic formulas machine intelligence, pp.135-151, 1970.

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

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
URL : http://doi.org/10.4204/eptcs.37.3

R. Spalazzese and P. Inverardi, Mediating Connector Patterns for Components Interoperability, ECSA, pp.335-343, 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 and M. Autili, Synthesis, a tool for synthesizing correct and protocolenhanced adaptors. RSTI -L'objet, Coordination and Adaptation Techniques, pp.77-103, 2006.

M. Tivoli, P. Fradet, A. Girault, and G. Goessler, Adaptor Synthesis for Real-Time Components, International Conference on Tools and Algorithms for the Construction and Analysis of Systems member of ETAPS'07, pp.185-200, 2007.
DOI : 10.1007/978-3-540-71209-1_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.7141

M. Tivoli and P. Inverardi, Failure-free coordinators synthesis for component-based architectures, Science of Computer Programming, vol.71, issue.3, pp.181-212, 2008.
DOI : 10.1016/j.scico.2008.03.001

S. Uchitel and J. Kramer, A workbench for synthesising behaviour models from scenarios, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001, 2001.
DOI : 10.1109/ICSE.2001.919093

S. Uchitel, J. Kramer, and J. Magee, Detecting implied scenarios in message sequence chart specifications, ACM Proceedings of the joint 8th ESEC and 9th FSE, 2001.

V. Issarny, Middleware-layer Connector Synthesis, 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems (SFM- 11:CONNECT). LNCS series, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00586630

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

R. Vaculín and K. Sycara, Towards automatic mediation of OWL-S process models, IEEE International Conference on Web Services (ICWS 2007), pp.1032-1039, 2007.
DOI : 10.1109/ICWS.2007.177

S. M. Watt, Algebraic generalization, ACM SIGSAM Bulletin, vol.39, issue.3, pp.93-94, 2005.
DOI : 10.1145/1113439.1113452

M. Weiser, The computer for the 21 st century, Scientific American, 1991.

M. Weiser, Hot topics-ubiquitous computing, Computer, vol.26, issue.10, 1993.
DOI : 10.1109/2.237456

M. Weiser, Ubiquitous computing, 1996.

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, pp.38-49, 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

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

D. Woollard and N. Medvidovic, High performance software architectures: A connector-oriented approach, Proceedings of the Institute for Software Research Graduate Research Symposium, 2006.

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