Copyright © 2004 Elsevier B.V. All rights reserved.
HTN planning for Web Service composition using SHOP2
Received 11 March 2003;
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
Automated composition of Web Services can be achieved by using AI planning techniques. Hierarchical Task Network (HTN) planning is especially well-suited for this task. In this paper, we describe how HTN planning system SHOP2 can be used with OWL-S Web Service descriptions. We provide a sound and complete algorithm to translate OWL-S service descriptions to a SHOP2 domain. We prove the correctness of the algorithm by showing the correspondence to the situation calculus semantics of OWL-S. We implemented a system that plans over sets of OWL-S descriptions using SHOP2 and then executes the resulting plans over the Web. The system is also capable of executing information-providing Web Services during the planning process. We discuss the challenges and difficulties of using planning in the information-rich and human-oriented context of Web Services.
Keywords: Web Services; Web Service composition; OWL-S; HTN planning; SHOP2
Article Outline
- 1. Introduction
- 2. Motivating example
- 3. Background
- 4. Why HTN planning is suitable for Web Service composition?
- 5. From OWL-S to SHOP2
- 5.1. Encoding OWL-S process models as SHOP2 domains
- 5.1.1. Translate-atomic-process-effect (Q)
- 5.1.2. Translate-atomic-process-output (Q)
- 5.1.3. Translate-simple-process(Q)
- 5.1.4. Translate-Sequence-Process(Q)
- 5.1.5. Translate-If–Then–Else–Process(Q)
- 5.1.6. Translate-Repeat-While-Process(Q)
- 5.1.7. Translate-Repeat-Until-process(Q)
- 5.1.8. Translate-Choice-process(Q)
- 5.1.9. Translate-Unordered-process(Q)
- 5.1.10. Translate-Process-Model (K)
- 5.2. Encoding OWL-S Web Services composition problem as SHOP2 planning problem
- 6. Implementation
- 7. Discussion
- 8. Related work
- 9. Conclusion
- Acknowledgements
- References






E-mail Article
Add to my Quick Links

Cited By in Scopus (67)






