@inproceedings{677a54d9b33d4d6d999209e32022a92b,
title = "Toward a hybrid algorithm for workflow graph structural verification",
abstract = "Appropriate definition, analysis, checking and improvement of 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 hybrid algorithm of workflow graph structural validation combining graph reduction and traversal mechanisms. Our algorithm will be discussed and compared to existing workflow structural checking approaches.",
keywords = "Business process validation, Business processes, Graph reduction, Graph traversal, Workflow structural checking",
author = "Fod{\'e} Toure and Karim Ba{\"i}na and Walid Gaaloul",
year = "2008",
month = nov,
day = "17",
language = "English",
isbn = "9789898111388",
series = "ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems",
pages = "442--447",
booktitle = "ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems",
note = "ICEIS 2008 - 10th International Conference on Enterprise Information Systems ; Conference date: 12-06-2008 Through 16-06-2008",
}