Automatic Dynamic Web Service Composition: A Survey and Problem Formalization

Authors

  • Peter Bartalos
  • Mária Bieliková

Keywords:

Web services, automatic dynamic web service composition, semantics, pre-/post-conditions

Abstract

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 service composition. We propose a problem formalization contributing to the formal definition of the pre-/post-conditions, with possible value restrictions, and their relation 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.

Downloads

Download data is not yet available.

Author Biographies

Peter Bartalos

Institute of Informatics and Software Engineering
Faculty of Informatics and Information Technologies
Slovak University of Technology in Bratislava

Mária Bieliková

Institute of Informatics and Software Engineering
Faculty of Informatics and Information Technologies
Slovak University of Technology in Bratislava

Downloads

Published

2012-01-26

How to Cite

Bartalos, P., & Bieliková, M. (2012). Automatic Dynamic Web Service Composition: A Survey and Problem Formalization. COMPUTING AND INFORMATICS, 30(4), 793–827. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/198