On Avoiding Erroneous Synchronization in BPMN Processes

  • Flavio Corradini
  • Fabrizio Fornari
  • Chiara MuziEmail author
  • Andrea Polini
  • Barbara Re
  • Francesco Tiezzi
Conference paper
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 288)


BPMN has acquired a clear predominance in the modeling of organization processes. Since it is a fairly complex modeling language, in some cases it is important to clarify the behavior of a modeled process, especially when concurrency comes into play. We consider unsafe process models with arbitrary topology, and we focus on the effects of concurrent control flows activated within single process instances. We use text annotations to clarify the concurrent behavior, and tokens with identity to regulate the synchronizations. We illustrate the benefits of our approach by a simple, yet realistic, scenario about paper reviewing.


Modeling Concurrency BPMN Erroneous synchronization. 


  1. 1.
    Cleaveland, R., Smolka, S.A.: Strategic directions in concurrency research. ACM Comput. Surv. 28(4), 607–625 (1996)CrossRefGoogle Scholar
  2. 2.
    Zachman, J.A.: A framework for information systems architecture. IBM Syst. J. 26(3), 276–292 (1987)CrossRefGoogle Scholar
  3. 3.
    Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer (2007)Google Scholar
  4. 4.
    Polyvyanyy, A., Bussler, C.: The structured phase of concurrency. In: Bubenko, J., Krogstie, J., Pastor, O., Pernici, B., Rolland, C., Sølvberg, A. (eds.) Seminal Contributions to Information Systems Engineering, pp. 257–263. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  5. 5.
    OMG: Business Process Model and Notation (BPMN V 2.0). Technical report (2011)Google Scholar
  6. 6.
    Henderson, J.C., Venkatraman, N.: Strategic alignment: leveraging information technology for transforming organizations. IBM Syst. J. 32(1), 4–16 (1993)CrossRefGoogle Scholar
  7. 7.
    Mendling, J., Sanchez-Gonzalez, L., Garcia, F., La Rosa, M.: Thresholds for error probability measures of business process models. J. Syst. Softw. 85(5), 1188–1197 (2012)CrossRefGoogle Scholar
  8. 8.
    Moreno-Montes de Oca, I., Snoeck, M.: Pragmatic guidelines for business process modeling. Technical Report 2592983, KU Leuven, November 2014Google Scholar
  9. 9.
    Mendling, J., Reijers, H.A., van der Aalst, W.M.: Seven process modeling guidelines (7PMG). Inf. Softw. Technol. 52(2), 127–136 (2010)CrossRefGoogle Scholar
  10. 10.
    Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281–1294 (2008)CrossRefGoogle Scholar
  11. 11.
    Polyvyanyy, A., García-Bañuelos, L., Dumas, M.: Structuring acyclic process models. Inf. Syst. 37(6), 518–538 (2012)CrossRefGoogle Scholar
  12. 12.
    Polyvyanyy, A., Garcia-Banuelos, L., Fahland, D., Weske, M.: Maximal structuring of acyclic process models. Comput. J. 57(1), 12–35 (2014)CrossRefGoogle Scholar
  13. 13.
    Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)CrossRefGoogle Scholar
  14. 14.
    Van Der Aalst, W.M.P.: Workflow verification: finding control-flow errors using petri-net-based techniques. In: Aalst, W., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161–183. Springer, Heidelberg (2000). doi: 10.1007/3-540-45594-9_11 CrossRefGoogle Scholar
  15. 15.
    Ramchandani, C.: Analysis of asynchronous concurrent systems by timed petri nets. Massachusetts Institute of Technology, Cambridge (1974)Google Scholar
  16. 16.
    Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8(2), 244–263 (1986)CrossRefzbMATHGoogle Scholar
  17. 17.
    Vasilecas, O., Smaižys, A., Rima, A.: Business process modelling and simulation: hybrid method for concurrency aspect modelling. J. Mod. Comput. 1(3–4), 228–243 (2013)Google Scholar
  18. 18.
    Sörensen, O.: Semantics of Joins in cyclic BPMN Workflows. Ph.D. thesis, Christian-Albrechts-University Kiel, Department of Computer Science (2009)Google Scholar
  19. 19.
    Russell, N., Ter Hofstede, A.H., Mulyar, N.: Workflow controlflow patterns: a revised view. Technical Report BPM-06-22, (2006)Google Scholar
  20. 20.
    Börger, E., Thalheim, B.: A method for verifiable and validatable business process modeling. In: Börger, E., Cisternino, A. (eds.) Advances in Software Engineering. LNCS, vol. 5316, pp. 59–115. Springer, Heidelberg (2008). doi: 10.1007/978-3-540-89762-0_3 CrossRefGoogle Scholar
  21. 21.
    Thalheim, B., Sorensen, O., Borger, E.: On defining the behavior of OR-joins in business process models. J. UCS 15(1), 3–32 (2009)Google Scholar
  22. 22.
    van Hee, K.M., Sidorova, N., van der Werf, J.M.: Business process modeling using petri nets. Trans. Petri Nets Other Models Concurrency VII, 116–161. Springer (2013)Google Scholar
  23. 23.
    Van Hee, K.M., Sidorova, N., Voorhoeve, M., others: Generation of database transactions with petri nets. Fundamenta Informaticae 93(1–3), 171–184 (2009)Google Scholar
  24. 24.
    Barros, A.P., Grosskopf, A.: Multiple instance management for workflow process models. Google Patents US Patent 8,424,011, April 2013Google Scholar
  25. 25.
    Dumas, M.G., Grosskopf, A., Hettel, T., Wynn, M.T.: Evaluation of synchronization gateways in process models. Google Patents US Patent 8,418,178, April 2013Google Scholar
  26. 26.
    Recker, J.C., Mendling, J.: On the translation between BPMN and BPEL: conceptual mismatch between process modeling languages. In: CAISE, pp. 521–532 (2006)Google Scholar
  27. 27.
    Weidlich, M., Decker, G., Großkopf, A., Weske, M.: BPEL to BPMN: the myth of a straight-forward mapping. In: Meersman, R., Tari, Z. (eds.) OTM 2008. LNCS, vol. 5331, pp. 265–282. Springer, Heidelberg (2008). doi: 10.1007/978-3-540-88871-0_19 CrossRefGoogle Scholar
  28. 28.
    Lapadula, A., Pugliese, R., Tiezzi, F.: Using formal methods to develop WS-BPEL applications. Sci. Comput. Program. 77(3), 189–213 (2012)CrossRefGoogle Scholar
  29. 29.
    Corradini, F., Polini, A., Re, B., Tiezzi, F.: An operational semantics of BPMN collaboration. In: Braga, C., Ölveczky, P.C. (eds.) FACS 2015. LNCS, vol. 9539, pp. 161–180. Springer, Cham (2016). doi: 10.1007/978-3-319-28934-2_9 CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Flavio Corradini
    • 1
  • Fabrizio Fornari
    • 1
  • Chiara Muzi
    • 1
    Email author
  • Andrea Polini
    • 1
  • Barbara Re
    • 1
  • Francesco Tiezzi
    • 1
  1. 1.University of CamerinoCamerinoItaly

Personalised recommendations