loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008)
Verification for Time Consistency of Web Service Flow
May 14-May 16
ISBN: 978-0-7695-3131-1
ASCII Text
x 
 
Rujuan Liu, Changjun Hu, ChongChong Zhao, Zhong Gao, "Verification for Time Consistency of Web Service Flow," Computer and Information Science, ACIS International Conference on, pp. 624-629, Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008), 2008.
 
 
BibTex
x
 
@article{ 10.1109/ICIS.2008.40,
author = {Rujuan Liu and Changjun Hu and ChongChong Zhao and Zhong Gao},
title = {Verification for Time Consistency of Web Service Flow},
journal ={Computer and Information Science, ACIS International Conference on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3131-1},
pages = {624-629},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICIS.2008.40},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer and Information Science, ACIS International Conference on
TI - Verification for Time Consistency of Web Service Flow
SN - 978-0-7695-3131-1
SP624
EP629
A1 - Rujuan Liu,
A1 - Changjun Hu,
A1 - ChongChong Zhao,
A1 - Zhong Gao,
PY - 2008
KW - Verification of WS Flow
KW - Annotated OWL_S
KW - Time Ontology
KW - Model Checking
KW - Time Constraints Petri Net
VL - 0
JA - Computer and Information Science, ACIS International Conference on
ER -
 
Non-functional property verification (such as time consistency) for Web Services (WS) flow has become indispensable since many WS for e-business exist in real world with temporal context and depend on many external restrictions like executing time and consuming cost etc. Unfortunately, current researches mainly focus on the modeling, analyzing and verifying of WS process, while ignoring the non-functional factors. Aiming at verifying time constraints in service flow, the paper presents a method for verifying time constraints consistency in WS flow. By building time ontology based on DAML_Time, the OWL_S(Ontology Web Language for Web Services) is extended with time constraints, which expresses time information of WS flow clearly and roundly. Then the annotated OWL_S is transformed to formal model TCPN (Time constraints Petri Net). By verifying property of TCPN, the time consistency of WS flow can be verified according to the result of verification algorithm. A composite WS is taken as an example to illustrate the process of verification.
Index Terms:
Verification of WS Flow, Annotated OWL_S, Time Ontology, Model Checking, Time Constraints Petri Net
Citation:
Rujuan Liu, Changjun Hu, ChongChong Zhao, Zhong Gao, "Verification for Time Consistency of Web Service Flow," icis, pp.624-629, Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008), 2008
Usage of this product signifies your acceptance of the Terms of Use.