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. © 2008 Springer Berlin Heidelberg.
CITATION STYLE
Touré, F., Baïna, K., & Benali, K. (2008). An efficient algorithm for workflow graph structural verification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5331 LNCS, pp. 392–408). https://doi.org/10.1007/978-3-540-88871-0_26
Mendeley helps you to discover research relevant for your work.