Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
