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
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;
Conference_Titel :
Web Services, 2007. ICWS 2007. IEEE International Conference on
Conference_Location :
Salt Lake City, UT
Print_ISBN :
0-7695-2924-0
DOI :
10.1109/ICWS.2007.54