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

fYear

2008

fDate

23-25 July 2008

Firstpage

569

Lastpage

574

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ALPIT.2008.83

Filename

4584429