Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code

Web services are conveniently advertised and published based on (stateless) functional descriptions, while they are usually realized as (stateful) processes. Therefore, the automated enactment of complex Web services on the basis of pre-existing ones requires the ability to handle services described at very different abstraction levels. This is the main reason behind the current lack of approaches capable to perform automated end-to-end composition, starting from semantic requirements to obtain executable orchestrations of stateful processes. In this paper we achieve such a challenging goal, by modularly integrating a range of incrementally more complex techniques that cover the necessary discovery and composition phases. By gradually bridging the gap between the high-level requirements and the concrete realization of services, our architecture manages sensibly the complexity of the problem: incrementally more complex techniques are provided with incrementally more focused input. The tests of our architecture on a deployed scenario witness the functionality of the platform and its integrability with standard service engines.

[1]  Tony Andrews Business Process Execution Language for Web Services Version 1.1 , 2003 .

[2]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[3]  Bijan Parsia,et al.  Pellet: An OWL DL Reasoner , 2004, Description Logics.

[4]  Enrico Giunchiglia,et al.  Nonmonotonic causal theories , 2004, Artif. Intell..

[5]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[6]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[7]  Jianwen Su,et al.  E-services: a look behind the curtain , 2003, PODS.

[8]  Daniela Berardi,et al.  Automatic Composition of e-Services , 2003 .

[9]  Koustuv Dasgupta,et al.  Synthy: A system for end to end composition of web services , 2005, J. Web Semant..

[10]  Marco Pistore,et al.  A Minimalist Approach to Semantic Annotations for Web Processes Compositions , 2006, SEBD.

[11]  EiterThomas,et al.  A logic programming approach to knowledge-state planning, II , 2003 .

[12]  Annapaola Marconi,et al.  Specifying Data-Flow Requirements for the Automated Composition of Web Services , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

[13]  Wolfgang Faber,et al.  A logic programming approach to knowledge-state planning: Semantics and complexity , 2004, TOCL.

[14]  Ian Horrocks The FaCT System , 1998, TABLEAUX.

[15]  James A. Hendler,et al.  Automating DAML-S Web Services Composition Using SHOP2 , 2003, SEMWEB.

[16]  Ronen I. Brafman,et al.  Conformant planning via heuristic forward search: A new approach , 2004, Artif. Intell..

[17]  Jos de Bruijn,et al.  The Web Service Modeling Language WSML: An Overview , 2006, ESWC.