Automated composition of web services with the abductive event calculus

Ozorhan E. K., Kuban E. K., Cicekli N. K.

INFORMATION SCIENCES, cilt.180, sa.19, ss.3589-3613, 2010 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 180 Sayı: 19
  • Basım Tarihi: 2010
  • Doi Numarası: 10.1016/j.ins.2010.05.040
  • Dergi Adı: INFORMATION SCIENCES
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.3589-3613
  • Anahtar Kelimeler: Web services, Automated web service composition, Planning, Abductive event calculus, QOS
  • Orta Doğu Teknik Üniversitesi Adresli: Evet

Özet

This paper proposes the application of the abductive event calculus to the web service composition and execution problem. There are different approaches to web service composition, which are suitable for different application scenarios. In this paper, we are concerned with the formalization of both the interleaved and template-based approaches using the event calculus framework. First, in the interleaved approach, it is shown that given a set of OWL-S web service descriptions in a service repository and a set of user specified inputs and outputs from domain ontology, the abductive event calculus can be used to generate web service compositions and return values for the outputs by executing the necessary web services. Next, in the template-based approach, it is shown that if generic web service compositions are given as templates using OWL-S, they can be translated into the axioms of the event calculus and the abductive theorem prover can be used to generate the actual web service compositions which can be executed afterwards. (C) 2010 Elsevier Inc. All rights reserved.