M. Altenhofen, E. Boerger, and J. Lemcke, An execution semantics for mediation patterns, Proc. of the BPM'2005 Workshops: Workshop on Choreography and Orchestration for Business Process Managament, 2005.

B. Benatallah, F. Casati, D. Grigori, H. Motahari-nezhad, and F. Toumani, Developing Adapters for Web Services Integration, Proc. of the 17th International Conference on Advanced Information System Engineering, CAiSE, pp.415-429, 2005.
DOI : 10.1007/11431855_29
URL : https://hal.archives-ouvertes.fr/hal-00130695

L. Bordeaux, G. Salaün, D. Berardi, and M. Mecella, When are Two Web Services Compatible?, Proc. 5th International on Technologies for E-Services (LNCS), pp.15-28, 2004.
DOI : 10.1007/978-3-540-31811-8_2

R. Djikman and M. Dumas, SERVICE-ORIENTED DESIGN: A MULTI-VIEWPOINT APPROACH, International Journal of Cooperative Information Systems, vol.13, issue.04, pp.337-368, 2004.
DOI : 10.1142/S0218843004001012

M. Dumas, M. Spork, and K. Wang, Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation
DOI : 10.1007/11841760_6

M. Fauvet and A. Ait-bachir, An automaton-based approach for web service mediation, Proc. of the International Conference on Concurrent Engineering, pp.47-54, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00954081

H. Foster, S. Uchitel, J. Magee, and J. Kramer, Modelbased verification of web service compositions, Proc. of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), pp.152-161, 2003.

S. Haddad, T. Melliti, P. Moreaux, and S. Rampacek, Modelling web services interoperability, Proc. of the 6th International Conference on Enterprise Information Systems, pp.287-295, 2004.

A. Martens, S. Moser, A. Gerhardt, and K. Funk, Analyzing Compatibility of BPEL Processes, Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06), pp.147-156, 2006.
DOI : 10.1109/AICT-ICIW.2006.48

P. Oaks and A. Ter-hofstede, Guided interaction: A mechanism to enable ad hoc service interaction, Information Systems Frontiers, vol.8, issue.1, 2005.
DOI : 10.1007/s10796-006-9016-1

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

S. R. Ponnekanti and A. Fox, Interoperability Among Independently Evolving Web Services, Proc. of the International Middleware Conference on Middleware, pp.331-351, 2004.
DOI : 10.1007/BFb0053382
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.4840

H. W. Schmidt and R. H. Reussner, Generating adapters for concurrent component protocol synchronisationThe Fifth IFIP International conference on Formal Methods for Open Object-based Distributed Systems, Proc. of the IFIP TC6, pp.213-229, 2002.

R. J. Van-glabbeek and W. P. Weijland, Branching time and abstraction in bisimulation semantics, Journal of the ACM, vol.43, issue.3, pp.555-600, 1996.
DOI : 10.1145/233551.233556