ASTRO: supporting composition and execution of web services

Web services are rapidly emerging as the reference paradigm for the interaction and coordination of distributed business processes. In several research papers we have shown how advanced automated planning techniques can be exploited to automatically compose web services, and to synthesize monitoring components that control their execution. In this demo we show how these techniques have been implemented in the ASTRO toolset (http://www.astroproject.org), a set of tools that extend existing platforms for web service design and execution with automated composition and execution monitoring functionalities.