Complexity and composition of synthesized web services

  • Authors:

  • Wenfei Fan;Floris Geerts;Wouter Gelade;Frank Neven;Antonella Poggi

  • Affiliations:

  • University of Edinburgh & Bell Labs, Edinburgh, United Kngdm;University of Edinburgh, Edinburgh, United Kngdm;Hasselt University & Transnational University of Limburg, Hasselt, Belgium;Hasselt University & Transnational University of Limburg, Hasselt, Belgium;Sapienza Universita di Roma, Rome, Italy

  • Venue:
  • Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

The paper investigates fundamental decision problems and composition synthesis for Web services commonly found in practice. We propose a notion of synthesized Web services (ASTs) to specify the behaviors of the services. Upon receiving a sequence of input messages, an AST issues multiple queries to a database and generates actions, in parallel; it produces external messages and database updates by synthesizing the actions parallelly generated. In contrast to previous models for Web services, ASTs advocate parallel processing and (deterministic) synthesis of actions. We classify ASTs based on what queries an AST can issue, how the synthesis of actions is expressed, and whether unbounded input sequences are allowed in a single interaction session. We show that the behaviors of Web services supported by various prior models, data-driven or not, can be specified by different AST classes. For each of these classes we study the non-emptiness, validation and equivalence problems, and establish matching upper and lower bounds on these problems. We also provide complexity bounds on composition synthesis for these AST classes, identifying decidable cases.