loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
IEEE International Conference on e-Business Engineering (ICEBE'06)
The TCPN-based Verification of Temporal Consistency in Web Service Process
Shanghai, China
October 24-October 26
ISBN: 0-7695-2645-4
ASCII Text
x 
 
JIANG Hao, SUN Zhi-jian, "The TCPN-based Verification of Temporal Consistency in Web Service Process," E-Business Engineering, IEEE International Conference on, pp. 302-306, IEEE International Conference on e-Business Engineering (ICEBE'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ICEBE.2006.100,
author = {JIANG Hao and SUN Zhi-jian},
title = {The TCPN-based Verification of Temporal Consistency in Web Service Process},
journal ={E-Business Engineering, IEEE International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2645-4},
pages = {302-306},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICEBE.2006.100},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - E-Business Engineering, IEEE International Conference on
TI - The TCPN-based Verification of Temporal Consistency in Web Service Process
SN - 0-7695-2645-4
SP302
EP306
A1 - JIANG Hao,
A1 - SUN Zhi-jian,
PY - 2006
KW - null
VL - 0
JA - E-Business Engineering, IEEE International Conference on
ER -
 
JIANG Hao, Southeast University,Nanjing, China
SUN Zhi-jian, Southeast University,Nanjing, China
In recent years, time management is considered indispensable when tackling complex web-based business collaborations between enterprises in e-business environments. Unfortunately, current researches mainly focus on the modeling and analyzing of Web Service process, while ignoring the time factors. With many kinds of specifications of Web Service process, such as BPEL, WSFL, as a result, Web Services can be easily integrated. However, in practice many Web Services for e-business have temporal restrictions. Furthermore, the verification of temporal consistency becomes more complex. Based on Temporal constraint Petri net (TCPN) model of Web Service process and temporal reasoning rules, the paper presents a method for verifying the temporal consistency in Web Service process, which can greatly enhance the time management functionality.
Citation:
JIANG Hao, SUN Zhi-jian, "The TCPN-based Verification of Temporal Consistency in Web Service Process," icebe, pp.302-306, IEEE International Conference on e-Business Engineering (ICEBE'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.