Automatic Dynamic Web Service Composition: A Survey and Problem Formalization

Automatic Dynamic Web Service Composition: A Survey and Problem Formalization
复制标题

DOI：
--
复制
发表时间：
2011
期刊：
Comput. Informatics
影响因子：
--
通讯作者：
Peter Bartalos;M. Bieliková
Peter Bartalos;M. Bieliková
中科院分区：
其他
文献类型：
--
作者：
Peter Bartalos;M. Bieliková

文献摘要

被引文献

相似文献

Web服务组合的目的是将多个服务安排到工作流中，以满足复杂的用户需求。由于Web服务的数量巨大，并且需要提供动态变化的用户目标，因此有必要自动执行组合。本文的目的是概述自动动态Web服务组合的问题。我们讨论了与服务的语义相关的问题，这对自动Web服务组合是很重要的。我们提出了一个问题的形式化有助于前/后条件的正式定义，可能的值的限制，以及它们的关系到语义的服务。我们还提供了一个概述，现有的几种方法来处理Web服务组合的问题，并讨论了目前在该领域取得的成就，并描绘了一些开放的研究领域。
The aim of Web service composition is to arrange multiple services into workflows supplying complex user needs. Due to the huge amount of Web services and the need to supply dynamically varying user goals, it is necessary to perform the composition automatically. The objective of this article is to overview the issues of automatic dynamic Web service composition. We discuss the issues related to the semantics of services, which is important for automatic Web ser- vice composition. We propose a problem formalization contributing to the formal definition of the pre-/post-conditions, with possible value restrictions, and their re- lation to the semantics of services. We also provide an overview of several existing approaches dealing with the problem of Web service composition and discuss the current achievements in the field and depict some open research areas.