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'05)
Correctness Verification of synchronization based workflow model
Beijing, China
October 12-October 18
ISBN: 0-7695-2430-3
ASCII Text
x 
 
Cai Jian, Zhao Wen, Zhang Shikun, Wang Lifu, "Correctness Verification of synchronization based workflow model," E-Business Engineering, IEEE International Conference on, pp. 527-530, IEEE International Conference on e-Business Engineering (ICEBE'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/ICEBE.2005.43,
author = {Cai Jian and Zhao Wen and Zhang Shikun and Wang Lifu},
title = {Correctness Verification of synchronization based workflow model},
journal ={E-Business Engineering, IEEE International Conference on},
volume = {0},
year = {2005},
isbn = {0-7695-2430-3},
pages = {527-530},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICEBE.2005.43},
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 - Correctness Verification of synchronization based workflow model
SN - 0-7695-2430-3
SP527
EP530
A1 - Cai Jian,
A1 - Zhao Wen,
A1 - Zhang Shikun,
A1 - Wang Lifu,
PY - 2005
KW - workflow
KW - model checking
KW - Petri net
KW - workjlow logic
KW - workjlow semantic
KW - spin model checker
VL - 0
JA - E-Business Engineering, IEEE International Conference on
ER -
 
Cai Jian, Peking Universiv, Beijing
Zhao Wen, Peking Universiv, Beijing
Zhang Shikun, Peking Universiv, Beijing
Wang Lifu, Peking Universiv, Beijing

Work flow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, they attempt to support frequent changes of the workjlows at hand. Therefore, the need for analysis methods to verifi the correctness of workjlows is becoming more prominent. In this paper, we present a method for correctness verification of synchronization based workjlow model. Moreover, the method can give a counterexample when an error exists in model, this will help to improve the model.

Index Terms:
workflow, model checking, Petri net,workjlow logic, workjlow semantic, spin model checker
Citation:
Cai Jian, Zhao Wen, Zhang Shikun, Wang Lifu, "Correctness Verification of synchronization based workflow model," icebe, pp.527-530, IEEE International Conference on e-Business Engineering (ICEBE'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.