Title :
Automatic Web Services Composition Based on Reasoning Petri Net
Author :
Le, Jia-jin ; He, Feng
Author_Institution :
Sch. of Comput. Sci. & Technol., DongHua Univ., Shanghai
Abstract :
This paper proposes an automatic Web services composition method that satisfies the userpsilas request efficiently. Using the method, the available services in a local repository described in OWL-S are translated into a set of production rules, and the dependency rules of the Web services are established using interface matchmaking. We choose reasoning Petri nets (RPN) as the model of this set of production rules. Then we design a Web services composition reasoning algorithm based on the RPN model. The reasoning process of Web services composition is accomplished more simply, quickly, and its efficiency is also improved due to the parallel operation ability of Petri net.
Keywords :
Petri nets; Web services; ontologies (artificial intelligence); reasoning about programs; OWL-S; automatic Web service composition; dependency rules; interface matchmaking; parallel operation; production rules; reasoning Petri Net; user request; Algorithm design and analysis; Automata; Automatic logic units; Computer science; Impedance matching; Information technology; Petri nets; Production; Semantic Web; Web services; Composition; Reason Petri net; Web service;
Conference_Titel :
Advanced Language Processing and Web Information Technology, 2008. ALPIT '08. International Conference on
Conference_Location :
Dalian Liaoning
Print_ISBN :
978-0-7695-3273-8
DOI :
10.1109/ALPIT.2008.83