We describe a technique for the automated synthesis of new composite web services. Given a set of component services described as abstract bpel4ws processes enriched with semantic annotations, and given a composition requirement, we automatically generate an executable bpel4ws process that, once deployed, is able to interact with the components to satisfy the requirement. We focus in particular...