Automated composition of web services with the abductive event calculus

2010-10-01
Ozorhan, Esra Kirci
Kuban, Esat Kaan
Çiçekli, Fehime Nihan
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.
INFORMATION SCIENCES

Suggestions

Automatic QoS evaluation method for web services
Aşkaroğlu, Emra; Karagöz, Pınar (2012-07-04)
In this work, we propose a new QoS evaluation method for web services. The proposed method aims to keep track of web services in terms of QoS parameters and to generate QoS values automatically when necessary. It is realized as a part of a Web service discovery system that is a collection of domain specific service discovery nodes.
Dynamic planning approach to automated web service composition
Kuzu, Mehmet; Çiçekli, Fehime Nihan (2012-01-01)
In this paper, novel ideas are presented for solving the automated web service composition problem. Some of the possible real world problems such as partial observability of the environment, nondeterministic effects of web services and service execution failures are solved through a dynamic planning approach. The proposed approach is based on a novel AI planner that is designed for working in highly dynamic environments under time constraints, namely Simplanner. World altering service calls are done accordi...
Automated Web Services Composition with the Event Calculus
Aydin, Onur; Çiçekli, Fehime Nihan; Cicekli, Ilyas (2007-10-24)
As the web services proliferate and complicate it is becoming an overwhelming job to manually prepare the web service compositions which describe the communication and integration between web services. This paper analyzes the usage of the Event Calculus, which is one of the logical action-effect definition languages, for the automated preparation and execution of web service compositions. In this context, abductive planning capabilities of the Event Calculus are utilized. It is shown that composite process ...
Efficient Computation of Green's Functions for Multilayer Media in the Context of 5G Applications
Mittra, Raj; Özgün, Özlem; Li, Chao; Kuzuoğlu, Mustafa (2021-03-22)
This paper presents a novel method for effective computation of Sommerfeld integrals which arise in problems involving antennas or scatterers embedded in planar multilayered media. Sommerfeld integrals that need to be computed in the evaluation of spatial-domain Green's functions are often highly oscillatory and slowly decaying. For this reason, standard numerical integration methods are not efficient for such integrals, especially at millimeter waves. The main motivation of the proposed method is to comput...
Improving reinforcement learning by using sequence trees
Girgin, Sertan; Polat, Faruk; Alhajj, Reda (Springer Science and Business Media LLC, 2010-12-01)
This paper proposes a novel approach to discover options in the form of stochastic conditionally terminating sequences; it shows how such sequences can be integrated into the reinforcement learning framework to improve the learning performance. The method utilizes stored histories of possible optimal policies and constructs a specialized tree structure during the learning process. The constructed tree facilitates the process of identifying frequently used action sequences together with states that are visit...
Citation Formats
E. K. Ozorhan, E. K. Kuban, and F. N. Çiçekli, “Automated composition of web services with the abductive event calculus,” INFORMATION SCIENCES, vol. 180, no. 19, pp. 3589–3613, 2010, Accessed: 00, 2023. [Online]. Available: https://hdl.handle.net/11511/102302.