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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Rutar, N., Almazan, C.B., Foster, J.S.: A comparison of bug finding tools for java. In: ISSRE, pp. 245–256 (2004)
van der Aalst, W.M.: Formalization and verification of event-driven process chains. Information & Software Technology 41, 639–650 (1999)
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)
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)
van der Aalst, W.M.P.: Structural characterizations of sound workflow nets. Computing Science Reports/23 (1996)
Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models. PhD thesis, Vienna University of Economics and Business Administration (2007)
Fillies, C., Weichhardt, F.: Towards the corporate semantic process web. In: Berliner XML Tage, pp. 78–90 (2003)
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)
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)
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)
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)
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)
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)
Wynn, M.T.: Semantics, Verification, and Implementation of Workflows with Cancellation Regions and OR-joins. PhD thesis, Queensland University of Technology Brisbane, Australia (2006)
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)
Decker, G., Mendling, J.: Instantiation semantics for process models. In: Proceedings of the 6th International Conference on Business Process Management, Milan, Italy (2008)
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)
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)
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)
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)
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)
Robbins, J.E., Redmiles, D.F.: Cognitive support, UML adherence, and XMI interchange in Argo/UML. Information & Software Technology 42, 79–89 (2000)
Ambler, S.W.: The Elements of UML Style. Cambridge University Press, Cambridge (2003)
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)
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)
Liu, R., Kumar, A.: An analysis and taxonomy of unstructured workflows. In: Business Process Management, pp. 268–284 (2005)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)