A heuristic method for detecting problems in business process models

Business Process Management Journal

Volumn 16, Issue 5, 2010, Pages 806-821

  Gruhn, Volker ^a   Laue, Ralf ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

Business planning; Error analysis; Modelling

Indexed keywords

EID: 77957047677     PISSN: 14637154     EISSN: None     Source Type: Journal    
DOI: 10.1108/14637151011076485     Document Type: Article

References (33)

1. Ambler, S.W. (2003), The Elements of UML Style, Cambridge University Press, New York, NY.
2. Barborka, P., Helm, L., Köldorfer, G., Mendling, J., Neumann, G., van Dongen, B.F., Verbeek, E. and van der Aalst, W.M.P. (2006), "Integration of EPC-related tools with ProM" in EPK 2006, Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten of CEUR Workshop Proceedings, Vol. 224, pp. 105-20.
3. Blanc, X., Mounier, I., Mougenot, A. and Mens, T. (2008), "Detecting model inconsistency through operation-based model construction" in ICSE '08: Proceedings of the 30th International Conference on Software Engineering, ACM, New York, NY, USA, pp. 511-20.
4. Blanc, X., Mougenot, A., Mounier, I. and Mens, T. (2009), "Incremental detection of model inconsistencies based on model operations" in Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, 8-12 June Proceedings, Vol. 5565, Springer, Berlin, pp. 32-46, Lecture Notes in Computer Science.
5. Cuntz, N. and Kindler, E. (2004), "On the semantics of EPCs: efficient calculation and simulation" in EPK 2004: Geschaftsprozessmanagement mit Ereignisgesteuerten Prozessketten, Proceedings, pp. 7-26.
6. Cuntz, N., Freiheit, J. and Kindler, E. (2005), "On the semantics of EPCs: faster calculation for EPCs with small state spaces" in EPK 2005, Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, pp. 7-23.
7. Decker, G. and Mendling, J. (2008), "Instantiation semantics for process models" in BPM '08: Proceedings of the 6th International Conference on Business Process Management, Vol. 5240, Springer, Berlin, pp. 164-79, Lecture Notes in Computer Science.
8. Dumas, M., Grokopf, A., Hettel, T. and Wynn, M.T. (2007), "Semantics of standard process models with OR-joins" in OTM Conferences (1), Vol. 4803, Springer, New York, NY, pp. 41-58, Lecture Notes in Computer Science.
9. Egyed, A. (2006), "Instant, consistency checking for the UML" in ICSE '06: Proceedings of the 28th International Conference on Software Engineering, ACM, New York, NY, USA, pp. 381-90.
10. Fillies, C. and Weichhardt, F. (2003), "Towards the corporate, semantic process web" in Conference Proceedings of the Berliner XML Tage 2003, Berlin, pp. 78-90.
11. Finkelstein, A.C.W., Gabbay, D., Hunter, A., Kramer, J. and Nuseibeh, B. (1994), "Inconsistency handling in multiperspective specifications" in IEEE Transactions on Software Engineering, Vol. 20, No. 8, pp. 569-78.
12. Gruhn, V. and Laue, R. (2007a), "Checking properties of business process models with logic programming" in Proceeding s of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS) 2007, Funchal, June 12-13, INSTICC Press, Lisbon, pp. 84-93.
13. Gruhn, V. and Laue, R. (2007b), "Good and bad excuses for unstructured business process models", Proceedings of 12th European Conference on Pattern Languages of Programs (EuroPLoP 2007), July, Irsee Monastery, Germany.
14. Gruhn, V. and Laue, R. (2009), "A comparison of soundness results obtained by different approaches", paper presented at 1st International Workshop on Empirical Research in Business Process Management.
15. Koehler, J. and Vanhatalo, J. (2007), "Process anti-patterns: how to avoid the common traps of business process modeling", IBM WebSphere Developer Technical Journal, Vol. 10, No. 4.
16. Kühne, S., Kern, H., Gruhn, V. and Laue, R. (2008), "Business process modelling with continuous validation" in Business Process Management Workshops, BPM 2008 International Workshops, September 2008, Milano, Italy, Revised Papers, Vol. 17, Springer, Berlin, pp. 212-23, Lecture Notes in Business Information Processing.
17. Laue, R. and Awad, A. (2009), "Visualization of business process modeling anti patterns", Proceedings of the First International Workshop on Visual Formalisms for Patterns, Electronic Communications of the EASST.
18. Liu, R. and Kumar, A. (2005), "An analysis and taxonomy of unstructured workflows, Business Process Management" in Proceedings of the 3rd International Conference, BPM 2005, Nancy, France, September 5-8, Vol. 3649, Springer, Berlin, pp. 268-84, Lecture Notes in Computer Science.
19. Mendling, J. (2007), "Detection and prediction of errors in EPC business process models", Wirtschaftsuniversität Wien, Vienna, unpublished PhD thesis.
20. Mendling, J., Reijers, H.A. and van der Aalst, W.M.P. (2008), "Seven process modeling guidelines (7PMG)", Queensland University of Technology, Brisbane, Technical Report QUT ePrints, Report 12340.
21. Onoda, S., Ikkai, Y., Kobayashi, T. and Komoda, N. (1999), "Definition of deadlock patterns for business processes workflow models" in Proceedings of the 32nd Annual Hawaii International Conference on System Sciences, Vol. 5, IEEE Computer Society, Washington, DC, p. 5065.
22. Robbins, J.E. and Redmiles, D.F. (2000), "Cognitive support, UML adherence, and XMI interchange in Argo/UML" in Information and Software Technology, Vol. 42, No. 2, pp. 79-89.
23. Rozman, T., Polancic, G. and Horvat, R.V. (2008), "Analysis of most common process modeling mistakes in BPMN process models", 2008 BPM and Workflow Handbook, University of Maribor, Slovenia.
24. Rutar, N., Almazan, C.B. and Foster, J.S. (2004), "A comparison of bug finding tools for Java" in ISSRE '04: Proceedings of the 15th International Symposium on Software Reliability Engineering, IEEE Computer Society, Washington, DC, pp. 245-56.
25. Thomas, O. and Fellmann, M. (2007), "Semantic EPC: enhancing process modeling using ontology languages", 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.
26. van der Aalst, W.M.P. (1996), "Structural characterizations of sound workflow nets", Eindhoven University of Technology, Eindhoven, Computing Science Reports 96/23.
27. van der Aalst, W.M.P. (1997), "Verification of workflow nets, application and theory of Petri nets 1997" in Proceedings of the 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, pp. 407-26.
28. van der Aalst, W.M.P. (1998), "The application of Petri nets to workflow management" in The Journal of Circuits, Systems and Computers, Vol. 8, No. 1, pp. 21-66.
29. van der Aalst, W.M.P. (1999), "Formalization and verification of event-driven process chains" in Information and Software Technology, Vol. 41, No. 10, pp. 639-50.
30. van der Aalst, W.M.P., Desel, J. and Kindler, E. (2002), "On the semantics of EPCs: a vicious circle" in EPK 2004, Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, pp. 71-9.
31. van Dongen, B.F., van der Aalst, W.M.P. and Verbeek, E. (2005), "Verification of EPCs: using reduction rules and Petri nets" in Proceedings of the International Conference on Advanced Information Systems, Eindhoven, pp. 372-86.
32. Wynn, M.T. (2006), "Semantics, verification, and implementation of workflows with cancellation regions and OR-joins", Queensland University of Technology, Brisbane, unpublished PhD thesis.
33. Wynn, M.T., Verbeek, E., van der Aalst, W.M.P. and Edmond, D. (2009), "Business process verification: finally a reality!" in Business Process Management Journal, Vol. 15, No. 1, pp. 74-92.