Service Interaction: Patterns, Formalization, and Analysis, Proc. of SFM'09, pp.42-88, 2009. ,
DOI : 10.1007/978-3-642-01918-0_2
Measuring Similarity of Service Interfaces, Proc. of the PhD Symposium at ICSOC'08, CEUR Workshop Proceedings 421, 2008. ,
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
On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983. ,
DOI : 10.1145/322374.322380
Models and Verification of BPEL, 2006. ,
Automated Generation of BPEL Adapters, Proc. of ICSOC'06, pp.27-39, 2006. ,
DOI : 10.1007/11948148_3
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
Choreography and Orchestration Conformance for System Design, Proc. of Coordination'06, pp.63-81, 2006. ,
DOI : 10.1007/11767954_5
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
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
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
Structured Communication-Centred Programming for Web Services, Proc. of ESOP'07, pp.2-17, 2007. ,
DOI : 10.1007/978-3-540-71316-6_2
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
Checking Protocol Compatibility using Maude, Proc. of FOCLASA'09, pp.65-81, 2009. ,
DOI : 10.1016/j.entcs.2009.10.025
LTSA-WS, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.771-774, 2006. ,
DOI : 10.1145/1134285.1134408
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
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
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
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
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
The Linear Time -Branching Time Spectrum I, chapter 1 Handbook of Process Algebra, pp.3-99, 2001. ,
Analysis of Realizability Conditions for Web Service Choreographies, Proc. of FORTE'06, pp.61-76, 2006. ,
DOI : 10.1145/322374.322380
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
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
Temporal Verification of Reactive Systems: Safety, 1995. ,
DOI : 10.1007/978-1-4612-4222-2
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
Communication and Concurrency. International Series in Computer Science, 1989. ,
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
Matching and Merging of Statecharts Specifications, 29th International Conference on Software Engineering (ICSE'07), pp.54-64, 2007. ,
DOI : 10.1109/ICSE.2007.50
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
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
Validation and Verification of Web Services Choreographies by Using Timed Automata, 2010. ,
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
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
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
Realizability of Choreographies using Process Algebra Encodings, Proc. of IFM'2009, pp.167-182, 2009. ,
Simulation-Based Graph Similarity, Proc. of TACAS'06, pp.426-440, 2006. ,
DOI : 10.1016/0022-2836(81)90087-5
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
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
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