An efficient algorithm for workflow graph structural verification

Fodé Touré 1 Karim Baïna 1 Khalid Benali 2
2 ECOO - Environment for cooperation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Any big enterprise is organized around business process hav- ing 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 al- gorithm will be disussed and compared to existing workflow structural checking approaches from completeness and performance points of view.
Type de document :
Communication dans un congrès
Coopis 2008 (16th International Conference on cooperative information systems, On the Move, Nov 2008, Monterrey, Mexico. 2008
Liste complète des métadonnées

https://hal.inria.fr/inria-00325187
Contributeur : Khalid Benali <>
Soumis le : vendredi 26 septembre 2008 - 15:05:40
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48

Identifiants

  • HAL Id : inria-00325187, version 1

Collections

Citation

Fodé Touré, Karim Baïna, Khalid Benali. An efficient algorithm for workflow graph structural verification. Coopis 2008 (16th International Conference on cooperative information systems, On the Move, Nov 2008, Monterrey, Mexico. 2008. 〈inria-00325187〉

Partager

Métriques

Consultations de la notice

368