Process-Level Composition of Executable Web Services: ”On-the-fly” Versus ”Once-for-all” Composition

  • Marco Pistore
  • Pierluigi Roberti
  • Paolo Traverso
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3532)


Most of the work on automated composition of web services has focused so far on the problem of composition at the functional level, i.e., composition of atomic services that can be executed in a single request-response step. In this paper, we address the problem of automated composition at the process level, i.e., a composition that takes into account that executing a web service requires interactions that may involve different sequential, conditional, and iterative steps.We define two kinds of process-level composition problems: on-the-fly compositions that satisfy one-shot user requests specified as composition goals, and a more general form, called once-for-all compositions, whose goal is to build a general composed web service that is able to interact directly with the users, receive requests from them, and propose suitable answers. We propose a solution to these two kinds of process-level compositions, and apply the solution to the case of web services described in OWL-S. As a result, we automatically generate process-level compositions as executable OWL-S process models. We show that, while executable on-the-fly compositions can be described as standard OWL-S process models, once-for-all compositions need OWL-S process models to be extended with receive and reply constructs.


Component Service Composite Service Execution Engine Composition Problem Atomic Service 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Bertoli, P., Cimatti, A., Pistore, M., Traverso, P.: A Framework for Planning with Extended Goals under Partial Observability. In: Proc. ICAPS 2003 (2003)Google Scholar
  2. 2.
    Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking. Artificial Intelligence 147(1-2), 35–84 (2003)zbMATHMathSciNetGoogle Scholar
  3. 3.
    The OWL Services Coalition: OWL-S: Semantic Markup for Web Services. In: Technical White paper (OWL-S version 1.0) (2003)Google Scholar
  4. 4.
    Constantinescu, I., Faltings, B., Binder, W.: Typed Based Service Composition. In: Proc. WWW 2004 (2004)Google Scholar
  5. 5.
    Dal Lago, U., Pistore, M., Traverso, P.: Planning with a Language for Extended Goals. In: Proc. AAAI 2002 (2002)Google Scholar
  6. 6.
    The Web Service Modeling Framework. SDK WSMO working group,
  7. 7.
    McIlraith, S., Fadel, R.: Planning with Complex Actions. In: Proc. NMR 2002 (2002)Google Scholar
  8. 8.
    McIlraith, S., Son, S.: Adapting Golog for composition of semantic web Services. In: Proc. KR 2002 (2002)Google Scholar
  9. 9.
    McIlraith, S., Son, S., Zeng, H.: Semantic Web Services. IEEE Intelligent Systems 16(2), 46–53 (2001)CrossRefGoogle Scholar
  10. 10.
    Mindswap. Maryland Information and Network Dynamics lab Semantic Web Agents Projects,
  11. 11.
    Narayanan, S., McIlraith, S.: Simulation, Verification and Automated Composition of Web Services. In: Proc. WWW 2002 (2002)Google Scholar
  12. 12.
    Paolucci, M., Sycara, K., Kawamura, T.: Delivering Semantic Web Services. In: Proc. WWW 2003 (2002)Google Scholar
  13. 13.
    Petrick, R., Bacchus, F.: A Knowledge-Based Approach to Planning with Incomplete Information and Sensing. In: Proc. AIPS 2002 (2002)Google Scholar
  14. 14.
    Pistore, M., Traverso, P., Bertoli, P.: Automated composition of web services by planning in asyncronous domains. In: Proc. ICAPS 2005 (2005)Google Scholar
  15. 15.
    Sheshagiri, M., des Jardins, M., Finin, T.: A Planner for Composing Services Described in DAML-S. In: Proc. AAMAS 2003 (2003)Google Scholar
  16. 16.
    Traverso, P., Pistore, M.: Automated Composition of Semantic Web Services into Executable Processes. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 380–394. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  17. 17.
    Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D.: Automating DAML-S Web Services Composition using SHOP2. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 195–210. Springer, Heidelberg (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Marco Pistore
    • 1
  • Pierluigi Roberti
    • 1
  • Paolo Traverso
    • 1
  1. 1.University of Trento and ITC-IRST 

Personalised recommendations