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)
Research on workflow process structure verification
Beijing, China
October 12-October 18
ISBN: 0-7695-2430-3
ASCII Text
x 
 
LING Hong, ZHOU JiangBo, "Research on workflow process structure verification," E-Business Engineering, IEEE International Conference on, pp. 158-166, IEEE International Conference on e-Business Engineering (ICEBE'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/ICEBE.2005.107,
author = {LING Hong and ZHOU JiangBo},
title = {Research on workflow process structure verification},
journal ={E-Business Engineering, IEEE International Conference on},
volume = {0},
year = {2005},
isbn = {0-7695-2430-3},
pages = {158-166},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICEBE.2005.107},
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 - Research on workflow process structure verification
SN - 0-7695-2430-3
SP158
EP166
A1 - LING Hong,
A1 - ZHOU JiangBo,
PY - 2005
KW - workflow
KW - process
KW - process structure
KW - verification
VL - 0
JA - E-Business Engineering, IEEE International Conference on
ER -
 
LING Hong, Fudan University
ZHOU JiangBo, Fudan University

To solve the verification problem of workflow process structure, after reviewing related research papers, semantic deduce-based workflow verification method is proposed. Through process structure verification equal theorem, the proposed method Firstly transforms a cyclic workflow process into an acyclic one ; and then generates all instance graphs of the workflow process; lastly decides whether the workflow process is correct or not according to semantic tables and the acyclic workflow verification theorem. Comparison with related workflow verification methods is presented in the end.

Index Terms:
workflow, process, process structure, verification
Citation:
LING Hong, ZHOU JiangBo, "Research on workflow process structure verification," icebe, pp.158-166, IEEE International Conference on e-Business Engineering (ICEBE'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.