2003
DOI: 10.1007/978-3-540-39718-2_13
|View full text |Cite
|
Sign up to set email alerts
|

Automating DAML-S Web Services Composition Using SHOP2

Abstract: 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 th… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
111
0

Year Published

2004
2004
2012
2012

Publication Types

Select...
8
1
1

Relationship

0
10

Authors

Journals

citations
Cited by 253 publications
(111 citation statements)
references
References 8 publications
0
111
0
Order By: Relevance
“…OWL-S service profiles or WSMO capabilities -and mostly apply AI planning techniques for the composition task (e.g. [50,72,35]). The second level is concerned with the communication behavior in a composition of Web services.…”
Section: Compositionmentioning
confidence: 99%
“…OWL-S service profiles or WSMO capabilities -and mostly apply AI planning techniques for the composition task (e.g. [50,72,35]). The second level is concerned with the communication behavior in a composition of Web services.…”
Section: Compositionmentioning
confidence: 99%
“…However, the automated composition is limited to sequential composition of atomic services, and composition requirements are limited to reachability conditions. Other automated planning techniques have been proposed to tackle the problem of service composition, see, e.g., [27,23]. However, none of these can deal with the automated synthesis problem that we address in this paper, where the planning domain and the generated plans are state transition systems, and goals capture composition requirements that are not limited to reachability conditions.…”
Section: Related Work and Conclusionmentioning
confidence: 99%
“…[12,4]), and much less emphasis has been devoted to the problem of process-level composition. Different planning approaches have been proposed to ad-dress the problem of on-the-fly composition, from HTNs [17] to regression planning based on extensions of PDDL, to STRIPS-like planning for composing services described in DAML-S [15]. However, none of these techniques addresses the problem of composing web services with conditional outputs, non-nominal outcomes, and with process models describing interaction protocols that include conditional and iterative steps.…”
Section: Conclusion and Related Workmentioning
confidence: 99%