An Efficient Algorithm for Workflow Graph Structural Verification

Authors:
Fodé Touré;Karim Baïna;Khalid Benali
Affiliations:
ENSIAS, University Mohammed V-Souissi, Agdal, Morocco;ENSIAS, University Mohammed V-Souissi, Agdal, Morocco;LORIA - INRIA - CNRS - UMR 7503, Vandœuvre-lès-Nancy Cedex, France F-54506
Venue:
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Year:
2008

Citing 7
Cited 1

Analyzing process models using graph reduction techniques

Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models

CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
An Alternative Way to Analyze Workflow Graphs

CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
A Novel Graph Reduction Algorithm to Identify Structural Conflicts

HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
Data flow and validation in workflow modelling

ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Applying Graph Search Techniques for Workflow Verification

HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences
An analysis and taxonomy of unstructured workflows

BPM'05 Proceedings of the 3rd international conference on Business Process Management

Diagnosing correctness of semantic workflow models

Data & Knowledge Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.