Fault Detection by Backwards Analysis in Coloured Workflow Nets

Vasilii Ganishev, Olga Fengler, Wolfgang Fengler

Abstract

The increasing complexity of the business processes requires automated methods for trouble-shooting and debugging of the process model in operation. This paper proposes mechanism of fault detection based on the concept of backwards reachability for the coloured workflow nets. The formal verification methods defined for coloured Petri nets such as state space method or place invariants declaration suffer from fast-growing computational complexity. The article offers the set of firing rules for backwards token-play on coloured workflow net. This method helps to detect resource-related failures of the two most common types: ”the missing arc” fault (the resource was not initialized) and ”wrong expression fault” (there is no proper resource).

References

  1. Bouali, M., Barder, P., and Schon, W. (2009). Backward reachability analysis of colored petri nets. In The European Safety and Reliability Conference (ESREL09), Prague, Czech Republic. Taylor and Francis Group.
  2. Ganishev, V. (2013). Use of high level petri nets for modeling of adaptive workflow systems, in german: Anwendung von hoeheren erweiterten petri netzen fuer die modellierung von adaptiven workflow-systemen. Master's thesis, TU Ilmenau, Ilmenau, Germany.
  3. Jensen, K. (1991). Coloured petri nets: A high level language for system design and analysis. In Rozenberg, G., editor, Advances in Petri Nets 1990, volume 483 of Lecture Notes in Computer Science, pages 342-416. Springer Berlin Heidelberg.
  4. Jensen, K. and Kristensen, L. M. (2009). Coloured Petri Nets. Springer-Verlag Berlin Heidelberg, Cambridge, MA, USA.
  5. Kristensen, L. M., Christensen, S., and Jensen, K. (1998). The practitioners guide to coloured petri nets. International Journal on Software Tools for Technology Transfer, 2(2):98-132.
  6. Lautenbach, K. (2003). Duality of Marked Place/Transition Nets. University Koblenz-Landau, Koblenz, Germany.
  7. Lautenbach, K. and Susewind, K. (2012). Probability Propagation Nets and Duality, volume 11 of Arbeitsberichte des Fachbereichs Informatik. University Koblenz-Landau, Koblenz, Germany.
  8. Muller, J. and Schnieder, E. (2007). Duality in high level petri-nets - a basis to do diagnoses. In Simulation Conference, 2007 Winter, pages 629-636.
  9. Rabbi, F., Wang, H., and MacCaull, W. (2010a). Compensable workflow nets. In Dong, J. and Zhu, H., editors, Formal Methods and Software Engineering, volume 6447 of Lecture Notes in Computer Science, pages 122-137. Springer Berlin Heidelberg.
  10. Rabbi, F., Wang, H., and MacCaull, W. (2010b). Yawl2dve: An automated translator for workflow verification. In Secure Software Integration and Reliability Improvement (SSIRI), 2010 Fourth International Conference on, pages 53-59.
  11. Scharfe, C. (2013). Modeling of Adaptive Business Processes, in german: Modellierung von adaptiven Geschaeftsprozessen, Thesis. PhD thesis, TU Ilmenau, Ilmenau, Germany.
  12. van der Aalst, W. (2011). Process Mining. Discovery, Conformance and Enhancement of Business Processes. Springer-Verlag.
  13. van der Aalst, W., Jrgensen, J., and Lassen, K. (2005). Lets go all the way: From requirements via colored workflow nets to a bpel implementation of a new bank system. In Meersman, R. and Tari, Z., editors, On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, volume 3760 of Lecture Notes in Computer Science, pages 22-39. Springer Berlin Heidelberg.
  14. van der Aalst, W. and van Hee, K. (2002). Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge, MA, USA.
  15. van der Aalst, W., van Hee, K., ter Hofstede, A., Sidorova, N., Verbeek, H., Voorhoeve, M., and Wynn, M. (2011). Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects of Computing, 23(3):333-363.
Download


Paper Citation


in Harvard Style

Ganishev V., Fengler O. and Fengler W. (2015). Fault Detection by Backwards Analysis in Coloured Workflow Nets . In Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-758-120-5, pages 88-94. DOI: 10.5220/0005513000880094


in Bibtex Style

@conference{simultech15,
author={Vasilii Ganishev and Olga Fengler and Wolfgang Fengler},
title={Fault Detection by Backwards Analysis in Coloured Workflow Nets},
booktitle={Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2015},
pages={88-94},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005513000880094},
isbn={978-989-758-120-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - Fault Detection by Backwards Analysis in Coloured Workflow Nets
SN - 978-989-758-120-5
AU - Ganishev V.
AU - Fengler O.
AU - Fengler W.
PY - 2015
SP - 88
EP - 94
DO - 10.5220/0005513000880094