An Efficient Algorithm for Workflow Graph Structural Verification

Any big enterprise is organized around business process having a value towards its customers and its products. Appropriate definition, analysis, checking and improvement of those business process models are indispensable before their deployment within workflow management systems. In this paper, we focus on business process model verification that insures business process structural correctness. Our proposal consist in a new efficient hybrid algorithm of workflow graph structural validation combining graph reduction and traversal mechanisms. Our algorithm will be disussed and compared to existing workflow structural checking approaches from completeness and performance points of view.

[1]  Maria E. Orlowska,et al.  Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models , 1999, CAiSE.

[2]  Maria E. Orlowska,et al.  Analyzing Process Models Using Graph Reduction Techniques , 2000, Inf. Syst..

[3]  Wil M. P. van der Aalst,et al.  An Alternative Way to Analyze Workflow Graphs , 2002, CAiSE.

[4]  Hao Lin,et al.  A novel graph reduction algorithm to identify structural conflicts , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

[5]  Maria E. Orlowska,et al.  Data Flow and Validation in Workflow Modelling , 2004, ADC.

[6]  Ambuj Mahanti,et al.  A graph-search based algorithm for verifying workflow graphs , 2005, 16th International Workshop on Database and Expert Systems Applications (DEXA'05).

[7]  Akhil Kumar,et al.  An Analysis and Taxonomy of Unstructured Workflows , 2005, Business Process Management.

[8]  Walid Gaaloul,et al.  WorkflowMiner: a New Workflow Patterns and Performance Analysis tool , 2006, CAiSE Forum.

[9]  Ambuj Mahanti,et al.  Applying Graph Search Techniques for Workflow Verification , 2007, 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07).

[10]  Walid Gaaloul,et al.  Log-based mining techniques applied to Web service composition reengineering , 2008, Service Oriented Computing and Applications.