Synthesis and Composition of Web Services

  • Authors:

  • Annapaola Marconi;Marco Pistore

  • Affiliations:

  • Service Oriented Applications Group, Fondazione Bruno Kessler, Trento, Italy 38100;Service Oriented Applications Group, Fondazione Bruno Kessler, Trento, Italy 38100

  • Venue:
  • Formal Methods for Web Services
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

One of the key ideas underlying Web services is that of allowing the combination of existing services published on the Web into a new service that achieves some higher-level functionality and satisfies some business goals. As the manual development of the new composite service is recognized as a difficult and error-prone task, the automated synthesis of the composition is considered one of the key challenges in the field of Web services. In this paper, we will present a survey of existing approaches for the synthesis of Web service compositions. We will then focus on a specific approach, the ASTRO approach, which has been shown to support complex composition requirements and to be applicable in real domains. In the paper, we will present the formal framework behind the ASTRO approach; we will present the implementation of the framework and its integration within a commercial toolkit for developing Web services; we will finally evaluate the approach on a real-world composition domain.