Abstract
The concept of tokens flowing through a process model is very useful for explaining and understanding the meaning and the execution semantics of a BPMN model. This paper presents a software tool for animating the token flow of arbitrary process models. It can handle different scenarios of gateway combinations, loops, expanded and attached sub-processes, untyped start and end events, as well as terminating end events. It is possible to show several process instances within the same model. They are represented as differently colored tokens.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
OMG (ed.): Business Process Model and Notation (BPMN) Version 2.0. OMG document number: formal/2011-01-03 (2011), http://www.omg.org/spec/BPMN/2.0/PDF
Allweyer, T.: BPMN 2.0. Introduction to the Standard for Business Process Modeling. BoD, Norderstedt (2010)
Briol, P.: BPMN 2.0 Distilled. Lulu, Raleigh (2010)
Freund, J., Rücker, B.: Praxishandbuch BPMN 2.0, 3rd edn. Hanser, Munich Vienna (2012)
White, S.A., Miers, D.: BPMN Modeling and Reference Guide. Future Strategies, Lighthouse Point (2008)
Weske, M.: Business Process Management. Springer, Heidelberg (2007)
Dive Into Business Process Management, http://www.diveintobpm.org
Workflow Patterns, http://www.workflowpatterns.com
Ouyang, C., et al.: Workflow Management. In: vom Brocke, J., Rosemann, M. (eds.) Handbook on Business Process Management 1, pp. 387–418. Springer, Heidelberg (2010)
Dugan, L., Palmer, N.: Making a BPMN 2.0 Model Executable. In: Fischer, L. (ed.) BPMN 2.0 Handbook, 2nd edn., pp. 71–91. Future Strategies, Lighthouse Point (2012)
Inubit Suite, http://www.inubit.com/en/inubit-suite.html
IYOPRO, http://www.iyopro.com/?lang=EN
van der Aalst, W., et al.: Business Process Simulation. In: vom Brocke, J., Rosemann, M. (eds.) Handbook on Business Process Management 1, pp. 313–338. Springer, Heidelberg (2010)
Januszczak, J.: Simulation for Business Process Management. In: Fischer, L. (ed.) BPMN 2.0 Handbook, 2nd edn., pp. 135–150. Future Strategies, Lighthouse Point (2012)
Waller, A., Clark, M., Enston, L.: L-SIM: Simulating BPMN Diagrams with a Purpose Built Engine. In: Perrone, L.F., et al. (eds.) Proceedings of the 2006 Winter Simulation Conference, pp. 591–597. IEEE, Piscataway (2006), http://www.informs-sim.org/wsc06papers/073.pdf
iGrafx Process (2011), http://www.igrafx.com/products/process
L-SIM Server for Business Process Simulation, http://www.lanner.com/en/l-sim.cfm
Silver, B.: BPMN Method & Style, 2nd edn. Cody-Cassidy Press, Aptos (2011)
van Dongen, B.F., Jansen-Vullers, M., Verbeek, H.M.W.E., van der Aalst, W.M.P.: Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants. Comput. Ind. 58(6), 578–601 (2007)
Mendling, J.: Empirical Studies in Process Model Verification. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol. 5460, pp. 208–224. Springer, Heidelberg (2009)
Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., Völzer, H., Wolf, K.: Instantaneous Soundness Checking of Industrial Business Process Models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 278–293. Springer, Heidelberg (2009)
Innovator for Business Analysts, http://www.mid.de/en/products/innovator-for-business-analysts
van Gorp, P., Dijkman, R.: BPMN 2.0 Execution Semantics Formalized as Graph Rewrite Rules: extended version. Beta Working Paper series 353. Eindhoven University of Technology (2011), http://cms.ieis.tue.nl/Beta/Files/WorkingPapers/wp_353.pdf
Sörensen, O.: Semantics of Joins in Cyclic BPMN Workflows. Diploma Thesis. Christian-Albrechts-University Kiel (2009), http://www.is.informatik.uni-kiel.de/~ove/research/papers/2009-OrJoin.pdf
zur Muehlen, M., Recker, J.: How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 465–479. Springer, Heidelberg (2008)
Signavio Process Editor, http://www.signavio.com
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Allweyer, T., Schweitzer, S. (2012). A Tool for Animating BPMN Token Flow. In: Mendling, J., Weidlich, M. (eds) Business Process Model and Notation. BPMN 2012. Lecture Notes in Business Information Processing, vol 125. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33155-8_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-33155-8_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33154-1
Online ISBN: 978-3-642-33155-8
eBook Packages: Computer ScienceComputer Science (R0)