Automated Synthesis of Composite BPEL4WS Web Services

In this paper we propose a technique for the automated synthesis of new composite web services. Given a set of ab-stract BPEL4WS descriptions of component services, and a composition requirement, we automatically generate an ex-ecutable BPEL4WS process that, once deployed, is able to interact with the components to satisfy the requirement. We implement the proposed approach exploiting efficient syn-thesis techniques, and experiment with some case studies taken from real world applications and with a parameter-ized domain. We show that the technique can scale up to cases in which the manual development of BPEL4WS com-posite services is not trivial and is time consuming.