Skip to main content
SpringerLink
Log in

A Heuristic Method for Business Process Model Evaluation

  • Conference paper
Advances in Enterprise Engineering III (CIAO! 2009, EOMAS 2009)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 34))

Abstract

In this paper, we present a heuristic approach for finding errors and possible improvements in business process models. First, we translate the information that is included in a model into a set of Prolog facts. We then search for patterns which are related to a violation of the soundness property, bad modeling style or otherwise give raise to the assumption that the model should be improved. By testing our approach on a large repository of real-world models, we found that the heuristic approach identifies violations of the soundness property almost as accurate as model-checkers that explore the state space of all possible executions of the model. Other than these tools, our approach never ran into state-space explosion problems. Furthermore, our pattern system can also detect patterns for bad modeling style which can help to improve the quality of the models.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Rutar, N., Almazan, C.B., Foster, J.S.: A comparison of bug finding tools for java. In: ISSRE, pp. 245–256 (2004)

    Google Scholar 

  2. van der Aalst, W.M.: Formalization and verification of event-driven process chains. Information & Software Technology 41, 639–650 (1999)

    Article  Google Scholar 

  3. Gruhn, V., Laue, R.: Checking properties of business process models with logic programming. In: Augusto, J.C., Barjis, J., Ultes-Nitsche, U. (eds.) MSVVEIS, pp. 84–93. INSTICC Press (2007)

    Google Scholar 

  4. van der Aalst, W.M.P.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  5. van der Aalst, W.M.P.: Structural characterizations of sound workflow nets. Computing Science Reports/23 (1996)

    Google Scholar 

  6. Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models. PhD thesis, Vienna University of Economics and Business Administration (2007)

    Google Scholar 

  7. Fillies, C., Weichhardt, F.: Towards the corporate semantic process web. In: Berliner XML Tage, pp. 78–90 (2003)

    Google Scholar 

  8. Thomas, O., Fellmann, M.: Semantic EPC: Enhancing process modeling using ontology languages. In: Hepp, M., Hinkelmann, K., Karagiannis, D., Klein, R., Stojanovic, N. (eds.) SBPM. CEUR Workshop Proceedings, vol. 251. CEUR-WS.org (2007)

    Google Scholar 

  9. Gruhn, V., Laue, R.: Good and bad excuses for unstructured business process models. In: Proceedings of 12th European Conference on Pattern Languages of Programs (EuroPLoP 2007) (2007)

    Google Scholar 

  10. van Dongen, B.F., van der Aalst, W.M.P., Verbeek, H.M.W.: Verification of EPCs: Using reduction rules and Petri nets. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 372–386. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  11. Cuntz, N., Kindler, E.: On the semantics of EPCs: Efficient calculation and simulation. In: EPK 2004: Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, Proceedings, pp. 7–26 (2004)

    Google Scholar 

  12. Cuntz, N., Freiheit, J., Kindler, E.: On the Semantics of EPCs: Faster calculation for EPCs with small state spaces. In: EPK 2005, Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, pp. 7–23 (2005)

    Google Scholar 

  13. Barborka, P., Helm, L., Köldorfer, G., Mendling, J., Neumann, G., van Dongen, B.F., Verbeek, E., van der Aalst, W.M.P.: Integration of EPC-related tools with ProM. In: Nüttgens, M., Rump, F.J., Mendling, J. (eds.) EPK. CEUR Workshop Proceedings, vol. 224, pp. 105–120. CEUR-WS.org (2006)

    Google Scholar 

  14. Wynn, M.T.: Semantics, Verification, and Implementation of Workflows with Cancellation Regions and OR-joins. PhD thesis, Queensland University of Technology Brisbane, Australia (2006)

    Google Scholar 

  15. Wynn, M.T., Verbeek, H., van der Aalst, W.M.P., Edmond, D.: Business process verification - finally a reality! Business Process Management Journal 15, 74–92 (2009)

    Article  Google Scholar 

  16. Decker, G., Mendling, J.: Instantiation semantics for process models. In: Proceedings of the 6th International Conference on Business Process Management, Milan, Italy (2008)

    Google Scholar 

  17. van der Aalst, W.M.P., Desel, J., Kindler, E.: On the semantics of EPCs: A vicious circle. In: EPK 2004, Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, pp. 71–79 (2002)

    Google Scholar 

  18. Dumas, M., Grosskopf, A., Hettel, T., Wynn, M.: Semantics of BPMN process models with or-joins. Technical Report Preprint 7261, Queensland University of Technology, Brisbane (2007)

    Google Scholar 

  19. Mendling, J., Reijers, H.A., van der Aalst, W.M.P.: Seven process modeling guidelines (7pmg). Technical Report QUT ePrints, Report 12340, Queensland University of Technology (2008)

    Google Scholar 

  20. Finkelstein, A.C.W., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multiperspective specifications. IEEE Trans. Softw. Eng. 20, 569–578 (1994)

    Article  Google Scholar 

  21. Störrle, H.: A prolog-based approach to representing and querying software engineering models. In: Cox, P.T., Fish, A., Howse, J. (eds.) VLL. CEUR Workshop Proceedings, vol. 274, pp. 71–83. CEUR-WS.org (2007)

    Google Scholar 

  22. Robbins, J.E., Redmiles, D.F.: Cognitive support, UML adherence, and XMI interchange in Argo/UML. Information & Software Technology 42, 79–89 (2000)

    Article  Google Scholar 

  23. Ambler, S.W.: The Elements of UML Style. Cambridge University Press, Cambridge (2003)

    Google Scholar 

  24. Onoda, S., Ikkai, Y., Kobayashi, T., Komoda, N.: Definition of deadlock patterns for business processes workflow models. In: Proceedings of the 32nd Annual Hawaii International Conference on System Sciences, vol. 5, p. 5065. IEEE Computer Society, Los Alamitos (1999)

    Google Scholar 

  25. Koehler, J., Vanhatalo, J.: Process anti-patterns: How to avoid the common traps of business process modeling, part 1 - modelling control flow. IBM WebSphere Developer Technical Journal (2007)

    Google Scholar 

  26. Liu, R., Kumar, A.: An analysis and taxonomy of unstructured workflows. In: Business Process Management, pp. 268–284 (2005)

    Google Scholar 

  27. Smith, G.: Improving process model quality to drive BPM project success (2008), http://www.bpm.com/improving-process-model-quality-to-drive-bpm-project-success.html (accessed November 1, 2008)

  28. van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)

    Article  Google Scholar 

  29. Kühne, S., Kern, H., Gruhn, V., Laue, R.: Business process modelling with continuous validation. In: Pautasso, C., Koehler, J. (eds.) MDE4BPM 2008 – 1st International Workshop on Model-Driven Engineering for Business Process Management (2008)

    Google Scholar 

  30. Awad, A.: BPMN-Q: A language to query business processes. In: Reichert, M., Strecker, S., Turowski, K. (eds.) EMISA, GI. LNI, vol. P-119, pp. 115–128 (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Chair of Applied Telematics / e-Business Computer Science Faculty, University of Leipzig, Germany

    Volker Gruhn & Ralf Laue

Authors
  1. Volker Gruhn
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ralf Laue
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Delft University of Technology, Mekelweg 4, 2628 CD, Delft, The Netherlands

    Antonia Albani  & Jan L. G. Dietz  & 

  2. Delft Unitersity of Technology, Jaffalaan 5, 2628 BX, Delft, The Netherlands

    Joseph Barjis

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gruhn, V., Laue, R. (2009). A Heuristic Method for Business Process Model Evaluation. In: Albani, A., Barjis, J., Dietz, J.L.G. (eds) Advances in Enterprise Engineering III. CIAO! EOMAS 2009 2009. Lecture Notes in Business Information Processing, vol 34. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01915-9_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-01915-9_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-01914-2

  • Online ISBN: 978-3-642-01915-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation