Semantic Web Service Automatic Composition Based on Discrete Event Calculus
A semantic Web service automatic composition method based on discrete Event Calculus is proposed aiming at the issues of service AI planning composition such as large number of services and the confine of sequence composition process. Firstly, the extensi
- PDF / 1,822,584 Bytes
- 9 Pages / 439.37 x 666.142 pts Page_size
- 46 Downloads / 189 Views
Semantic Web Service Automatic Composition Based on Discrete Event Calculus Kai Nie, Houxiang Wang and Jiao He
Abstract A semantic Web service automatic composition method based on discrete Event Calculus is proposed aiming at the issues of service AI planning composition such as large number of services and the confine of sequence composition process. Firstly, the extension of EC to DEC is present. Then the eight basic semantic Web service composition processes and their IOPE are modeled based on the actions, fluent and axioms of DEC. The service composition process is divided into two steps, abstract service planning and instance execution. And the service automatic composition framework is introduced. Also the abduction DEC planning method and semantic matching method of instance execution are given. The comparison indicate the superiority of this method: it solves the confine of sequence composition process of classic AI planning composition method with Event Calculus’ presentation of compound action, concurrent action, continuous action, knowledge of the agent and the predicate number of the DEC is much smaller than EC which speed the service discovering and composition. Keywords Semantic web service planning Discrete event calculus
Automatic service composition Intelligent Abduction
49.1 Introduction Emerging semantic Web services standards as OWL-S [1] enrich Web service standards like WSDL and BPEL4WS with rich semantic annotations to facilitate flexible dynamic web services discovery, invocation and and composition. The semantic K. Nie (&) H. Wang J. He College of Electronic Engineering, Naval University of Engineering, No 717, Jiefang Dadao Road 430033 Wuhan, People’s Republic of China e-mail: [email protected]
W. Lu et al. (eds.), Proceedings of the 2012 International Conference on Information Technology and Software Engineering, Lecture Notes in Electrical Engineering 210, DOI: 10.1007/978-3-642-34528-9_49, Ó Springer-Verlag Berlin Heidelberg 2013
477
478
K. Nie et al.
description of function interface and behaviour of Web service can be provided by OWL-S, but it does not contain automated reasoning mechanism and does not support automatic service discovery and composition of semantic Web services. The key technology of automatic service composition is using semantic match and automated reasoning mechanism. The automatic semantic Web service composition methods contain method based on workflow, method based on intelligent planning, method based on formal description and so on [2]. The intelligent planning method shortening as AI is very popular and mature in Web service composition and can be implemented in some tools such as JSHOP and Prolog. The AI composition methods contains Hierarchy Task Network (HTN) [3], Situation Calculus [4], PDDL [5], dynamic, description logic [6], theorem prover [7] and so on. But they have two shortcomings: large number of services and the confine of sequence composition process. Event Calculus is one of the convenient techniques for the automated co
Data Loading...
