A formal model for Web service composition

  • Authors:
  • Freddy Lécué;Alain Léger

  • Affiliations:
  • {freddy.lecue, alain.leger}@rd.francetelecom.com, France Telecom R&D, France, 4, rue du clos courtel F-35512 Cesson Séévigné;{freddy.lecue, alain.leger}@rd.francetelecom.com, France Telecom R&D, France, 4, rue du clos courtel F-35512 Cesson Séévigné

  • Venue:
  • Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

Automated composition of Web services or the process of forming new value added Web services is one of the most promising challenges in the semantic Web service research area. Semantics is one of the key elements for such a task. Even if semantics enables Web service to describe their capabilities and processes, there is still some work to be done. Indeed Web services described at functional level need a formal model to perform the automated composition of Web services. The suggested model (i.e. Causal link matrix) is a necessary starting point to apply problem-solving techniques such as regression-based search for Web service composition. The innovative model supports a semantic context in order to find a solution for an AI planning-oriented Web service composition.