Automating DAML-S Web Services Composition Using SHOP2 (2003)
| Venue: | In Proceedings of 2nd International Semantic Web Conference (ISWC2003 |
| Citations: | 97 - 5 self |
BibTeX
@INPROCEEDINGS{Wu03automatingdaml-s,
author = {Dan Wu and Bijan Parsia and Evren Sirin and James Hendler and and Dana Nau and Dana Nau},
title = {Automating DAML-S Web Services Composition Using SHOP2},
booktitle = {In Proceedings of 2nd International Semantic Web Conference (ISWC2003},
year = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The DAML-S Process Model is designed to support the application of AI planning techniques to the automated composition of Web services. SHOP2 is an Hierarchical Task Network (HTN) planner well-suited for working with the Process Model. We have proven the correspondence between the semantics of SHOP2 and the situation calculus semantics of the Process Model. We have also implemented a system which soundly and completely plans over sets of DAML-S descriptions using a SHOP2 planner, and then executes the resulting plans over the Web. We discuss the challenges and di#culties of using SHOP2 in the information-rich and human-oriented context of Web services.
Citations
| 340 | Knowledge in Action – Logical Foundations for specifying and Implementing Dynamical Systems - Reiter |
| 252 | Adapting Golog for composition of semantic Web Services - McIlraith, Son - 2002 |
| 245 | Simulation, verification and automated composition of web services - Narayanan, McIlraith - 2002 |
| 54 | Total-order planning with partially ordered subtasks - Nau, Muoz-Avila, et al. - 2001 |
| 51 | Delivering Semantic Web Services - Paolucci, Sycara, et al. - 2003 |
| 30 | Web Ontology Language (OWL) Reference, Version 1.0, W3C Organization, (available at http://www.w3.org/TR/2002/WD-owl-ref-20021 - Dean - 2002 |
| 21 | Interleaving planning and execution in a multiagent team planning environment’, Electron - Paolucci, Shehory, et al. - 2000 |
| 9 | Value-Added Web Services Composition Using Automatic Program Synthesis - Matskin, Rao - 2002 |
| 4 | An HTN planning environment - Nau, Au, et al. - 2003 |
