R. Allen and D. 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

M. V. Andrew and S. Tanenbaum, Distributed systems : principles and paradigms, 2007.

K. Arnold, The Jini architecture, Proceedings of the 36th ACM/IEEE conference on Design automation conference , DAC '99, pp.157-162, 1999.
DOI : 10.1145/309847.309906

C. Bartolini, A. Bertolino, E. Marchetti, and A. Polini, WS-TAXI: A WSDL-based Testing Tool for Web Services, 2009 International Conference on Software Testing Verification and Validation, 2009.
DOI : 10.1109/ICST.2009.28

G. Behrmann, A. Cougnard, A. David, E. Fleury, K. G. Larsen et al., UPPAAL-Tiga: Time for Playing Games!, 2007.
DOI : 10.1007/978-3-540-73368-3_14
URL : https://hal.archives-ouvertes.fr/hal-00350466

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

T. Berg, B. Jonsson, and H. Raffelt, Regular Inference for State Machines Using Domains with Equality Tests, pp.317-331, 2008.
DOI : 10.1007/978-3-540-78743-3_24

A. Bertolino, P. Inverardi, P. Pelliccione, and M. Tivoli, Automatic synthesis of behavior protocols for composable web-services, 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.1595719
URL : https://hal.archives-ouvertes.fr/inria-00415421

P. Bidinger, A. Schmitt, and J. Stefani, An Abstract Machine for the Kell Calculus, FMOODS, pp.31-46, 2005.
DOI : 10.1007/3-540-47959-7_3

P. Bidinger and J. Stefani, The Kell Calculus: Operational Semantics and Type System, FMOODS, pp.109-123, 2003.
DOI : 10.1007/3-540-47959-7_3

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

Y. Bromberg, Solutions to middleware heterogeneity in open networked environment, 2006.

Y. Bromberg and V. Issarny, INDISS: Interoperable Discovery System for Networked Services, Middleware, pp.164-183, 2005.
DOI : 10.1007/978-3-540-39800-4_1
URL : https://hal.archives-ouvertes.fr/hal-00353571

Y. Bromberg and V. Issarny, Formalizing middleware interoperability: From design time to runtime solutions, 2008.

D. Calvanese, G. D. Giacomo, M. Lenzerini, M. Mecella, and F. Patrizi, Automatic Service Composition and Synthesis: the Roman Model, IEEE Data Eng. Bull, vol.31, issue.3, pp.18-22, 2008.

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

G. Denaro, M. Pezzèpezz-`-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

W. Emmerich, Software engineering and middleware, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.117-129, 2000.
DOI : 10.1145/336512.336542

D. Fensel and C. Bussler, The Web Service Modeling Framework WSMF, Electronic Commerce Research and Applications, vol.1, issue.2, pp.113-137, 2002.
DOI : 10.1016/S1567-4223(02)00015-7

C. A. Flores-cortéscort´cortés, G. S. Blair, and P. Grace, An adaptive middleware to overcome service discovery heterogeneity in mobile ad hoc environments, IEEE Distributed Systems Online, vol.8, issue.7, 2007.

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

D. Garlan, Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events, SFM, pp.1-24, 2003.
DOI : 10.1007/978-3-540-39800-4_1

C. Ghezzi, A. Mocci, and M. Monga, Synthesizing Intentional Behavior Models by Graph Transformation, 2009.

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

E. Guttman, Service location protocol: automatic discovery of IP network services, IEEE Internet Computing, vol.3, issue.4, pp.71-80, 1999.
DOI : 10.1109/4236.780963

J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, 2006.

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

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

P. Inverardi and M. Tivoli, Software Architecture for Correct Components Assembly, LNCS 2804, 2004.
DOI : 10.1007/978-3-540-39800-4_6

M. Jeronimo and J. Weast, UPnP Design by Example :A Software Designer's Guide to Universal Plug and Play, 2003.

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, pp.371-384, 1976.
DOI : 10.1145/360248.360251

A. Kucera and O. Strazovsk´ystrazovsk´y, On the Controller Synthesis for Finite-State Markov Decision Processes, FSTTCS 2005, pp.541-552, 2005.

S. S. Lam, Correction to 'Protocol conversion', IEEE Transactions on Software Engineering, vol.14, issue.9, pp.1376-7679, 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

N. Limam, J. Ziembicki, R. Ahmed, Y. Iraqi, T. Li et al., OSDA: Open service discovery architecture for efficient cross-domain service provisioning, Computer Communications, vol.30, issue.3, pp.546-563, 2007.
DOI : 10.1016/j.comcom.2005.11.017
URL : https://hal.archives-ouvertes.fr/hal-01165443

D. Lorenzoli, L. Mariani, M. Pezzèpezz, 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

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

A. Marconi, M. Pistore, and P. Traverso, Automated Composition of Web Services: the ASTRO Approach, IEEE Data Eng. Bull, vol.31, issue.3, pp.23-26, 2008.

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), 2007.
DOI : 10.1109/ICSE.2007.84

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

K. Meinke, Automated black-box testing of functional correctness using function approximation, ACM SIGSOFT Software Engineering Notes, vol.29, issue.4, pp.143-153, 2004.
DOI : 10.1145/1013886.1007532

T. Melliti, P. Poizat, and S. B. Mokhtar, Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services, FASE 2008
DOI : 10.1007/978-3-540-78743-3_12
URL : https://hal.archives-ouvertes.fr/hal-00340490

R. Milner, Communication and Concurrency, 1989.

R. Milner, Communicating and Mobile Systems: the Pi-Calculus, 1999.

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, II, Information and Computation, vol.100, issue.1, pp.41-77, 1992.
DOI : 10.1016/0890-5401(92)90009-5

S. B. Mokhtar, N. Georgantas, and V. Issarny, COCOA: COnversation-based service COmposition in pervAsive computing environments with QoS support, Journal of Systems and Software, vol.80, issue.12, p.80, 2007.
DOI : 10.1016/j.jss.2007.03.002
URL : https://hal.archives-ouvertes.fr/inria-00415927

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

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

A. L. Murphy, G. P. Picco, and G. Roman, LIME, ACM Transactions on Software Engineering and Methodology, vol.15, issue.3, pp.279-328, 2006.
DOI : 10.1145/1151695.1151698

J. Nakazawa, H. Tokuda, W. K. Edwards, and U. Ramachandran, A Bridging Framework for Universal Interoperability in Pervasive Systems, 26th IEEE International Conference on Distributed Computing Systems (ICDCS'06), p.3, 2006.
DOI : 10.1109/ICDCS.2006.5

N. F. Noy, Semantic integration, ACM SIGMOD Record, vol.33, issue.4, pp.65-70, 2004.
DOI : 10.1145/1041410.1041421

J. Pathak, S. Basu, R. R. Lutz, and V. Honavar, MoSCoE: AN APPROACH FOR COMPOSING WEB SERVICES THROUGH ITERATIVE REFORMULATION OF FUNCTIONAL SPECIFICATIONS, International Journal on Artificial Intelligence Tools, vol.17, issue.01, pp.109-138, 2008.
DOI : 10.1142/S0218213008003807

P. Raverdy, V. Issarny, R. Chibout, A. De, and L. Chapelle, A multi-protocol approach to service discovery and access in pervasive environments, Proc. of MobiQuitous'06, pp.1-9, 2006.

M. Románrom´román, R. H. Campbell, and F. Kon, Reflective middleware: From your desk to your hand, IEEE Distributed Systems Online, vol.2, issue.5, 2001.

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

]. G. Salä-un, Generation of Service Wrapper Protocols from Choreography Specifications, In SEFM, vol.64, p.313, 2008.

A. Schmitt and J. Stefani, The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Global Computing, pp.146-178, 2004.
DOI : 10.1007/3-540-45694-5_19

M. Shaw, Procedure calls are the assembly language of software interconnection: Connectors deserve first-class status, 1994.
DOI : 10.1007/BFb0030517

R. Spalazzese, P. Inverardi, and V. Issarny, A Theory of Mediators for the Ubiquitous Networking Environment, 2009.

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 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

J. Stefani, A calculus of Kells, Electronic Notes in Theoretical Computer Science, vol.85, issue.1, 2003.
DOI : 10.1016/S1571-0661(05)80087-8

M. Stollberg, E. Cimpian, and D. Fensel, Mediating capabilities with deltarelations, Proceedings of the First International Workshop on Mediation in Semantic Web Services, co-located with the Third International Conference on Service Oriented Computing, 2005.

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

J. Su, T. Bultan, X. Fu, and X. Zhao, Towards a Theory of Web Service Choreographies, WS- FM'07, p.1
DOI : 10.1007/978-3-540-79230-7_1

D. Taubner, Finite representations of ccs and tcsp programs by automata and petri nets, LNCS, vol.369, 1989.

R. N. Taylor, N. Medvidovic, and E. M. Dashofy, Software architecture, 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.1595754
URL : https://hal.archives-ouvertes.fr/hal-00444077

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

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

M. Utting and B. Legeard, Practical Model-Based Testing -A Tools Approach, 2006.

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

R. J. Van-glabbeek, Notes on the methodology of CCS and CSP, ACP '95: Proceedings from the international workshop on Algebra of communicating processes, pp.329-349, 1997.
DOI : 10.1016/S0304-3975(96)00251-4

A. Wasylkowski and A. Zeller, Mining Operational Preconditions

A. Wasylkowski, A. Zeller, and C. Lindig, Detecting object usage anomalies, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering , ESEC-FSE '07, pp.35-44, 2007.
DOI : 10.1145/1287624.1287632

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