loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
IEEE International Conference on Web Services (ICWS 2007)
Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models
Salt Lake City, Utah, USA
July 09-July 13
ISBN: 0-7695-2924-0
ASCII Text
x 
 
Xianfei Tang, Changjun Jiang, Zhijun Ding, "Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models," Web Services, IEEE International Conference on, pp. 1162-1163, IEEE International Conference on Web Services (ICWS 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/ICWS.2007.54,
author = {Xianfei Tang and Changjun Jiang and Zhijun Ding},
title = {Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models},
journal ={Web Services, IEEE International Conference on},
volume = {0},
year = {2007},
isbn = {0-7695-2924-0},
pages = {1162-1163},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2007.54},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Web Services, IEEE International Conference on
TI - Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models
SN - 0-7695-2924-0
SP1162
EP1163
A1 - Xianfei Tang,
A1 - Changjun Jiang,
A1 - Zhijun Ding,
PY - 2007
KW - null
VL - 0
JA - Web Services, IEEE International Conference on
ER -
 
Xianfei Tang, Tongji University, Shanghai, China
Changjun Jiang, Tongji University, Shanghai, China
Zhijun Ding, Tongji University, Shanghai, China
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 SAWSDL 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.
Citation:
Xianfei Tang, Changjun Jiang, Zhijun Ding, "Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models," icws, pp.1162-1163, IEEE International Conference on Web Services (ICWS 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.