AI Planning in Web Services Composition: a review of current approaches and a new solution

• Luciano A. Digiampietri UNICAMP
• José J. Pérez-Alcázar USP
• Claudia Bauzer Medeiros UNICAMP

Abstract

Web services represent a relevant technology for interoperability. An important step toward the development of applications based on Web services is the ability of selecting and integrating heterogeneous services from different sites. When there is no single service capable of performing a given task, there must be some way to adequately compose basic services to execute this task. The manual composition of Web services is complex and susceptible to errors because of the dynamic behavior and flexibility of the Web. This paper describes and compares AI planning solutions to Web service automatic composition. As a result of this comparison, it proposes an architecture that supports service composition, and which combines AI planning with workflow mechanisms.

References

Agarwal, V., Chafle, G., Kumar, K. A., Mittal, S., and Srivastava, B. (2005). Synthy: A System for End to End Composition of Web Services. Journal of Web Semantics, 3:311–339.

Altintas, I., Berkley, C., Jaeger, E., Jones, M., Ludäscher, B., and Mock, S. (2004). Kepler: An extensible system for design and execution of scientific workflows. In 16th Intl. Conference on Scientific and Statistical Database Management(SSDBM).

Andrews et al., T. (2003). Business Process Execution Language for Web Services Version 1.1. [link] (as of 2007-02-11).

Austin, D., Grainger, W., Barbir, A., Ferris, C., and Garg, S. (2002). Web services architecture requirements. Technical report, W3C.

Berners-Lee, T., Hendler, J., and Lassila, O. (2001). The Semantic Web. Scientific American, 284(5):28–37.

Digiampietri, L., Pérez-Alcázar, J., and Medeiros, C. (2007). An ontology-based framework for bioinformatics workflows. Int. Journal of Bioinformatics Research and Applications. Accepted for publication.

Digiampietri, L. A., Medeiros, C. B., and Setubal, J. C. (2005). A framework based in Web services orchestration bioinformatics workflow management. Genetics and Molecular Research, 4(3).

Fensel, D. and Bussler, C. (2002). The Web Service Modeling Framework WSMF. Electronic Commerce Research and Applications, 1(2).

Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D., and Wilkins, D. (1998). PDDL the planning domain definition language. In Proc. of AIPS-98 Planning Committee.

Kim, J. and Gil, Y. (2004). Towards Interactive Composition of Semantic Web Services. In AAAI 2004.

Kuter, U. and Nau, D. (2004). Forward-Chaining Planning in Nondeterministic Domains. In AAAI 2004, pages 513–518.

Kuter, U., Nau, D., Pistore, M., and Traverso, P. (2005). A Hierarchical Task-Network Planner based on Symbolic Model Checking. In (ICAPS 2005), pages 300–310.

Levesque, H. J., Reiter, R., Lesperance, Y., Lin, F., and Scherl, R. B. (1997). Golog: A logic programming language for dynamic domains. Journal of Logic Programming, 31(1–3):59–84.

Long, D. and Fox, M. (2003). The 3rd International Planning Competition: Results and Analysis. Journal of Artificial Intelligence Research, 20:1–59.

Madhusudan, T. and Uttamsingh, N. (2006). A declarative approach to composing web services in dynamic environments. Decision Support Systems, 41(2):325–357.

Martin et al., D. (2004). OWL-S: Semantic Markup for Web Servi-ces. [link] (as of 2005-09-08).

McDermott, D. (2002). Estimated-Regression Planning for Interactions with Web Services. In AIPS 2001.

McIlraith, S. A. and Son, T. C. (2002). Adapting Golog for Composition of Semantic Web Services. In KR2002, pages 482–493.

Medeiros, C. B., Perez-Alcazar, J., Digiampietri, L., Pastorello, G., Santanche, A., Torres, R., Madeira, E., and Bacarin, E. (2005). WOODSS and the Web: Annotating and Reusing Scientific Workflow. ACM SIGMOD Record, 34(3):18–23.

Nau, D., Au, T., Ilghami, O., Kuter, U., Murdock, W., Wu, D., and Yaman, F. (2003). SHOP2: An HTN Planning System. Journal of Artificial Intelligence Research, 20:379–404.

Rao, J. and Su, X. (2004). A Survey of Automated Web Service Composition Methods. In SWSWPC 2004, volume 3387, pages 43–54.

Sirin, E., Parsia, B., Wu, D., Hendler, J. A., and Nau, D. S. (2004). HTN planning for Web Service composition using SHOP2. Journal of Web Semantics, 1(4):377–396.

Srivastava, B. and Koehler, J. (2003). Web Service Composition Current Solutions and Open Problems. In ICAPS 2003, pages 28–35.

Stevens, R., Baker, P., Bechhofer, S., Ng, G., Jacoby, A., Paton, N. W., Goble, C. A., and Brass, A. (2000). TAMBIS: Transparent Access to Multiple Bioinformatics Information Sources. Bioinformatics, 16(2):184–186.

Traverso, P. and Pistore, M. (2004). Automated Composition of Semantic Web Services into Executable Processes. Lecture Notes in Computer Science, 3298:380–394.

W3C (2003). Extensible Markup Language (XML). [link] (as of 2007-02-06).

WfMOpen. WfMOpen project. [link] (as of 2007-02-11).

Zeng, L., Benatallah, B., Ngu, A., Dumas, M., Kalagnanam, J., and Chang, H. (2004). Qosaware middleware for web services composition. IEEE Trans. Software Eng., 30:311–327.