Advertisement

Instantaneous Soundness Checking of Industrial Business Process Models

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5701)

Abstract

We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and other domains. We investigated these models for soundness (absence of deadlock and lack of synchronization) using three different approaches: the business process verification tool Woflan, the Petri net model checker LoLA, and a recently developed technique based on SESE decomposition. We evaluate the various techniques used by these approaches in terms of their ability of accelerating the check. Our results show that industrial business process models can be checked in a few milliseconds, which enables tight integration of modeling with control-flow analysis. We also briefly compare the diagnostic information delivered by the different approaches.

This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Mendling, J.: Empirical Studies in Process Model Verification. Trans. Petri Nets and Other Models of Concurrency (ToPNoC) 2, 208–224 (2009)CrossRefGoogle Scholar
  2. 2.
    van der Aalst, W.M.P., Hirnschall, A., Verbeek, H.M.W(E.): An alternative way to analyze workflow graphs. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol. 2348, pp. 535–552. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  3. 3.
    Verbeek, H.M.W.E., Basten, T., van der Aalst, W.M.P.: Diagnosing Workflow Processes using Woflan. Comput. J. 44(4), 246–279 (2001)CrossRefzbMATHGoogle Scholar
  4. 4.
    Wolf, K.: Generating petri net state spaces. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 29–42. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  5. 5.
    Vanhatalo, J., Völzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models through SESE decomposition. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 43–55. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  6. 6.
    van Dongen, B.F., Jansen-Vullers, M., Verbeek, H.M.W.E., van der Aalst, W.M.P.: Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants. Comput. Ind. 58(6), 578–601 (2007)CrossRefGoogle Scholar
  7. 7.
    Mendling, J., Neumann, G., van der Aalst, W.M.P.: Understanding the occurrence of errors in process models based on metrics. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 113–130. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  8. 8.
    Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models. PhD thesis, Vienna University of Economics and Business Administration (May 2007)Google Scholar
  9. 9.
    Mendling, J., Verbeek, H.M.W.E., van Dongen, B.F., van der Aalst, W.M.P., Neumann, G.: Detection and prediction of errors in EPCs of the SAP reference model. Data Knowl. Eng. 64(1), 312–329 (2008)CrossRefGoogle Scholar
  10. 10.
    Wynn, M., Verbeek, H.M.W.E., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Business process verification: Finally a reality! Business Process Management Journal 15(1), 74–92 (2009)CrossRefGoogle Scholar
  11. 11.
    Fahland, D.: Translating UML2 activity diagrams to Petri nets. Informatik-Berichte 226, Humboldt-Universität zu Berlin, Berlin, Germany (2008)Google Scholar
  12. 12.
    Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, New York (1995)CrossRefzbMATHGoogle Scholar
  13. 13.
    Kiepuszewski, B., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of control flow in workflows. Acta Inf. 39(3), 143–209 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
  15. 15.
    Valmari, A.: Stubborn sets for reduced state space generation. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol. 483, pp. 491–515. Springer, Heidelberg (1991)CrossRefGoogle Scholar
  16. 16.
  17. 17.
    Murata, T.: Petri nets: Properties, analysis and applications. Proc. of the IEEE 77(4), 541–580 (1989)CrossRefGoogle Scholar
  18. 18.
    Vanhatalo, J., Völzer, H., Koehler, J.: The refined process structure tree. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 100–115. Springer, Heidelberg (2008)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  1. 1.Institut für InformatikHumboldt-Universität zu BerlinBerlinGermany
  2. 2.IBM Zurich Research LaboratoryRüschlikonSwitzerland
  3. 3.Institut für InformatikUniversität RostockRostockGermany
  4. 4.EPF LausanneLausanneSwitzerland

Personalised recommendations

Cite paper

Buy options