Automated Composition of Semantic Web Services into Executable Processes

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


Different planning techniques have been applied to the problem of automated composition of web services. However, in realistic cases, this planning problem is far from trivial: the planner needs to deal with the nondeterministic behavior of web services, the partial observability of their internal status, and with complex goals expressing temporal conditions and preference requirements. We propose a planning technique for the automated composition of web services described in OWL-S process models, which can deal effectively with nondeterminism, partial observability, and complex goals. The technique allows for the synthesis of plans that encode compositions of web services with the usual programming constructs, like conditionals and iterations. The generated plans can thus be translated into executable processes, e.g., BPEL4WS programs. We implement our solution in a planner and do some preliminary experimental evaluations that show the potentialities of our approach, and the gain in performance of automating the composition at the semantic level w.r.t. the automated composition at the level of executable processes.


Planning Domain Shipper Service Executable Process External Service Symbolic Model Check 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Andrews, T., Curbera, F., Dolakia, H., Goland, J., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weeravarana, S.: Business Process Execution Language for Web Services Version 1.1 (2003)Google Scholar
  2. 2.
    Ankolekar, A.: DAML-S: Web Service Description for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, p. 348. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  3. 3.
    Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic Composition of E-services That Export Their Behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 43–58. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  4. 4.
    Bertoli, P., Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: MBP: a Model Based Planner. In: Proc. IJCAI 2001 Workshop on Planning under Uncertainty and Incomplete Information (2001)Google Scholar
  5. 5.
    Bertoli, P., Cimatti, A., Pistore, M., Traverso, P.: A Framework for Planning with Extended Goals under Partial Observability. In: Proc. 13th Int. Conf. on Automated Planning and Scheduling, ICAPS 2003 (2003)Google Scholar
  6. 6.
    Bertoli, P., Cimatti, A., Roveri, M., Traverso, P.: Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. In: Proc. 17th Int. Joint Conference on Artificial Intelligence, IJCAI 2001 (2001)Google Scholar
  7. 7.
    Bertoli, P., Pistore, M.: Planning with Extended Goals and Partial Observability. In: Proc. 14th Int. Conf. on Automated Planning and Scheduling, ICAPS 2004 (2004)Google Scholar
  8. 8.
    Bonet, B., Geffner, H.: Planning with Incomplete Information as Heuristic Search in Belief Space. In: Proc. 5th Int. Conf. on Artificial Intelligence Planning and Scheduling, AIPS 2000 (2000)Google Scholar
  9. 9.
    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
  10. 10.
    The OWL Services Coalition. OWL-S: Semantic Markup for Web Services — Technical White paper (OWL-S version 1.0) (2003)Google Scholar
  11. 11.
    Dal Lago, U., Pistore, M., Traverso, P.: Planning with a Language for Extended Goals. In: Proc. 18tn National Conference on Artificial Intelligence, AAAI 2002 (2002)Google Scholar
  12. 12.
    Mc Dermott, D.: The Planning Domain Definition Language Manual. Technical Report 1165, Yale Computer Science University (1998) CVC Report 98-003Google Scholar
  13. 13.
    Giunchiglia, F., Traverso, P.: Planning as Model Checking. In: Biundo, S., Fox, M. (eds.) ECP 1999. LNCS, vol. 1809, Springer, Heidelberg (2000)CrossRefGoogle Scholar
  14. 14.
    Lazovik, A., Aiello, M.: Planning and Monitoring the Execution of Web Service Requests. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 335–350. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  15. 15.
    Mandell, D., McIlraith, S.: Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 227–241. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  16. 16.
    McIlraith, S., Fadel, R.: Planning with Complex Actions. In: Proc. 9th Int. Workshop on Non-Monotonic Reasoning, NMR 2002 (2002)Google Scholar
  17. 17.
    McIlraith, S., Son, S.: Adapting Golog for composition of semantic web Services. In: Proc. 8th Int. Conf. on Principles of Knowledge Representation and Reasoning, KR 2002 (2002)Google Scholar
  18. 18.
    McIlraith, S., Son, S., Zeng, H.: Semantic Web Services. IEEE Intelligent Systems 16(2), 46–53 (2001)CrossRefGoogle Scholar
  19. 19.
    Narayanan, S., McIlraith, S.: Simulation, Verification and Automated Composition of Web Services. In: Proc. 11th Int. World Wide Web Conference, WWW 2002 (2002)Google Scholar
  20. 20.
    Pistore, M., Bertoli, P., Barbon, F., Shaparau, D., Traverso, P.: Planning and Monitoring Web Service Composition. In: Bussler, C.J., Fensel, D. (eds.) AIMSA 2004. LNCS (LNAI), vol. 3192, pp. 106–115. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  21. 21.
    Sheshagiri, M.M.: A Planner for Composing Services Described in DAML-S. In: Proc. AAMAS 2003 Workshop on Web Services and Agent-based Engineering (2003)Google Scholar
  22. 22.
    Thakkar, S., Knoblock, C., Ambite, J.L.: A View Integration Approach to Dynamic Composition ofWeb Services. In: Proc. ICAPS 2003 Workshop on Planning for Web Services (2003)Google Scholar
  23. 23.
    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 2004

Authors and Affiliations

  • Paolo Traverso
    • 1
  • Marco Pistore
    • 2
  1. 1.ITC-IRSTTrentoItaly
  2. 2.University of TrentoItaly

Personalised recommendations