Automating DAML-S Web Services Composition Using SHOP2

TitleAutomating DAML-S Web Services Composition Using SHOP2
Publication TypeBook Chapters
Year of Publication2003
AuthorsWu D, Parsia B, Sirin E, Hendler J, Nau DS
EditorFensel D, Sycara K, Mylopoulos J
Book TitleThe Semantic Web - ISWC 2003
Series TitleLecture Notes in Computer Science
Pagination195 - 210
PublisherSpringer Berlin / Heidelberg
ISBN Number978-3-540-20362-9
KeywordsComputer science

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 difficulties of using SHOP2 in the information-rich and human-oriented context of Web services.