document: Automated synthesis of executable web service compositions from BPEL4WS processes We propose a technique for the automated synthesis of new composite web services . Given a set of abstract bpel4ws descriptions of component services , and a composition requirement , we automatically generate a concrete bpel4ws process that , when executed , interacts with the components and satisfies the requirement . We implement the proposed approach exploiting efficient representation techniques , and we show its scalability over case studies taken from a real world application and over a parameterized domain .
doc_bio_tags: B I O O O O O O O O O O O O O O B I O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O