TOWARD A HYBRID ALGORITHM FOR WORKFLOW GRAPH STRUCTURAL VERIFICATION

Fodé Touré, Karim Bäına, Walid Gaaloul

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.

References

  1. Lin, H., Zhao, Z., Li, H., and Chen, Z. (2002). A novel graph reduction algorithm to identify structural conflicts. In HICSS, page 289.
  2. Liu, R. and Kumar, A. (2005). An analysis and taxonomy of unstructured workflows. In Business Process Management, pages 268-284.
  3. Perumal, S. and Mahanti, A. (2005). A graph-search based algorithm for verifying workflow graphs. In DEXA Workshops, pages 992-996. IEEE Computer Society.
  4. Perumal, S. and Mahanti, A. (2007). Applying graph search techniques for workflow verification. In HICSS, page 48.
  5. Sadiq, S., Orlowska, M., Sadiq, W., and Foulger, C. (2004). Data flow and validation in workflow modelling. In ADC 7804: Proceedings of the 15th Australasian database conference, pages 207-214, Darlinghurst, Australia, Australia. Australian Computer Society, Inc.
  6. Sadiq, W. and Orlowska, M. E. (1999). Applying graph reduction techniques for identifying structural conflicts in process models. In CAiSE, pages 195-209.
  7. Sadiq, W. and Orlowska, M. E. (2000). Analyzing process models using graph reduction techniques. Inf. Syst., 25(2):117-134.
  8. van der Aalst, W. M. P., Hirnschall, A., and Verbeek, H. M. W. E. (2002). An alternative way to analyze workflow graphs. In CAiSE, pages 535-552.
Download


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