A comparative illustration of AI planning-based web services composition

ABSTRACT

As the number of available web services proliferates, finding right web services to fulfill a given goal becomes an important task. In particular, a problem of combining multiple web services to satisfy a single task, known as web services composition problem, has received much attention recently, and various solutions have been proposed. Among many proposed solutions, however, it is not clear to use which one in what scenarios. In this paper, to this end, we present: (1) a taxonomy and decision guideline of available solution spaces; (2) an overview of syntactic and semantic matching approaches, and (3) a comparative illustration of three representative solutions from the perspective of e-service workflows.

REFERENCES

• 1: Ilkay Altintas , Efrat Jaeger , Kai Lin , Bertram Ludaescher , Ashraf Memon, A Web Service Composition and Deployment Framework for Scientific Workflows, Proceedings of the IEEE International Conference on Web Services (ICWS'04), p.814, June 06-09, 2004 [doi>10.1109/ICWS.2004.16]
• 2: BERNERS-LEE, T., HENDLER, J., AND LASSILA. O. 2001. The Semantic Web. Scientific American.
• 3: BILENKO, M., COHEN, W. W., FIENBERG, S., MOONEY R. J., AND RAVIKUMAR P. 2003. Adaptive name matching in information integration. IEEE Intelligent Systems, 18(5).
• 4: BLUM A., AND FURST, M.L. 1995. Fast planning through planning graph analysis. In Proceedings of IJCAI.
• 5: Blai Bonet , Héctor Geffner, Planning as heuristic search, Artificial Intelligence, v.129 n.1-2, p.5-33, June 2001 [doi>10.1016/S0004-3702(01)00108-4]
• 6: CANTERA, M. 2004. IT professional services forecast and trends for web services. ITES-WW-MT-0116, Gartner Inc.
• 7: DOAN, A., MADHAVAN, J., DOMINGOS, P., AND HALEVY, A. 2004. Handbook on ontologies in information systems, STAAB, S. AND STUDER, R. (eds.), Springer-Velag.
• 8: FIKES, R. E., AND NILSSON, N. 1971. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 5(2).
• 9: GHANDEHARIZADEH, S. (et al.) 2003. Proteus: a system for dynamically composing and intelligently executing web services. In Proceedings of Int'l Conf. On Web Services (ICWS).
• 10: Henry Kautz , Bart Selman, Planning as satisfiability, Proceedings of the 10th European conference on Artificial intelligence, p.359-363, August 1992, Vienna, Austria
• 11: Seog-Chan Oh , Byung-Won On , Eric J. Larson , Dongwon Lee, BF*: Web Services Discovery and Composition as Graph Search Problem, Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service, p.784-786, March 29-April 01, 2005 [doi>10.1109/EEE.2005.41]
• 12: PONNEKANTI, S. R., AND FOX, A. 2002. SWORD: A developer toolkit for web service composition. In Proceedings of WWW, Honolulu, HI.
• 13: RAO, J., AND SU, X. 2004. A survey of automated web service composition methods, In Proceedings of SWSWPC.
• 14: Stuart J. Russell , Peter Norvig, Artificial intelligence: a modern approach, Prentice-Hall, Inc., Upper Saddle River, NJ, 1995
• 15: SIVASHANMUGAM, K., VERMA, K., SHETH, A., AND MILLER, J. 2003. Adding semantics to web services standards. In Proceedings of Int'l Conf. On Web Services (ICWS).
• 16: Thomas Vossen , Michael Ball , Amnon Lotem , Dana S. Nau, On the Use of Integer Programming Models in AI Planning, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, p.304-309, July 31-August 06, 1999
• 17: WELD, D. S. 1999. Recent advances in AI planning. AI Magazine, 20(2).

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.8 Problem Solving, Control Methods, and Search
          Subjects: Plan execution, formation, and generation

Additional Classification:
  G. Mathematics of Computing
  G.1 NUMERICAL ANALYSIS
      G.1.6 Optimization
          Subjects: Integer programming

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence
            Subjects: Multiagent systems

  K. Computing Milieux
  K.4 COMPUTERS AND SOCIETY
      K.4.4 Electronic Commerce

General Terms:
Algorithms, Documentation

Keywords:
SATPlan, algorithms, documentation, graphplan, integer programming, web services composition