Planning and Monitoring Web Service Composition

Date Added: Jan 2011
Format: PDF

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.