loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
7th IEEE International Conference on Computer and Information Technology (CIT 2007)
A Formal Framework for Description of Semantic Web Services
Aizu-Wakamatsu City, Fukushima, Japan
October 16-October 19
ISBN: 0-7695-2983-6
ASCII Text
x 
 
Jiang Zhixiong, Qian Leqiu, Pen Xin, "A Formal Framework for Description of Semantic Web Services," Computer and Information Technology, International Conference on, pp. 1065-1070, 7th IEEE International Conference on Computer and Information Technology (CIT 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/CIT.2007.24,
author = {Jiang Zhixiong and Qian Leqiu and Pen Xin},
title = {A Formal Framework for Description of Semantic Web Services},
journal ={Computer and Information Technology, International Conference on},
volume = {0},
year = {2007},
isbn = {0-7695-2983-6},
pages = {1065-1070},
doi = {http://doi.ieeecomputersociety.org/10.1109/CIT.2007.24},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer and Information Technology, International Conference on
TI - A Formal Framework for Description of Semantic Web Services
SN - 0-7695-2983-6
SP1065
EP1070
A1 - Jiang Zhixiong,
A1 - Qian Leqiu,
A1 - Pen Xin,
PY - 2007
VL - 0
JA - Computer and Information Technology, International Conference on
ER -
 
Jiang Zhixiong, Fudan University, ShangHai
Qian Leqiu, Fudan University, ShangHai
Pen Xin, Fudan University, ShangHai
Web services may produce the effect change of the world. To describe web services faithfully, not only static information but also dynamic information such as state change should be represented. In this paper we propose service dynamic description logic (SDDL) to represent and model the dynamic aspect of web services. Three basic reasoning services are introduced in our formal framework to support the discovery and composition of web services
Citation:
Jiang Zhixiong, Qian Leqiu, Pen Xin, "A Formal Framework for Description of Semantic Web Services," cit, pp.1065-1070, 7th IEEE International Conference on Computer and Information Technology (CIT 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.