Planning and Monitoring the Execution of Web Service Requests

  • Alexander Lazovik
  • Marco Aiello
  • Mike Papazoglou
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2910)


Interaction with web services enabled marketplaces would be greatly facilitated if users were given a high level service request language to express their goals in complex business domains. This could be achieved by using a planning framework which monitors the execution of planned goals against predefined standard business processes and interacts with the user to achieve goal satisfaction.

We present a planning architecture that accepts high level requests, expressed in XSRL (Xml Service Request Language). The planning framework is based on the principle of interleaving planning and execution. This is accomplished on the basis of refinement and revision as new service-related information is gathered from UDDI and web services instances, and as execution circumstances necessitate change. The system interacts with the user whenever confirmation or verification is needed.


Business Process Service Request Semantic Rule State Transition Diagram Knowledge Variable 
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.
    Aiello, M., Papazoglou, M., Yang, J., Carman, M., Pistore, M., Serafini, L., Traverso, P.: A request language for web-services based on planning and constraint satisfaction. In: Buchmann, A., Casati, F., Fiege, L., Hsu, M.-C., Shan, M.-C. (eds.) TES 2002. LNCS, vol. 2444, p. 76. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  2. 2.
    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
  3. 3.
    Bertoli, P., Cimatti, A., Traverso, P.: Interleaving Execution and Planning via Symbolic Model Checking. In: Proc. of ICAPS 2003 Workshop on Planning under Uncertainty and Incomplete Information (2003)Google Scholar
  4. 4.
    Knoblock, C.A., Minton, S., Ambite, J.L., Muslea, M., Oh, J., Frank, M.: Mixed-initiative, multi-source information assistants. In: Proceedings of the World Wide Web Conference (2001)Google Scholar
  5. 5.
    Dal Lago, U., Pistore, M., Traverso, P.: Planning with a language for extended goals. In: 18th National Conference on Artificial Intelligence, AAAI 2002 (2002)Google Scholar
  6. 6.
    Lazovik, A., Aiello, M., Papazoglou, M.: Planning and monitoring the execution of web service requests. Technical Report DIT-03-049, University of Trento (2003)Google Scholar
  7. 7.
    McDermott, D.: Estimated-regression planning for interactions with Web Services. In: 6th Int. Conf. on AI Planning and Scheduling, AAAI Press, Menlo Park (2002)Google Scholar
  8. 8.
    McIlraith, S., Son, T.C.: Adapting Golog for composition of semantic webservices. In: Fensel, D., Giunchiglia, F., McGuinness, D., Williams, M. (eds.) Conf. on principles of Knowledge Representation, KR (2002)Google Scholar
  9. 9.
    Papazoglou, M., Aiello, M., Pistore, M., Yang, J.: Planning for requests against web services. IEEE Data Engineering Bulletin 25(4), 41–46 (2002)Google Scholar
  10. 10.
    Pistore, M., Traverso, P.: Planning as model checking for extended goals in nondeterministic domains. In: Proc. 7th International Joint Conference on Artificial Intelligence, IJCAI 2001 (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Alexander Lazovik
    • 1
    • 2
  • Marco Aiello
    • 1
  • Mike Papazoglou
    • 1
    • 3
  1. 1.Department of Information and Telecommunication TechnologiesUniversity of TrentoTrentoItaly
  2. 2.ITC-IRSTTrentoItaly
  3. 3.InfolabTilburg UniversityThe Netherlands

Personalised recommendations