Automated synthesis of composite BPEL4WS Web services

In this paper we propose a technique for the automated synthesis of new composite Web services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we automatically generate an executable BPEL4WS process that, once deployed, is able to interact with the components to satisfy the requirement. We implement the proposed approach exploiting efficient synthesis techniques, and experiment with some case studies taken from real world applications and with a parameterized domain. We show that the technique can scale up to cases in, which the manual development of BPEL4WS composite services is not trivial and is time consuming.

[1]  Marco Pistore,et al.  Planning with a language for extended goals , 2002, AAAI/IAAI.

[2]  Piergiorgio Bertoli,et al.  MBP: a Model Based Planner , 2001 .

[3]  Roy Grønmo,et al.  Web service composition in UML , 2004, Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004..

[4]  Amir Pnueli,et al.  Distributed reactive systems are hard to synthesize , 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.

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

[6]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

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

[8]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

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

[10]  Piergiorgio Bertoli,et al.  A Framework for Planning with Extended Goals under Partial Observability , 2003, ICAPS.

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

[12]  Marco Pistore,et al.  Weak, strong, and strong cyclic planning via symbolic model checking , 2003, Artif. Intell..

[13]  Diego Calvanese,et al.  Automatic Composition of E-services That Export Their Behavior , 2003, ICSOC.

[14]  Tran Cao Son,et al.  Adapting Golog for Composition of Semantic Web Services , 2002, KR.

[15]  Edmund M. Clarke,et al.  Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[16]  Sanjiva Weerawarana,et al.  Service-Oriented Composition in BPEL4WS , 2003, WWW.

[17]  Sérgio Vale Aguiar Campos,et al.  Symbolic Model Checking , 1993, CAV.

[18]  Fahiem Bacchus,et al.  A Knowledge-Based Approach to Planning with Incomplete Information and Sensing , 2002, AIPS.

[19]  Jan van Leeuwen,et al.  Formal models and semantics , 1990 .

[20]  Edmund M. Clarke,et al.  Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..

[21]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

[22]  Marco Pistore,et al.  Automated Composition of Semantic Web Services into Executable Processes , 2004, SEMWEB.

[23]  Timothy W. Finin,et al.  A Planner for Composing Services Described in DAML-S , 2003 .

[24]  Fausto Giunchiglia,et al.  NUSMV: a new symbolic model checker , 2000, International Journal on Software Tools for Technology Transfer.