Business Process Execution Language for Web Services (WSBPEL), BEA Systems, IBM, Microsoft, SAP AG, and Siebel Systems, 2005. ,
Finite Transition Systems, International Series in Computer Science, 1994. ,
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems, 29th International Conference on Software Engineering (ICSE'07), pp.784-787, 2007. ,
DOI : 10.1109/ICSE.2007.84
Towards an Engineering Approach to Component Adaptation, Architecting Systems with Trustworthy Components, pp.193-215, 2006. ,
DOI : 10.1145/242224.242420
A formal approach to component adaptation, Journal of Systems and Software, vol.74, issue.1, pp.45-54, 2005. ,
DOI : 10.1016/j.jss.2003.05.007
Automated Generation of BPEL Adapters, Proc. of ICSOC'06, pp.27-39, 2006. ,
DOI : 10.1007/11948148_3
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
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
A Model-Based Approach to the Verification and Adaptation of WF, Proc. of FACS'07, pp.39-55, 2007. ,
Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation, Proc. of BPM'06, pp.65-80, 2006. ,
DOI : 10.1007/11841760_6
A Tool for Model-based Verification of Web Service Compositions and Choreography, Proc. of ICSE'06, pp.771-774, 2006. ,
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
Automatic Generation of Adaptation Contracts, Proc. of FOCLASA'08, pp.115-131, 2009. ,
DOI : 10.1016/j.entcs.2009.06.032
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
Behavior protocols for software components, IEEE Transactions on Software Engineering, vol.28, issue.11, pp.1056-1076, 2002. ,
DOI : 10.1109/TSE.2002.1049404
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.9185
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
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