C. Alexander, S. Ishikawa, and M. Silverstein, A Pattern Language: Towns, Buildings, Construction, 1977.

H. R. Andersen, Partial model checking, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, p.398, 1995.
DOI : 10.1109/LICS.1995.523274

P. Avgeriou and U. Zdun, Architectural Patterns Revisited -a Pattern Language, Proceedings of the 10th European Conference on Pattern Languages of Programs, 2005.

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

L. Bauer, J. Ligatti, and D. Walker, Edit automata: Enforcement mechanisms for run-time security policies, International Journal of Information Security, vol.4, issue.12, pp.2-16, 2005.

S. B. Mokhtar, D. Preuveneers, N. Georgantas, V. Issarny, and Y. Berbers, EASY: Efficient semAntic Service discoverY in pervasive computing environments with QoS and context support, Journal of Systems and Software, vol.81, issue.5, pp.785-808, 2008.
DOI : 10.1016/j.jss.2007.07.030

URL : https://hal.archives-ouvertes.fr/inria-00415930

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, G. S. Blair, F. Chauvel, N. Georgantas, P. Grace et al., Towards an Architecture for Runtime Interoperability, Proceedings of ISoLA 2010 -4th International Symposium On Leveraging Applications of Formal Methods, 2010.
DOI : 10.1007/978-3-642-16561-0_23

URL : https://hal.archives-ouvertes.fr/inria-00512446

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. 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, pp.141-150, 2009.
DOI : 10.1145/1595696.1595719

URL : https://hal.archives-ouvertes.fr/inria-00415421

M. Bichier and K. Lin, Service-Oriented Computing, Computer, vol.39, issue.3, pp.99-101, 2006.
DOI : 10.1109/MC.2006.102

J. Bradfield and C. Stirling, Modal logics and mu-calculi: an introduction. Handbook of Process Algebra, 2001.

Y. Bromberg and V. Issarny, INDISS: Interoperable Discovery System for Networked Services, Middleware '05: Proceedings of the ACM/IFIP/USENIX 2005 International Conference on 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, 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

G. Bruns and I. Sutherland, Model checking and fault tolerance, AMAST '97: Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology, pp.45-59, 1997.
DOI : 10.1007/BFb0000462

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

T. Cargill, C++ Programming Style, 1992.

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

F. Chauvel and J. J. , Code Generation from UML Models with Semantic Variation Points, Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, pp.54-68, 2005.
DOI : 10.1007/11557432_5

URL : https://hal.archives-ouvertes.fr/hal-00795105

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

B. P. Douglass, Doing hard time: developing real-time systems with UML, objects, frameworks , and patterns, 1999.

N. Drummond, A. L. Rector, R. Stevens, G. Moulton, M. Horridge et al., Putting OWL in order: Patterns for sequences in OWL, OWLED, p.9699, 2006.

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

E. A. Emerson, Temporal and Modal Logic, pp.995-1072, 1990.
DOI : 10.1016/B978-0-444-88074-1.50021-4

J. Euzenat and P. Shvaiko, Ontology matching, 2007.
DOI : 10.1007/978-3-642-38721-0

URL : https://hal.archives-ouvertes.fr/hal-00918122

H. Foster, S. Uchitel, J. Magee, and J. Kramer, LTSA-WS, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.771-774, 2006.
DOI : 10.1145/1134285.1134408

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

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

M. Hennessy, Algebraic Theory of Processes, 1988.

F. Howar, B. Jonsson, M. Merten, B. Steffen, and S. Cassel, On handling data in automata learning -considerations from the connect perspective, ISoLA (2), pp.221-235, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00647734

M. Huhns and M. Singh, Service-oriented computing: key concepts and principles, IEEE Internet Computing, vol.9, issue.1, pp.75-81, 2005.
DOI : 10.1109/MIC.2005.21

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

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

E. M. Jr, O. Grumberg, and D. A. , Peled. Model Checking, 1999.

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

B. Liskov and J. M. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, pp.1811-1841, 1994.
DOI : 10.1145/197320.197383

F. Martinelli, Formal Methods for the Analysis of Open Systems with Applications to Security Properties, CONNECT, vol.231167, p.9799, 1998.

F. Martinelli, Analysis of security protocols as open systems, Theoretical Computer Science, vol.290, issue.1, pp.1057-1106, 2003.
DOI : 10.1016/S0304-3975(02)00596-0

F. Martinelli and I. Matteucci, A framework for automatic generation of security controller, Software Testing, Verification and Reliability, vol.303, issue.1-2, pp.13-2010
DOI : 10.1002/stvr.441

URL : https://hal.archives-ouvertes.fr/inria-00536752

F. Martinelli and I. Matteucci, Through Modeling to Synthesis of Security Automata, Electronic Notes in Theoretical Computer Science, vol.179, pp.31-46, 2007.
DOI : 10.1016/j.entcs.2006.08.029

R. Milner, Communication and Concurrency, 1989.

P. Morris, R. Gray, and R. Filman, GOTO Removal Based on Regular Expressions, Journal of Software Maintenance: Research and Practice, vol.9, issue.1, pp.47-66, 1997.
DOI : 10.1002/(SICI)1096-908X(199701)9:1<47::AID-SMR142>3.0.CO;2-V

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

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

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

O. Nano and A. Zisman, Guest Editors' Introduction: Realizing Service-Centric Software Systems, IEEE Software, vol.24, issue.6, pp.28-30, 2007.
DOI : 10.1109/MS.2007.166

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

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

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

. Omg-), COM/CORBA interworking specification Part A & B, 1997.

C. Ouvans, M. Dumas, A. Hofstede, and W. , Van der Aalst. From BPMN Process Models to BPEL Web Services, Proceedings of the 5th International Conference on Web Services (ICWS'06), pp.285-292, 2006.

G. Palfinger, State Action Mapper, Proceedings of the 4th Conference on Pattern Languages of Programming, 1997.

M. Paolucci, T. Kawamura, T. R. Payne, and K. P. Sycara, Semantic Matching of Web Services Capabilities, ISWC, 2002.
DOI : 10.1007/3-540-48005-6_26

C. Peltz, Web services orchestration and choreography, Computer, vol.36, issue.10, pp.46-52, 2003.
DOI : 10.1109/MC.2003.1236471

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

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

F. B. Schneider, Enforceable security policies, ACM Transactions on Information and System Security, vol.3, issue.1, pp.30-50, 2000.
DOI : 10.1145/353323.353382

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.1853

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

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

R. S. Street and E. A. Emerson, An automata theoretic procedure for the propositional µ-calculus. Information and Computation, pp.249-264, 1989.

R. Studer, V. R. Benjamins, and D. Fensel, Knowledge engineering: Principles and methods, Data & Knowledge Engineering, vol.25, issue.1-2, pp.161-197, 1998.
DOI : 10.1016/S0169-023X(97)00056-6

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.1007

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

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

J. Van-gurp and J. Bosch, On the Implementation of Finite State Machines, Proceedings of the 3rd Annual International Conference on Software Engineering and Applications (IASTED/SEA 99, 1999.

I. Walukiewicz, A Complete Deductive System for the mu-Calculus, BRICS Report Series, vol.2, issue.6, 1993.
DOI : 10.7146/brics.v2i6.19508

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

F. Zhu, M. W. Mutka, and L. M. Ni, Service discovery in pervasive computing environments, IEEE Pervasive Computing, vol.4, issue.4, pp.81-90, 2005.