Automating DAML-S Web Services Composition Using SHOP2


Dan Wu1, Bijan Parsia2, Evren Sirin1, James Hendler1 and Dana Nau1

1University of Maryland,
Computer Science Department,
College Park MD 20742, USA
{dandan, evren, hendler, nau}@cs.umd.edu

2University of Maryland, MIND Lab, 8400 Baltimore Ave
College Park MD 20742, USA
bparsia@isr.umd.edu


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

In Proc. 2nd International Semantic Web Conference (ISWC2003), Sanibel Island, Florida, USA, October 20-23, 2003.