Article

Automating DAML-S web services composition using SHOP2

Authors:

Dan Wu,

Bijan Parsia,

Evren Sirin,

James Hendler,

Dana NauAuthors Info & Claims

LNCS-ISWC'03: Proceedings of the Second International Conference on Semantic Web Conference

Pages 195 - 210

https://doi.org/10.1007/978-3-540-39718-2_13

Published: 20 October 2003 Publication History

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.

References

[1]

Dean, M., Connolly, D., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: Web Ontology Language (OWL) Reference Version 1.0. Recent Trends and Developments. W3C Working Draft November 12 (2002), http://www.w3.org/TR/2002/WD-owl-ref-20021112/.

Google Scholar

[2]

Horrocks, I., van Harmelen, F., Patel-Schneider, P., Berners-Lee, T., Brickley, D., Connoly, D., Dean, M., Decker, S., Fensel, D., Hayes, P., Heflin, J., Hendler, J., Lassila, O., McGuinness, D., Stein, L.A.: DAML+OIL (2001), http://www.daml.org/2001/03/daml+oil-index.html.

Google Scholar

[3]

The DAML Services Coalition: DAML-S: Semantic Markup for Web Services. Technical Overview (2002), http://www.daml.org/services/daml-s/0.7/daml-s.html.

Google Scholar

[4]

Ankolekar, A., Burstein, M., Hobbs, J.R., Lassila, O., Martin, D., McDermott, D., McIlraith, S.A., Narayanan, S., Paolucci, M., Payne, T., Sycara, K. (The DAML Services Coalition): DAML-S: Web Service Description for the Semantic Web. In: Proceedings of the First International Semantic Web Conference (2002).

Crossref

Google Scholar

[5]

Nau, D., Munoz-Avila, H., Cao, Y., Lotem, A., Mitchell, S.: Total-Order Planning with Partially Ordered Subtasks. In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (2001).

Crossref

Google Scholar

[6]

Nau, D., Au, T., Ilghami, O., Kuter, U., Murdock, J.W., Wu, D., Yaman, F.: SHOP2: An HTN Planning Environment. Journal of Artificial Intelligence Research (2003) (to appear).

Google Scholar

[7]

Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (2001).

Google Scholar

[8]

Narayanan, S., McIlraith, S.: Simulation, Verification and Automated Composition of Web Services. In: Proceedings of the Eleventh International World Wide Web Conference, Honolulu, Hawaii (2002).

Crossref

Google Scholar

[9]

Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, Cambridge (2001).

Crossref

Google Scholar

[10]

McIlraith, S., Son, T.: Adapting Golog for Composition of Semantic Web Services. In: Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning, Toulouse, France (2002).

Google Scholar

[11]

Matskin, M., Rao, J.: Value-Added Web Services Composition Using Automatic Program Synthesis. In: Bussler, C.J., McIlraith, S.A., Orlowska, M.E., Pernici, B., Yang, J. (eds.) CAiSE 2002 and WES 2002. LNCS, vol. 2512, pp. 213-224. Springer, Heidelberg (2002).

Crossref

Google Scholar

[12]

Paolucci, M., Shehory, O., Sycara, K.: Interleaving planning and execution in a multiagent team planning environment. Electronic Transactions of Artificial Intelligence (2001).

Google Scholar

[13]

Paolucci, M., Sycara, K., Kawamura, T.: Delivering semantic web services. Technical Report CMU-RI-TR-02-28, Robotics Institute, Carnegie Mellon University, Pittsburgh, PA (December 2002).

Google Scholar

Cited By

View all

Lotinac DJonsson A(2016)Constructing hierarchical task models using invariance analysisProceedings of the Twenty-second European Conference on Artificial Intelligence10.3233/978-1-61499-672-9-1274(1274-1282)Online publication date: 29-Aug-2016
Georgievski IAiello M(2015)HTN planningArtificial Intelligence10.1016/j.artint.2015.02.002222:C(124-156)Online publication date: 1-May-2015
Wu Z(2014)Service Computing: Concept, Method and TechnologyundefinedOnline publication date: 6-Dec-2014
Show More Cited By

Index Terms

Automating DAML-S web services composition using SHOP2
1. Information systems
  1. World Wide Web
    1. Web applications

Index terms have been assigned to the content through auto-classification.

Recommendations

HTN planning for Web Service composition using SHOP2

Automated composition of Web Services can be achieved by using AI planning techniques. Hierarchical Task Network (HTN) planning is especially well-suited for this task. In this paper, we describe how HTN planning system SHOP2 can be used with OWL-S Web ...
Dynamic composition of web services using efficient planners in large-scale service repository

Web services as independent software components are published by service providers over the Internet and invoked by service requesters for their desired functionalities. In many cases, however, there is no single service in a Web service repository ...
Semantically realizing discovery and composition for RESTful web services
Abstract
The processes of service discovery and composition are crucial tasks in application development driven by Web Services. However, with RESTful Web Service replacing SOAP-based Web Service as the dominant service-providing approach, the research on ...

Comments

Information & Contributors

Information

Published In

LNCS-ISWC'03: Proceedings of the Second International Conference on Semantic Web Conference

October 2003

928 pages

ISBN:9783540203629

Editors:
Dieter Fensel
DERI, located at the Universities of Galway and Innsbruck
,
Katia Sycara
Carnegie Mellon University, School of Computer Science, Pittsburgh, PA
,
John Mylopoulos
University of Toronto, Department of Computer Science, Toronto, Canada

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 20 October 2003

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

52
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Lotinac DJonsson A(2016)Constructing hierarchical task models using invariance analysisProceedings of the Twenty-second European Conference on Artificial Intelligence10.3233/978-1-61499-672-9-1274(1274-1282)Online publication date: 29-Aug-2016
Georgievski IAiello M(2015)HTN planningArtificial Intelligence10.1016/j.artint.2015.02.002222:C(124-156)Online publication date: 1-May-2015
Wu Z(2014)Service Computing: Concept, Method and TechnologyundefinedOnline publication date: 6-Dec-2014
El Falou MBouzid MMouaddib AVidal T(2012)A distributed multi-agent planning approach for automated web services compositionWeb Intelligence and Agent Systems10.5555/2590069.259007310:4(423-445)Online publication date: 1-Oct-2012
Xia YWan NDai GLuo XSun T(2012)A non-Markovian stochastic Petri net-based approach to performance evaluation of ontology-based service compositionConcurrency and Computation: Practice & Experience10.1002/cpe.280824:18(2255-2267)Online publication date: 1-Dec-2012
Lécué FDelteil ALéger A(2011)s slGolog: When conditional compositions of web services meet semantic links and causal lawsWeb Intelligence and Agent Systems10.5555/1971931.19719329:1(1-25)Online publication date: 1-Jan-2011
Du XMunro MSong W(2011)CbSSDFInternational Journal of Information System Modeling and Design10.4018/jismd.20111001042:4(82-103)Online publication date: 1-Oct-2011
Harrison WBorba PChiba S(2011)Modularity for the changing meaning of changingProceedings of the tenth international conference on Aspect-oriented software development10.1145/1960275.1960313(301-312)Online publication date: 21-Mar-2011
Li MHuai JGuo H(2009)An Adaptive Web Services Selection Method Based on the QoS Prediction MechanismProceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 0110.1109/WI-IAT.2009.363(395-402)Online publication date: 15-Sep-2009
Maigre RGrigorenko PKüngas PTyugu E(2008)Stratified Composition of Web ServicesProceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering10.5555/1566274.1566285(49-58)Online publication date: 29-Jun-2008
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

HTN planning for Web Service composition using SHOP2

Dynamic composition of web services using efficient planners in large-scale service repository

Semantically realizing discovery and composition for RESTful web services

Comments

Published In

Sponsors

Publisher

Publication History

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

Abstract

References

Cited By

Index Terms

Recommendations

HTN planning for Web Service composition using SHOP2

Dynamic composition of web services using efficient planners in large-scale service repository

Semantically realizing discovery and composition for RESTful web services

Comments

Information

Published In

Sponsors

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations