loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
40th Annual Hawaii International Conference on System Sciences (HICSS'07)
Big Island, Hawaii
January 03-January 06
ISBN: 0-7695-2755-8
ASCII Text
x 
 
Sinnakkrishnan Perumal, Ambuj Mahanti, "Applying Graph Search Techniques for Workflow Verification," Hawaii International Conference on System Sciences, pp. 48c, 40th Annual Hawaii International Conference on System Sciences (HICSS'07), 2007.
 
 
BibTex
x
 
@article{ 10.1109/HICSS.2007.83,
author = {Sinnakkrishnan Perumal and Ambuj Mahanti},
title = {Applying Graph Search Techniques for Workflow Verification},
journal ={Hawaii International Conference on System Sciences},
volume = {0},
year = {2007},
issn = {1530-1605},
pages = {48c},
doi = {http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.83},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Hawaii International Conference on System Sciences
TI - Applying Graph Search Techniques for Workflow Verification
SN - 1530-1605
SP
EP
A1 - Sinnakkrishnan Perumal,
A1 - Ambuj Mahanti,
PY - 2007
KW - null
VL - 0
JA - Hawaii International Conference on System Sciences
ER -
 
Sinnakkrishnan Perumal, Indian Institute of Management Calcutta
Ambuj Mahanti, Indian Institute of Management Calcutta
Workflow verification is a critical topic in workflow management. This involves identifying structural conflicts in the workflow process definition. Mahanti- Sinnakkrishnan algorithm is a graph-search based algorithm for verifying workflow graphs and this algorithm is given in [5] and [6]. In this paper, intricacies of this algorithm in using typical graph search techniques for solving the problem of workflow verification are detailed. AO* and Depth First Search are the two graph search techniques used in this algorithm.
Citation:
Sinnakkrishnan Perumal, Ambuj Mahanti, "Applying Graph Search Techniques for Workflow Verification," hicss, pp.48c, 40th Annual Hawaii International Conference on System Sciences (HICSS'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.