TOWARD A HYBRID ALGORITHM FOR WORKFLOW GRAPH STRUCTURAL VERIFICATION
Fodé Touré, Karim Bäına, Walid Gaaloul
2008
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.
DownloadPaper Citation
in Harvard Style
Touré F., Bäına K. and Gaaloul W. (2008). TOWARD A HYBRID ALGORITHM FOR WORKFLOW GRAPH STRUCTURAL VERIFICATION . In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS, ISBN 978-989-8111-38-8, pages 442-447. DOI: 10.5220/0001722404420447
in Bibtex Style
@conference{iceis08,
author={Fodé Touré and Karim Bäına and Walid Gaaloul},
title={TOWARD A HYBRID ALGORITHM FOR WORKFLOW GRAPH STRUCTURAL VERIFICATION},
booktitle={Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS,},
year={2008},
pages={442-447},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001722404420447},
isbn={978-989-8111-38-8},
}
in EndNote Style
TY - CONF
JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS,
TI - TOWARD A HYBRID ALGORITHM FOR WORKFLOW GRAPH STRUCTURAL VERIFICATION
SN - 978-989-8111-38-8
AU - Touré F.
AU - Bäına K.
AU - Gaaloul W.
PY - 2008
SP - 442
EP - 447
DO - 10.5220/0001722404420447