How Style Checking Can Improve Business Process Models

Volker Gruhn, Ralf Laue

2006

Abstract

Business process analysts prefer to build business process models (BPM) using graphical languages like BPMN or UML Activity Diagrams. Several researchers have presented validation methologies for such BPMs. In order to use these verification techniques for BPMs written in graphical languages, the models must be translated into the input language of a model checker or simulation tool. By analyzing 285 BPMs (modelled as Event driven Process Chains (EPC)), we found that checking restrictions for ”good modeling style” before starting the translation process has three positive effects: It can make the translation algorithm much easier, can improve the quality of the BPM by substituting ”bad constructs” automatically and can help to identify erroneous models.

References

  1. Aalst, W.: Woflan: a Petri-net-based workflow analyzer. Syst. Anal. Model. Simul. 35 (1999) 345-357
  2. Matousek, P.: Verification of Business Process Models. PhD thesis (2003)
  3. Eshuis, R.: Semantics and Verification of UML Activity Diagrams for Workflow Modelling. PhD thesis, University of Twente, Enschede (2002)
  4. Barjis, J., Shishkov, B., Dietz, J.L.: Validation of business components via simulation. In: proceedings of the 4th International Eurosim 2001 Congress. (2001)
  5. van Dongen, B.F., Aalst, W., Verbeek, H.M.W.: Verification of EPCs: Using reduction rules and Petri nets. In: CAiSE. (2005) 372-386
  6. van Dongen, B.F., Jansen-Vullers, M.H.: EPC verification in the ARIS for MySAP reference model database. In: BETA Working Paper Series, WP 142, Eindhoven University of Technology, Eindhoven. (2005)
  7. Aalst, W.: Formalization and verification of event-driven process chains. Information & Software Technology 41 (1999) 639-650
  8. Langner, P., Schneider, C., Wehler, J.: Relating event-driven process chains to boolean petri nets. Report (1997)
  9. Kindler, E.: On the Semantics of EPCs: A Framework for Resolving the Vicious Circle. In: Business Process Management. (2004) 82-97
  10. Dehnert, J., Aalst, W.: Bridging The Gap Between Business Models And Workflow Specifications. Int. J. Cooperative Inf. Syst. 13 (2004) 289-332
  11. Rittgen, P.: Quo vadis EPK in ARIS? Wirtschaftsinformatik 42 (2000) 27-35
  12. Wynn, M.T., Edmond, D., Aalst, W., ter Hofstede, A.H.M.: Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets. In: ICATPN. (2005) 423-443
  13. 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. (2005) 7-23
  14. Aalst, W., Desel, J., Kindler, E.: On the semantics of EPCs: A vicious circle. In: EPK 2004, Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten. (2002) 71-79
  15. Holl, A., Valentin, G.: Structured business process modeling (SBPM). In: Information Systems Research in Scandinavia (IRIS 27) (CD-ROM). (2004)
  16. Laue, R.: ebus.informatik.uni-leipzig.de/~laue (2005)
  17. Aalst, W.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8 (1998) 21-66
  18. Gruhn, V., Laue, R.: Einfache EPK-Semantik durch praxistaugliche Stilregeln. In: EPK 2005, Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten. (2005) 176-189
  19. Cuntz, N., Kindler, E.: On the semantics of EPCs: Efficient calculation and simulation. In: EPK 2004: Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, Proceedings. (2004) 7-26
  20. Aalst, W., Hofstede, A.: YAWL: Yet another workflow language. Technical Report FIT-TR2002-06, Queensland University of Technology, Brisbane (2002)
  21. St örrle, H.: Semantics of UML 2.0 Activities. In: Symposium on Visual Languages - Human Centric Computing (VL/HCC'04, Proceedings), IEEE (2004) 235-242
Download


Paper Citation


in Harvard Style

Gruhn V. and Laue R. (2006). How Style Checking Can Improve Business Process Models . In Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006) ISBN 978-972-8865-49-8, pages 47-56. DOI: 10.5220/0002474200470056


in Bibtex Style

@conference{msvveis06,
author={Volker Gruhn and Ralf Laue},
title={How Style Checking Can Improve Business Process Models},
booktitle={Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)},
year={2006},
pages={47-56},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002474200470056},
isbn={978-972-8865-49-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2006)
TI - How Style Checking Can Improve Business Process Models
SN - 978-972-8865-49-8
AU - Gruhn V.
AU - Laue R.
PY - 2006
SP - 47
EP - 56
DO - 10.5220/0002474200470056