A. Ait-bachir, M. Dumas, and M. Fauvet, BESERIAL: Behavioural service analyser, Proc. of BPM Int. Conf., demo session, number LNCS 5240, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00953860

A. Ait-bachir, M. Dumas, and M. Fauvet, Detection 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, p.14, 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

H. Foster, S. Uchitel, J. Magee, and J. Kramer, WS-Engineer: A tool for modelbased 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, Synchronizability of conversations among Web services, IEEE Transactions on Software Engineering, vol.31, issue.12, p.31, 2005.
DOI : 10.1109/TSE.2005.141

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 simulationbased graph edit distance, Proc. of BPM Int. Conf., number LNCS 5240, 2008.

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, Semi-automated adaptation of service interactions, Proceedings of the 16th international conference on World Wide Web , WWW '07, 2007.
DOI : 10.1145/1242572.1242706

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. Middleware Conf. on Middleware, 2004.
DOI : 10.1007/BFb0053382
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.4840

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

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