A graph-search based algorithm for verifying workflow graphs

Proceedings - International Workshop on Database and Expert Systems Applications, DEXA

Volumn 2006, Issue , 2005, Pages 992-996

  Perumal, Sinnakkrishnan ^a   Mahanti, Ambuj ^a  

^a INDIAN INSTITUTE OF MANAGEMENT CALCUTTA   (India)

Author keywords

[No Author keywords available]

Indexed keywords

STRUCTURAL CONFLICTS; WORKFLOW GRAPHS; WORKFLOW VERIFICATION;

ALGORITHMS; COMPUTATIONAL COMPLEXITY; DATABASE SYSTEMS; PROCESS ENGINEERING;

GRAPH THEORY;

EID: 33749068894     PISSN: 15294188     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DEXA.2005.17     Document Type: Conference Paper

References (6)

1. H. Eshuis, "Semantics and Verification of UML Activity Diagrams for WorkflowModelling", Ph.D. thesis, CTIT, U. Twente, 2002.
2. H. Lin, Z. Zhao, H. Li, and Z. Chen, "A Novel Graph Reduction Algorithm to Identify Structural Conflicts", HICSS, 2002, p. 289.
3. A. Mahanti, and A. Bagchi, "AND/OR Graph Heuristic Search Methods", J. ACM, 32(1), 1985, pp. 28-51.
4. Nilsson, N.J., Principles of Artificial Intelligence, Springer-Verlag, London, 1982.
5. W. Sadiq, and M.E. Orlowska, "Analyzing Process Models Using Graph Reduction Techniques", Inf. Syst., 25(2), 2000, pp. 117-134.
6. W.M.P. van der Aalst, A. Hirnschall, and H.M.W. Verbeek, "An Alternative Way to Analyze Workflow Graphs", CAiSE, 2002, pp. 535-552.