Title :
Applying Graph Search Techniques for Workflow Verification
Author :
Sinnakkrishnan Peramal ; Mahanti, Ambuj
Author_Institution :
Indian Inst. of Manage., Calcutta
Abstract :
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 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
Keywords :
graph theory; tree searching; workflow management software; Mahanti-Sinnakkrishnan algorithm; depth first search; graph-search based algorithm; workflow management; workflow process definition; workflow verification; Conference management; System recovery;
Conference_Titel :
System Sciences, 2007. HICSS 2007. 40th Annual Hawaii International Conference on
Conference_Location :
Waikoloa, HI
Electronic_ISBN :
1530-1605
DOI :
10.1109/HICSS.2007.83
