{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T18:25:50Z","timestamp":1791051950136,"version":"4.1.0"},"reference-count":33,"publisher":"Emerald","issue":"5","license":[{"start":{"date-parts":[[2010,9,14]],"date-time":"2010-09-14T00:00:00Z","timestamp":1284422400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.emerald.com\/insight\/site-policies"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9,14]]},"abstract":"<jats:sec><jats:title content-type=\"abstract-heading\">Purpose<\/jats:title><jats:p>The purpose of this paper is to present a new heuristic approach for finding errors and possible improvements in business process models.<\/jats:p><\/jats:sec><jats:sec><jats:title content-type=\"abstract-heading\">Design\/methodology\/approach<\/jats:title><jats:p>First, the paper translates the information that is included in a model into a set of Prolog facts. It then searches for patterns which are related to a violation of the soundness property or bad modeling style or otherwise gives rise to the assumption that the model should be improved. To validate this approach, the paper analyzes a repository of almost 1,000 business process models. For this purpose, three different model\u2010checkers that explore the state space of all possible executions of a model are used. The result of these tools are compared with the results given by this heuristic approach.<\/jats:p><\/jats:sec><jats:sec><jats:title content-type=\"abstract-heading\">Findings<\/jats:title><jats:p>The paper finds that the heuristic approach identifies violations of the soundness property almost as accurate as model\u2010checkers. However, other than these tools, the approach never ran into state space explosion problems. Furthermore, this heuristic approach can also detect patterns for bad modeling style which can help to improve the quality of models.<\/jats:p><\/jats:sec><jats:sec><jats:title content-type=\"abstract-heading\">Practical implications<\/jats:title><jats:p>Heuristic checks can run in the background while the modeler works on the model. In this way, feedback about possible modeling errors can be provided instantly. This feedback can be used to correct possible problems immediately.<\/jats:p><\/jats:sec><jats:sec><jats:title content-type=\"abstract-heading\">Originality\/value<\/jats:title><jats:p>Current Prolog\u2010based validation tools check mainly for syntactical correctness and consistency requirements. This approach adds one more perspective by also detecting control\u2010flow errors (like deadlocks) and even pragmatic issues.<\/jats:p><\/jats:sec>","DOI":"10.1108\/14637151011076485","type":"journal-article","created":{"date-parts":[[2010,9,25]],"date-time":"2010-09-25T07:13:30Z","timestamp":1285398810000},"page":"806-821","source":"Crossref","is-referenced-by-count":11,"title":["A heuristic method for detecting problems in business process models"],"prefix":"10.1108","volume":"16","author":[{"given":"Volker","family":"Gruhn","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ralf","family":"Laue","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"140","reference":[{"key":"key2022012820304308000_b1","unstructured":"Ambler, S.W. (2003), The Elements of UML Style, Cambridge University Press, New York, NY."},{"key":"key2022012820304308000_b2","unstructured":"Barborka, P., Helm, L., K\u00f6ldorfer, G., Mendling, J., Neumann, G., van Dongen, B.F., Verbeek, E. and van der Aalst, W.M.P. (2006), \u201cIntegration of EPC\u2010related tools with ProM\u201d, EPK 2006, Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten of CEUR Workshop Proceedings, Vol. 224, pp. 105\u201020."},{"key":"key2022012820304308000_b4","doi-asserted-by":"crossref","unstructured":"Blanc, X., Mounier, I., Mougenot, A. and Mens, T. (2008), \u201cDetecting model inconsistency through operation\u2010based model construction\u201d, ICSE '08: Proceedings of the 30th International Conference on Software Engineering, ACM, New York, NY, USA, pp. 511\u201020.","DOI":"10.1145\/1368088.1368158"},{"key":"key2022012820304308000_b3","doi-asserted-by":"crossref","unstructured":"Blanc, X., Mougenot, A., Mounier, I. and Mens, T. (2009), \u201cIncremental detection of model inconsistencies based on model operations\u201d, Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, 8\u201012 June Proceedings, Vol. 5565, Springer, Berlin, pp. 32\u201046, Lecture Notes in Computer Science.","DOI":"10.1007\/978-3-642-02144-2_8"},{"key":"key2022012820304308000_b6","unstructured":"Cuntz, N. and Kindler, E. (2004), \u201cOn the semantics of EPCs: efficient calculation and simulation\u201d, EPK 2004: Geschaftsprozessmanagement mit Ereignisgesteuerten Prozessketten, Proceedings, pp. 7\u201026."},{"key":"key2022012820304308000_b5","doi-asserted-by":"crossref","unstructured":"Cuntz, N., Freiheit, J. and Kindler, E. (2005), \u201cOn the semantics of EPCs: faster calculation for EPCs with small state spaces\u201d, EPK 2005, Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten, pp. 7\u201023.","DOI":"10.1007\/11538394_30"},{"key":"key2022012820304308000_b7","doi-asserted-by":"crossref","unstructured":"Decker, G. and Mendling, J. (2008), \u201cInstantiation semantics for process models\u201d, BPM '08: Proceedings of the 6th International Conference on Business Process Management, Vol. 5240, Springer, Berlin, Lecture Notes in Computer Science, pp. 164\u201079.","DOI":"10.1007\/978-3-540-85758-7_14"},{"key":"key2022012820304308000_b8","doi-asserted-by":"crossref","unstructured":"Dumas, M., Grokopf, A., Hettel, T. and Wynn, M.T. (2007), \u201cSemantics of standard process models with OR\u2010joins\u201d, OTM Conferences (1), Vol. 4803, Springer, New York, NY, Lecture Notes in Computer Science, pp. 41\u201058.","DOI":"10.1007\/978-3-540-76848-7_5"},{"key":"key2022012820304308000_b9","doi-asserted-by":"crossref","unstructured":"Egyed, A. (2006), \u201cInstant, consistency checking for the UML\u201d, ICSE '06: Proceedings of the 28th International Conference on Software Engineering, ACM, New York, NY, USA, pp. 381\u201090.","DOI":"10.1145\/1134285.1134339"},{"key":"key2022012820304308000_b10","unstructured":"Fillies, C. and Weichhardt, F. (2003), \u201cTowards the corporate, semantic process web\u201d, Conference Proceedings of the Berliner XML Tage 2003, Berlin, pp. 78\u201090."},{"key":"key2022012820304308000_b11","doi-asserted-by":"crossref","unstructured":"Finkelstein, A.C.W., Gabbay, D., Hunter, A., Kramer, J. and Nuseibeh, B. (1994), \u201cInconsistency handling in multiperspective specifications\u201d, IEEE Transactions on Software Engineering, Vol. 20 No. 8, pp. 569\u201078.","DOI":"10.1109\/32.310667"},{"key":"key2022012820304308000_b12","doi-asserted-by":"crossref","unstructured":"Gruhn, V. and Laue, R. (2007a), \u201cChecking properties of business process models with logic programming\u201d, Proceeding s of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS) 2007, Funchal, June 12\u201013, INSTICC Press, Lisbon, pp. 84\u201093.","DOI":"10.5220\/0002413100840093"},{"key":"key2022012820304308000_b13","unstructured":"Gruhn, V. and Laue, R. (2007b), \u201cGood and bad excuses for unstructured business process models\u201d, Proceedings of 12th European Conference on Pattern Languages of Programs (EuroPLoP 2007), July, Irsee Monastery, Germany."},{"key":"key2022012820304308000_b14","doi-asserted-by":"crossref","unstructured":"Gruhn, V. and Laue, R. (2009), \u201cA comparison of soundness results obtained by different approaches\u201d, paper presented at 1st International Workshop on Empirical Research in Business Process Management.","DOI":"10.1007\/978-3-642-12186-9_47"},{"key":"key2022012820304308000_b15","unstructured":"Koehler, J. and Vanhatalo, J. (2007), \u201cProcess anti\u2010patterns: how to avoid the common traps of business process modeling\u201d, IBM WebSphere Developer Technical Journal, Vol. 10 No. 4."},{"key":"key2022012820304308000_b16","doi-asserted-by":"crossref","unstructured":"K\u00fchne, S., Kern, H., Gruhn, V. and Laue, R. (2008), \u201cBusiness process modelling with continuous validation\u201d, Business Process Management Workshops, BPM 2008 International Workshops, September 2008, Milano, Italy, Revised Papers, Vol. 17, Springer, Berlin, Lecture Notes in Business Information Processing, pp. 212\u201023.","DOI":"10.1007\/978-3-642-00328-8_21"},{"key":"key2022012820304308000_b17","unstructured":"Laue, R. and Awad, A. (2009), \u201cVisualization of business process modeling anti patterns\u201d, Proceedings of the First International Workshop on Visual Formalisms for Patterns, Electronic Communications of the EASST."},{"key":"key2022012820304308000_b18","doi-asserted-by":"crossref","unstructured":"Liu, R. and Kumar, A. (2005), \u201cAn analysis and taxonomy of unstructured workflows, Business Process Management\u201d, Proceedings of the 3rd International Conference, BPM 2005, Nancy, France, September 5\u20108, Vol. 3649, Springer, Berlin, Lecture Notes in Computer Science, pp. 268\u201084.","DOI":"10.1007\/11538394_18"},{"key":"key2022012820304308000_b19","unstructured":"Mendling, J. (2007), \u201cDetection and prediction of errors in EPC business process models\u201d, unpublished PhD thesis, Wirtschaftsuniversit\u00e4t Wien, Vienna."},{"key":"key2022012820304308000_b20","unstructured":"Mendling, J., Reijers, H.A. and van der Aalst, W.M.P. (2008), \u201cSeven process modeling guidelines (7PMG)\u201d, Technical Report QUT ePrints, Report 12340, Queensland University of Technology, Brisbane."},{"key":"key2022012820304308000_b21","unstructured":"Onoda, S., Ikkai, Y., Kobayashi, T. and Komoda, N. (1999), \u201cDefinition of deadlock patterns for business processes workflow models\u201d, Proceedings of the 32nd Annual Hawaii International Conference on System Sciences, Vol. 5, IEEE Computer Society, Washington, DC, p. 5065."},{"key":"key2022012820304308000_b22","doi-asserted-by":"crossref","unstructured":"Robbins, J.E. and Redmiles, D.F. (2000), \u201cCognitive support, UML adherence, and XMI interchange in Argo\/UML\u201d, Information and Software Technology, Vol. 42 No. 2, pp. 79\u201089.","DOI":"10.1016\/S0950-5849(99)00083-X"},{"key":"key2022012820304308000_b23","unstructured":"Rozman, T., Polancic, G. and Horvat, R.V. (2008), \u201cAnalysis of most common process modeling mistakes in BPMN process models\u201d, 2008 BPM and Workflow Handbook, University of Maribor, Slovenia."},{"key":"key2022012820304308000_b24","unstructured":"Rutar, N., Almazan, C.B. and Foster, J.S. (2004), \u201cA comparison of bug finding tools for Java\u201d, ISSRE '04: Proceedings of the 15th International Symposium on Software Reliability Engineering, IEEE Computer Society, Washington, DC, pp. 245\u201056."},{"key":"key2022012820304308000_b25","unstructured":"Thomas, O. and Fellmann, M. (2007), \u201cSemantic EPC: enhancing process modeling using ontology languages\u201d, Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management Held in Conjunction with the 3rd European Semantic Web Conference (ESWC 2007), CEUR Workshop Proceedings, Innsbruck, Austria, June 7, Vol. 251."},{"key":"key2022012820304308000_b26","unstructured":"van der Aalst, W.M.P. (1996), \u201cStructural characterizations of sound workflow nets\u201d, Computing Science Reports 96\/23, Eindhoven University of Technology, Eindhoven."},{"key":"key2022012820304308000_b27","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P. (1997), \u201cVerification of workflow nets, application and theory of Petri nets 1997\u201d, Proceedings of the 18th International Conference, ICATPN '97, Toulouse, France, June 23\u201027, pp. 407\u201026.","DOI":"10.1007\/3-540-63139-9_48"},{"key":"key2022012820304308000_b28","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P. (1998), \u201cThe application of Petri nets to workflow management\u201d, The Journal of Circuits, Systems and Computers, Vol. 8 No. 1, pp. 21\u201066.","DOI":"10.1142\/S0218126698000043"},{"key":"key2022012820304308000_b29","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P. (1999), \u201cFormalization and verification of event\u2010driven process chains\u201d, Information and Software Technology, Vol. 41 No. 10, pp. 639\u201050.","DOI":"10.1016\/S0950-5849(99)00016-6"},{"key":"key2022012820304308000_b30","unstructured":"van der Aalst, W.M.P., Desel, J. and Kindler, E. (2002), \u201cOn the semantics of EPCs: a vicious circle\u201d, EPK 2004, Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten, pp. 71\u20109."},{"key":"key2022012820304308000_b31","doi-asserted-by":"crossref","unstructured":"van Dongen, B.F., van der Aalst, W.M.P. and Verbeek, E. (2005), \u201cVerification of EPCs: using reduction rules and Petri nets\u201d, Proceedings of the International Conference on Advanced Information Systems, Eindhoven, pp. 372\u201086.","DOI":"10.1007\/11431855_26"},{"key":"key2022012820304308000_b32","unstructured":"Wynn, M.T. (2006), \u201cSemantics, verification, and implementation of workflows with cancellation regions and OR\u2010joins\u201d, unpublished PhD thesis, Queensland University of Technology, Brisbane."},{"key":"key2022012820304308000_b33","doi-asserted-by":"crossref","unstructured":"Wynn, M.T., Verbeek, E., van der Aalst, W.M.P. and Edmond, D. (2009), \u201cBusiness process verification: finally a reality!\u201d, Business Process Management Journal, Vol. 15 No. 1, pp. 74\u201092.","DOI":"10.1108\/14637150910931479"}],"container-title":["Business Process Management Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/14637151011076485\/full\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/14637151011076485\/full\/html","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T00:36:22Z","timestamp":1753403782000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.emerald.com\/bpmj\/article\/16\/5\/806-821\/258159"}},"subtitle":[],"editor":[{"given":"Joseph","family":"Barjis","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"editor"}]}],"short-title":[],"issued":{"date-parts":[[2010,9,14]]},"references-count":33,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2010,9,14]]}},"alternative-id":["10.1108\/14637151011076485"],"URL":"https:\/\/doi.org\/10.1108\/14637151011076485","relation":{},"ISSN":["1463-7154"],"issn-type":[{"value":"1463-7154","type":"print"}],"subject":[],"published":{"date-parts":[[2010,9,14]]}}}