Planning and Monitoring Web Service Composition

  • M. Pistore
  • F. Barbon
  • P. Bertoli
  • D. Shaparau
  • P. Traverso
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3192)


The ability to automatically compose web services, and to monitor their execution, is an essential step to substantially decrease time and costs in the development, integration, and maintenance of complex services. In this paper, we exploit techniques based on the “Planning as Model Checking” approach to automatically compose web services and synthesize monitoring components. By relying on such a flexible technology, we are able to deal with the difficulties stemming from the unpredictability of external partner services, the opaqueness of their internal status, and the presence of complex behavioral requirements. We test our approach on a simple, yet realistic example; the results provide a witness to the potentiality of this approach.


Model Check Planning Algorithm Belief State Planning Domain External Partner 
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.
    Bertoli, P., Pistore, M.: Planning with Extended Goals and Partial Observability. In: Proc. of ICAPS 2004 (2004)Google Scholar
  4. 4.
    Bertoli, P., Cimatti, A., Roveri, M., Traverso, P.: Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. In: Nebel, B. (ed.) Proc. of IJCAI 2001 (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. ICAPS 2003 (2003)Google Scholar
  6. 6.
    Blythe, J., Deelman, E., Gil, Y.: Planning for Workflow Construction and Maintenance on the Grid. In: Proc. of ICAPS 2003 Workshop on Planning for Web Services (2003)Google Scholar
  7. 7.
    Bonet, B., Geffner, H.: Planning with Incomplete Information as Heuristic Search in Belief Space. In: Proc. AIPS 2000 (2000)Google Scholar
  8. 8.
    Dal Lago, U., Pistore, M., Traverso, P.: Planning with a Language for Extended Goals. In: Proc. AAAI 2002 (2002)Google Scholar
  9. 9.
    McDermott, D.: The Planning Domain Definition Language Manual. Technical Report 1165,Yale Computer Science University. CVC Report 98-003 (1998)Google Scholar
  10. 10.
    Emerson, E.A.: In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol. B, Elsevier, Amsterdam (1990)Google Scholar
  11. 11.
    Lazovik, A., Aiello, M., Papazoglou, 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
  12. 12.
    Narayanan, S., McIlraith, S.: Simulation, Verification and Automated Composition of Web Services. In: Proc. of WWW-11 (2002)Google Scholar
  13. 13.
    Pistore, M., Traverso, P.: Planning as Model Checking for Extended Goals in Non-deterministic Domains. In: Proc. IJCAI 2001 (2001)Google Scholar
  14. 14.
    Pistore, M., Bettin, R., Traverso, P.: Symbolic Techniques for Planning with Extended Goals in Non-Deterministic Domains. In: Proc. ECP 2001 (2001)Google Scholar
  15. 15.
    Thakkar, S., Knoblock, C., Ambite, J.L.: A View Integration Approach to Dynamic Composition of Web Services. In: Proc. of ICAPS 2003 Workshop on Planning for Web Services (2003)Google Scholar
  16. 16.
    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

  • M. Pistore
    • 1
  • F. Barbon
    • 2
  • P. Bertoli
    • 2
  • D. Shaparau
    • 2
  • P. Traverso
    • 2
  1. 1.University of TrentoITALY
  2. 2.ITC-irstTrentoITALY

Personalised recommendations