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.

Paper 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