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 :
بازگشت