LES DERNIÈRES INFORMATIONS
An Efficient Algorithm for Workflow Graph Structural Verification
Titre | An Efficient Algorithm for Workflow Graph Structural Verification |
Publication Type | Conference Paper |
Year of Publication | 2008 |
Authors | Toure, F, Baina, K, Benali, K |
Editor | Meersman, R, Tari, Z |
Conference Name | ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008, PART I |
Publisher | RMIT Univ; Vrije Univ; Tecnol Monterrey; Univ Politec Madrid; Bauch & Navratil |
ISBN Number | 978-3-540-88870-3 |
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.
|
Contactez-nous
ENSIAS
Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc
Télécopie : (+212) 5 37 68 60 78
Secrétariat de direction : 06 61 48 10 97
Secrétariat général : 06 61 34 09 27
Service des affaires financières : 06 61 44 76 79
Service des affaires estudiantines : 06 62 77 10 17 / n.mhirich@um5s.net.ma
Résidences : 06 61 82 89 77
Contacts
Compteur de visiteurs:539,861
Education - This is a contributing Drupal Theme
Design by
WeebPal.