Automated synthesis of executable web service compositions from BPEL4WS processes

Authors:
M. Pistore;P. Traverso;P. Bertoli;A. Marconi
Affiliations:
University of Trento - Italy;ITC-IRST - Trento - Italy;ITC-IRST - Trento - Italy;ITC-IRST - Trento - Italy
Venue:
WWW '05 Special interest tracks and posters of the 14th international conference on World Wide Web
Year:
2005

Citing 2
Cited 2

Planning with a language for extended goals

Eighteenth national conference on Artificial intelligence
Weak, strong, and strong cyclic planning via symbolic model checking

Artificial Intelligence - special issue on planning with uncertainty and incomplete information

A journey to highly dynamic, self-adaptive service-based applications

Automated Software Engineering
On the computational complexity of behavioral description-based web service composition

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.