Towards automated web service composition with fluent calculus and domain ontologies

ABSTRACT

Web service composition is mandatory when complex functional requirements cannot be satisfied by a single Web service. Due to the exponential growth of published Web services, the automatic Web service discovery and composition are highly desirable tasks. This paper presents a new approach for automatic Web service composition based on the the formalism of fluent calculus and using semantic service descriptions. In our approach, the Web service composition process is viewed as an AI planning problem in the fluent calculus formalism. To semantically describe the Web services, we have used a domain ontology which is then translated into a fluent calculus knowledge base, necessary for the composition planning phase. For verifying the composed services, the Label Transition System Analyzer (LTSA) formalism is used. We also present an experimental prototype for the fluent calculus based Web service composition and demonstrate its effectiveness with the help of an application scenario from the social event planning domain.

REFERENCES

• 1: Aydin O., Cicekli, N. K, Cicekli, I.: Towards Automated Web Service Composition with the Abductive Event Calculus, Seattle, USA, 2006.
• 2: Aydin O., Cicekli, N. K., Cicekli I.: Automated Web Services Composition with the Event Calculus. In: The 8^th International Workshop in Engineering Societies in the Agents World (ESAW07), Athens, 2007.
• 3: Howard Foster , Sebastian Uchitel , Jeff Magee , Jeff Kramer, LTSA-WS: a tool for model-based verification of web service compositions and choreography, Proceedings of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China [doi>10.1145/1134285.1134408]
• 4: Howard Foster , Sebastian Uchitel , Jeff Magee , Jeff Kramer, Leveraging Eclipse for integrated model-based engineering of web service compositions, Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange, p.95-99, October 16-17, 2005, San Diego, California [doi>10.1145/1117696.1117716]
• 5: McIlraith S. and Son T.: Adapting Golog for Composition of Semantic Web Services. In: The Eighth International Conference on Knowledge Representation and Reasoning (KR2002), Touluse, 2002.
• 6: Rao J. and Su X: A Survey of Automated Web Service Composition Methods, LNCS, Springer / Heidelberg, 2005.
• 7: Dumitru Roman , Uwe Keller , Holger Lausen , Jos de Bruijn , Rubén Lara , Michael Stollberg , Axel Polleres , Cristina Feier , Cristoph Bussler , Dieter Fensel, Web Service Modeling Ontology, Applied Ontology, v.1 n.1, p.77-106, January 2005
• 8: Sirin, E., et al.: Template-based Composition of Semantic Web Services. In: AAAI Fall Symposium on Agents and Semantic Web, Technical Report, Virginia, 2005.
• 9: Michael Thielscher, FLUX: A logic programming method for reasoning agents, Theory and Practice of Logic Programming, v.5 n.4-5, p.533-565, July 2005 [doi>10.1017/S1471068405002358]
• 10: Thielscher, M.: Introduction to the fluent calculus, In: Electronic Transactions on Artificial Intelligence, 1998.
• 11: Thielscher, M.: Programming of Reasoning and Planning Agents with FLUX, In: Proc. of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR2002), 2002.
• 12: Thielscher, M.: Handling Implication and Universal Quantification Constraints in FLUX, Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP11), 2005.
• 13: Thielscher, M.: The fluent calculus: A specification language for robots with sensors in nondeterministic, concurrent, and ramifying environments, In: Technical Report CL-2000-01, Artificial Intelligence Institute, 2000

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.1 Formal Definitions and Theory
          Subjects: Semantics

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.1 Formal Definitions and Theory
          Subjects: Syntax

General Terms:
Algorithms, Experimentation, Theory

Keywords:
fluent calculus, fluent calculus based planning, ontologies, web service composition