W. M. Van-der-aalst, A. J. Mooij, C. Stahl, and &. K. Wolf, Service Interaction: Patterns, Formalization, and Analysis, Proc. of SFM'09, pp.42-88, 2009.
DOI : 10.1007/978-3-642-01918-0_2

A. A¨?ta¨?t-bachir, Measuring Similarity of Service Interfaces, Proc. of the PhD Symposium at ICSOC'08, CEUR Workshop Proceedings 421, 2008.

T. Bolognesi and &. E. Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, vol.14, issue.1, pp.25-59, 1987.
DOI : 10.1016/0169-7552(87)90085-7

D. Brand and &. P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983.
DOI : 10.1145/322374.322380

F. Van-breugel and &. M. Koshkina, Models and Verification of BPEL, 2006.

A. Brogi and &. R. Popescu, Automated Generation of BPEL Adapters, Proc. of ICSOC'06, pp.27-39, 2006.
DOI : 10.1007/11948148_3

T. Bultan and &. X. Fu, Specification of realizable service conversations using collaboration diagrams, Service Oriented Computing and Applications, vol.2, issue.4, pp.27-39, 2008.
DOI : 10.1007/s11761-008-0022-7

N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and &. G. Zavattaro, Choreography and Orchestration Conformance for System Design, Proc. of Coordination'06, pp.63-81, 2006.
DOI : 10.1007/11767954_5

J. Cámara, J. Antonio-martín, G. Salaün, J. Cubo, M. Ouederni et al., ITACA: An integrated toolbox for the automatic composition and adaptation of Web services, 2009 IEEE 31st International Conference on Software Engineering, pp.627-630, 2009.
DOI : 10.1109/ICSE.2009.5070572

C. Canal, E. Pimentel, and &. J. Troya, Compatibility and inheritance in software architectures, Science of Computer Programming, vol.41, issue.2, pp.105-138, 2001.
DOI : 10.1016/S0167-6423(01)00002-8

C. Canal, P. Poizat, and &. G. Salaün, Model-Based Adaptation of Behavioral Mismatching Components, IEEE Transactions on Software Engineering, vol.34, issue.4, pp.546-563, 2008.
DOI : 10.1109/TSE.2008.31

M. Carbone, K. Honda, and &. N. Yoshida, Structured Communication-Centred Programming for Web Services, Proc. of ESOP'07, pp.2-17, 2007.
DOI : 10.1007/978-3-540-71316-6_2

J. Cubo, G. Salaün, C. Canal, E. Pimentel, and &. P. Poizat, A Model-Based Approach to the Verification and Adaptation of WF/.NET Components, Proc. of FACS'07, pp.39-55, 2008.
DOI : 10.1016/j.entcs.2008.06.020

F. Duran, M. Ouederni, and &. G. Salaün, Checking Protocol Compatibility using Maude, Proc. of FOCLASA'09, pp.65-81, 2009.
DOI : 10.1016/j.entcs.2009.10.025

H. Foster, S. Uchitel, 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

X. Fu, T. Bultan, and &. J. Su, Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, pp.621-630, 2004.
DOI : 10.1145/988672.988756

X. Fu, T. Bultan, and &. J. Su, Conversation protocols: a formalism for specification and verification of reactive electronic services, Theoretical Computer Science, vol.328, issue.1-2, pp.19-37, 2004.
DOI : 10.1016/j.tcs.2004.07.004

X. Fu, T. Bultan, and &. J. Su, WSAT: A Tool for Formal Analysis of Web Services, Proc. of CAV'04, pp.510-514, 2004.
DOI : 10.1007/978-3-540-27813-9_48

X. Fu, T. Bultan, and &. J. Su, Synchronizability of conversations among Web services, IEEE Transactions on Software Engineering, vol.31, issue.12, pp.1042-1055, 2005.
DOI : 10.1109/TSE.2005.141

H. Garavel, R. Mateescu, F. Lang, and &. W. Serwe, CADP??2006: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. of CAV'07, pp.158-163, 2007.
DOI : 10.1007/978-3-540-73368-3_18

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

R. J. Van-glabbeek, The Linear Time -Branching Time Spectrum I, chapter 1 Handbook of Process Algebra, pp.3-99, 2001.

R. Kazhamiakin and &. M. Pistore, Analysis of Realizability Conditions for Web Service Choreographies, Proc. of FORTE'06, pp.61-76, 2006.
DOI : 10.1145/322374.322380

J. Li, H. Zhu, and &. G. Pu, Conformance Validation between Choreography and Orchestration, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), pp.473-482, 2007.
DOI : 10.1109/TASE.2007.16

N. Lohmann, Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance, Proc. of BPM'08, pp.132-147, 2008.
DOI : 10.1007/978-3-540-85758-7_12

Z. Manna and &. A. Pnueli, Temporal Verification of Reactive Systems: Safety, 1995.
DOI : 10.1007/978-1-4612-4222-2

R. Mateescu, P. Poizat, and &. G. Salaün, Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques, Proc. of ICSOC'08, pp.84-99, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00341598

R. Milner, Communication and Concurrency. International Series in Computer Science, 1989.

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

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

M. Ouederni and &. G. Salaün, Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability, Proc. of WCSI'10, 2010.
DOI : 10.4204/EPTCS.37.5

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

M. Ouederni, G. Salaün, and &. E. Pimentel, Quantifying Service Compatibility: A Step beyond the Boolean Approaches, Proc. of ICSOC'10, 2010.
DOI : 10.1145/244795.244801

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

M. E. Cambronero-piqueras, G. Dias-descalzo, V. Valero-ruiz, &. E. Martinez, and . Lopez, Validation and Verification of Web Services Choreographies by Using Timed Automata, 2010.

Z. Qiu, X. Zhao, C. Cai, and &. H. Yang, Towards the theoretical foundation of choreography, Proceedings of the 16th international conference on World Wide Web , WWW '07, pp.973-982, 2007.
DOI : 10.1145/1242572.1242704

G. Salaün, Generation of Service Wrapper Protocols from Choreography Specifications, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.313-322, 2008.
DOI : 10.1109/SEFM.2008.42

G. Salaün, L. Bordeaux, and &. M. Schaerf, Describing and reasoning on Web Services using Process Algebra, International Journal of Business Process Integration and Management, vol.1, issue.2, pp.116-128, 2006.
DOI : 10.1504/IJBPIM.2006.010025

G. Salaün and &. T. Bultan, Realizability of Choreographies using Process Algebra Encodings, Proc. of IFM'2009, pp.167-182, 2009.

O. Sokolsky, S. Kannan, and &. I. Lee, Simulation-Based Graph Similarity, Proc. of TACAS'06, pp.426-440, 2006.
DOI : 10.1016/0022-2836(81)90087-5

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

Z. Wu, S. Deng, Y. Li, and &. J. Wu, Computing compatibility in dynamic service composition, Knowledge and Information Systems, vol.20, issue.3, pp.107-129, 2009.
DOI : 10.1007/s10115-008-0143-5

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