Planning and Monitoring Web Service Composition
Planning and Monitoring Web Service Composition
复制标题
DOI：
10.1007/978-3-540-30106-6_11
复制
发表时间：
2004-09
期刊：
影响因子：
--
通讯作者：
M. Pistore;Fabio Barbon;P. Bertoli;Dmitry Shaparau;P. Traverso
中科院分区：
文献类型：
--
作者：
M. Pistore;Fabio Barbon;P. Bertoli;Dmitry Shaparau;P. Traverso
自动组合Web服务并监视其执行的能力是大大减少复杂服务的开发、集成和维护时间和成本的重要步骤。在本文中，我们利用技术的基础上的“规划模型检查”的方法来自动组成Web服务和综合监控组件。依靠这种灵活的技术，我们能够应对外部合作伙伴服务的不可预测性、内部状态的不透明性以及复杂行为要求的存在所带来的困难。我们测试我们的方法上一个简单的，但现实的例子，结果提供了一个见证这种方法的潜力。
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. In this paper, we exploit 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, we 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. We test our approach on a simple, yet realistic example; the results provide a witness to the potentiality of this approach.