Automating DAML-S web services composition using SHOP2

Dan Wu, Bijan Parsia, Evren Sirin, James Hendler, Dana Nau

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    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. © Springer-Verlag Berlin Heidelberg 2003.
    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.
    PublisherSpringer Nature
    Pages195-210
    Number of pages15
    Volume2870
    Publication statusPublished - 2003
    EventThe Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings -
    Duration: 1 Jan 1824 → …
    http://dblp.uni-trier.de/db/conf/semweb/iswc2003.html#UscholdCDFSUWBH03http://dblp.uni-trier.de/rec/bibtex/conf/semweb/UscholdCDFSUWBH03.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/semweb/UscholdCDFSUWBH03

    Publication series

    NameLecture Notes in Computer Science

    Conference

    ConferenceThe Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings
    Period1/01/24 → …
    Internet address

    Fingerprint

    Dive into the research topics of 'Automating DAML-S web services composition using SHOP2'. Together they form a unique fingerprint.

    Cite this