DocumentCode
3129297
Title
Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models
Author
Tang, Xianfei ; Jiang, ChangJun ; Ding, Zhijun
Author_Institution
Tongji Univ., Shanghai
fYear
2007
fDate
9-13 July 2007
Firstpage
1162
Lastpage
1163
Abstract
This paper introduces an automatic Web service composition method based on logical inference of Horn clauses in Petri net models. The available services and user request described in SA WSDL are translated into a set of Horn clauses and the composability rules of the services´ input/output parameters are established using ontology reasoning. We choose Petri net as the model of this set of Horn clauses. T-invariant method of Petri nets is used to determine the existence of composite Web services that can fulfill user´s requirement.
Keywords
Horn clauses; Petri nets; Web services; inference mechanisms; ontologies (artificial intelligence); Horn clauses; Petri net models; T-invariant method; automatic Web service composition; logical inference; ontology reasoning; Computer science; Humans; OWL; Ontologies; Petri nets; Quality of service; Specification languages; Web services;
fLanguage
English
Publisher
ieee
Conference_Titel
Web Services, 2007. ICWS 2007. IEEE International Conference on
Conference_Location
Salt Lake City, UT
Print_ISBN
0-7695-2924-0
Type
conf
DOI
10.1109/ICWS.2007.54
Filename
4279728
Link To Document