On Avoiding Erroneous Synchronization in BPMN Processes | SpringerLink
Skip to main content
Springer Nature Link
Log in

On Avoiding Erroneous Synchronization in BPMN Processes

  • Conference paper
  • First Online:
Business Information Systems (BIS 2017)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 288))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 5719
Price includes VAT (Japan)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 7149
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    An identifier, generated by a check-in \(n\), is called fresh if it is different from all other identifiers previously generated by the check-in \(n\).

  2. 2.

    Notably, no check-out is defined for \(n1\), meaning that identifiers of the form \((n1,id)\) must be keep on token identities until the end of the execution.

References

  1. Cleaveland, R., Smolka, S.A.: Strategic directions in concurrency research. ACM Comput. Surv. 28(4), 607–625 (1996)

    Article  Google Scholar 

  2. Zachman, J.A.: A framework for information systems architecture. IBM Syst. J. 26(3), 276–292 (1987)

    Article  Google Scholar 

  3. Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer (2007)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  5. OMG: Business Process Model and Notation (BPMN V 2.0). Technical report (2011)

    Google Scholar 

  6. Henderson, J.C., Venkatraman, N.: Strategic alignment: leveraging information technology for transforming organizations. IBM Syst. J. 32(1), 4–16 (1993)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  8. Moreno-Montes de Oca, I., Snoeck, M.: Pragmatic guidelines for business process modeling. Technical Report 2592983, KU Leuven, November 2014

    Google Scholar 

  9. Mendling, J., Reijers, H.A., van der Aalst, W.M.: Seven process modeling guidelines (7PMG). Inf. Softw. Technol. 52(2), 127–136 (2010)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  11. Polyvyanyy, A., García-Bañuelos, L., Dumas, M.: Structuring acyclic process models. Inf. Syst. 37(6), 518–538 (2012)

    Article  Google Scholar 

  12. Polyvyanyy, A., Garcia-Banuelos, L., Fahland, D., Weske, M.: Maximal structuring of acyclic process models. Comput. J. 57(1), 12–35 (2014)

    Article  Google Scholar 

  13. Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  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

    Chapter  Google Scholar 

  15. Ramchandani, C.: Analysis of asynchronous concurrent systems by timed petri nets. Massachusetts Institute of Technology, Cambridge (1974)

    Google Scholar 

  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)

    Article  MATH  Google Scholar 

  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. 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. Russell, N., Ter Hofstede, A.H., Mulyar, N.: Workflow controlflow patterns: a revised view. Technical Report BPM-06-22, BPMcenter.org (2006)

    Google Scholar 

  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

    Chapter  Google Scholar 

  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. 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. 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. Barros, A.P., Grosskopf, A.: Multiple instance management for workflow process models. Google Patents US Patent 8,424,011, April 2013

    Google Scholar 

  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 2013

    Google Scholar 

  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. 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

    Chapter  Google Scholar 

  28. Lapadula, A., Pugliese, R., Tiezzi, F.: Using formal methods to develop WS-BPEL applications. Sci. Comput. Program. 77(3), 189–213 (2012)

    Article  Google Scholar 

  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

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Camerino, 62032, Camerino, Italy

    Flavio Corradini, Fabrizio Fornari, Chiara Muzi, Andrea Polini, Barbara Re & Francesco Tiezzi

Authors
  1. Flavio Corradini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fabrizio Fornari
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Chiara Muzi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Andrea Polini
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Barbara Re
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Francesco Tiezzi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Chiara Muzi .

Editor information

Editors and Affiliations

  1. Poznan University of Economics, Poznan, Poland

    Witold Abramowicz

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Corradini, F., Fornari, F., Muzi, C., Polini, A., Re, B., Tiezzi, F. (2017). On Avoiding Erroneous Synchronization in BPMN Processes. In: Abramowicz, W. (eds) Business Information Systems. BIS 2017. Lecture Notes in Business Information Processing, vol 288. Springer, Cham. https://doi.org/10.1007/978-3-319-59336-4_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-59336-4_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-59335-7

  • Online ISBN: 978-3-319-59336-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation