Planning and Monitoring Web Service Composition

The ability to automatically compose web services, and to monitor their execution, is an essential step to substantially decrease time and costs in the development, integration, and maintenance of complex services. This paper exploits techniques based on the "Planning as Model Checking" approach to automatically compose web services and synthesize monitoring components. By relying on such a flexible technology, the authors are able to deal with the difficulties stemming from the unpredictability of external partner services, the opaqueness of their internal status, and the presence of complex behavioral requirements.

Provided by: University of Trento Topic: Software Date Added: Jan 2011 Format: PDF

Find By Topic