skip to main content
10.1145/1062745.1062931acmconferencesArticle/Chapter ViewAbstractPublication PagesthewebconfConference Proceedingsconference-collections
Article

Automated synthesis of executable web service compositions from BPEL4WS processes

Published: 10 May 2005 Publication History

Abstract

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 a concrete bpel4ws process that, when executed, interacts with the components and satisfies the requirement.We implement the proposed approach exploiting efficient representation techniques, and we show its scalability over case studies taken from a real world application and over a parameterized domain.

References

[1]
T. Andrews, F. Curbera, H. Dolakia, J. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weeravarana. Business Process Execution Language for Web Services (version 1.1), 2003.
[2]
P. Bertoli, A. Cimatti, M. Pistore, and P. Traverso. A Framework for Planning with Extended Goals under Partial Observability. In Proc. ICAPS'03, 2003.
[3]
A. Cimatti, M. Pistore, M. Roveri, and P. Traverso. Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking. Artificial Intelligence, 147(1-2):35--84, 2003.
[4]
U. Dal Lago, M. Pistore, and P. Traverso. Planning with a Language for Extended Goals. In Proc. AAAI'02, 2002.
[5]
M. Pistore, P. Traverso, and P. Bertoli. Automated Composition of Web Services by Planning in Asynchronous Domains. In Proc. ICAPS'05, 2005.

Cited By

View all

Index Terms

  1. Automated synthesis of executable web service compositions from BPEL4WS processes

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image ACM Conferences
      WWW '05: Special interest tracks and posters of the 14th international conference on World Wide Web
      May 2005
      454 pages
      ISBN:1595930515
      DOI:10.1145/1062745
      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

      Sponsors

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      Published: 10 May 2005

      Permissions

      Request permissions for this article.

      Check for updates

      Author Tags

      1. automated synthesis
      2. business processes
      3. web service composition

      Qualifiers

      • Article

      Acceptance Rates

      Overall Acceptance Rate 1,899 of 8,196 submissions, 23%

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)0
      • Downloads (Last 6 weeks)0
      Reflects downloads up to 17 Feb 2025

      Other Metrics

      Citations

      Cited By

      View all
      • (2019)On the computational complexity of behavioral description-based web service compositionTheoretical Computer Science10.1016/j.tcs.2011.04.020412:48(6736-6749)Online publication date: 5-Jan-2019
      • (2018)Supporting adaptiveness of cyber-physical processes through action-based formalismsAI Communications10.3233/AIC-17074831:1(47-74)Online publication date: 1-Feb-2018
      • (2018)Automated Planning for Business Process ManagementJournal on Data Semantics10.1007/s13740-018-0096-0Online publication date: 1-Nov-2018
      • (2018)A journey to highly dynamic, self-adaptive service-based applicationsAutomated Software Engineering10.1007/s10515-008-0032-x15:3-4(313-341)Online publication date: 26-Dec-2018
      • (2018)What Automated Planning Can Do for Business Process ManagementBusiness Process Management Workshops10.1007/978-3-319-74030-0_1(7-19)Online publication date: 17-Jan-2018
      • (2016)Intelligent Process Adaptation in the SmartPM SystemACM Transactions on Intelligent Systems and Technology10.1145/29480718:2(1-43)Online publication date: 2-Nov-2016
      • (2012)An Automated User-Centered Planning Framework for Decision Support in Environmental Early WarningsAdvances in Artificial Intelligence – IBERAMIA 201210.1007/978-3-642-34654-5_60(591-600)Online publication date: 2012
      • (2010)Bounded Model Checking for Web Service Discovery and CompositionProceedings of the 2010 11th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing10.1109/SNPD.2010.38(201-206)Online publication date: 9-Jun-2010
      • (2009)Service Composition as Generative Constraint SatisfactionProceedings of the 2009 IEEE International Conference on Web Services10.1109/ICWS.2009.65(888-895)Online publication date: 6-Jul-2009
      • (2007)A Description Logic Framework for Semantic Web Service CompositionThird International Conference on Semantics, Knowledge and Grid (SKG 2007)10.1109/SKG.2007.79(390-393)Online publication date: Oct-2007
      • Show More Cited By

      View Options

      Login options

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Figures

      Tables

      Media

      Share

      Share

      Share this Publication link

      Share on social media