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
Hi-index | 0.00 |
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.