A. A¨?ta¨?t-bachir, M. Dumas, and M. Fauvet, BESERIAL: Behavioural service analyser, Proc. of BPM Int. Conf., demo session, number LNCS 5240, 2008.

A. A¨?ta¨?t-bachir, M. Dumas, and M. Fauvet, Detectioning behavioural incompatibilities between pairs of services, Proc. of the 4th WESOA08 in conj. with the 6th ICSOC, 2008.

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 Int. Conf. on Advanced Information System Engineering, CAiSE, 2005.
DOI : 10.1007/11431855_29
URL : https://hal.archives-ouvertes.fr/hal-00130695

D. Beyer, A. Chakrabarti, and T. A. Henzinger, Web service interfaces, Proceedings of the 14th international conference on World Wide Web , WWW '05, 2005.
DOI : 10.1145/1060745.1060770

L. Bordeaux, G. Salan, D. Berardi, and M. Mecella, When are Two Web Services Compatible?, Proc. 5th Int. Conf. on Technologies for E-Services (LNCS), Canada, 2004.
DOI : 10.1007/978-3-540-31811-8_2

P. Champin and C. Solnon, Measuring the Similarity of Labeled Graphs, Proc. of the 5th Int. Conf. On Case-Based Reasoning, volume LNCS 2689, 2003.
DOI : 10.1007/3-540-45006-8_9

J. C. Corrales, D. Grigori, and M. Bouzeghoub, BPEL Processes Matchmaking for Service Discovery, OTM Conferences, 2006.
DOI : 10.1007/11914853_15
URL : https://hal.archives-ouvertes.fr/hal-00130709

T. Deng, J. Huai, X. Li, Z. Du, and H. Guo, Automated synthesis of composite services with correctness guarantee, Proceedings of the 18th international conference on World wide web, WWW '09, 2009.
DOI : 10.1145/1526709.1526890

H. Foster, S. Uchitel, J. Magee, and J. Kramer, WS-Engineer: A tool for model-based verification of web service compositions and choreography, Proc. of the IEEE Int. Conf. on Software Engineering, China, 2006.

X. Fu, T. Bultan, and J. Su, WSAT: A Tool for Formal Analysis of Web Services
DOI : 10.1007/978-3-540-27813-9_48

S. Haddad, T. Melliti, P. Moreaux, and S. Rampacek, Modelling web services interoperability, Proc. of the 6th Int. Conf. on Enterprise Information Systems, 2004.

N. Lohmann, Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance, Proc. of BPM Int. Conf., number LNCS 5240, 2008.
DOI : 10.1007/978-3-540-85758-7_12

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), 2006.
DOI : 10.1109/AICT-ICIW.2006.48

H. Motahari-nezhad, B. Benatallah, A. Martens, F. Curbera, and F. Casati, Semiautomated adaptation of service interactions, Proc. of the 16th Int. Conf. on World Wide Web, Canada, 2007.

S. Nejati, M. Sabetzadeh, M. Chechik, S. Easterbrook, and P. Zave, Matching and Merging of Statecharts Specifications, 29th International Conference on Software Engineering (ICSE'07), 2007.
DOI : 10.1109/ICSE.2007.50

J. Pathak, S. Basu, and V. Honavar, Modeling web service composition using symbolic transition systems, Proc. of the 21st Conf. on Artificial Intelligence. Workshop on AI-driven Technologies for Service-Oriented Computing, 2006.

S. R. Ponnekanti and A. Fox, Interoperability Among Independently Evolving Web Services, Proc. of 5th the Int. Conf. on Middleware, 2004.
DOI : 10.1007/BFb0053382
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.4840

R. L. Rivest and R. E. Schapire, Machine Learning, Finite Automata Using Homing Sequences, pp.51-73, 1993.
DOI : 10.1007/978-3-642-93501-5_16

O. Sokolsky, S. Kannan, and I. Lee, Simulation-Based Graph Similarity, Proc. of 12th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, 2006.
DOI : 10.1016/0022-2836(81)90087-5

Y. Taher, A. A¨?ta¨?t-bachir, M. Fauvet, and D. Benslimane, Diagnosing Incompatibilities in Web Service Interactions for Automatic Generation of Adapters, 2009 International Conference on Advanced Information Networking and Applications, 2009.
DOI : 10.1109/AINA.2009.118
URL : https://hal.archives-ouvertes.fr/hal-00953846

B. Weber, S. Rinderle, and M. Reichert, Change patterns and change support features in process-aware information systems, Pro. of the 19th Int. Conf. on Advanced Information Systems Engineering, 2007.

S. Weerawarana, F. Curbera, F. Leymann, T. Storey, and D. Ferguson, Web Services Platform Architecture, 2005.

A. Wombacher, P. Fankhauser, B. Mahleko, and E. Neuhold, Matchmaking for business processes based on choreographies, IEEE International Conference on e-Technology, e-Commerce and e-Service, 2004. EEE '04. 2004, pp.359-368, 2004.
DOI : 10.1109/EEE.2004.1287334

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