Skip to main content
SpringerLink
Log in

Cross-Case Data Objects in Business Processes: Semantics and Analysis

  • Conference paper
  • First Online:
Book cover Business Process Management Forum (BPM 2020)

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

Included in the following conference series:

  • 1650 Accesses

Abstract

Business Process Management (BPM) provides methods and techniques to design, analyze, and enact business processes. An assumption in BPM has been that data objects are not shared among cases. Surprisingly, this often unquestioned assumption is violated in many real-world business processes. For instance, a budget data object can be read and modified by all ordering processes. These cross-case data objects have significant consequences on process modeling and verification. This paper provides a framework to describe and reason about cross-case data objects by presenting a dedicated execution semantics. Based on this framework, k-soundness is extended to cover multiple cases that share data. The paper reports on an implementation that translates BPMN process models extended with cross-case data objects to Coloured Petri nets, to properly capture their semantics.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • 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

Notes

  1. 1.

    The source and binary of the tool as well as complete CPN formalizations are available online at https://bptlab.github.io/fcm2cpn/.

References

  1. van der Aalst, W.M.P., Artale, A., Montali, M., Tritini, S.: Object-centric behavioral constraints: Integrating data and declarative process modelling. In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, 18–21 July 2017. http://ceur-ws.org/Vol-1879/paper51.pdf

  2. van der Aalst, W.M.P., Barthelmess, P., Ellis, C.A., Wainer, J.: Workflow modeling using proclets. In: Scheuermann, P., Etzion, O. (eds.) CoopIS 2000. LNCS, vol. 1901, pp. 198–209. Springer, Heidelberg (2000). https://doi.org/10.1007/10722620_20

    Chapter  Google Scholar 

  3. van der Aalst, W.M.P., et al.: Soundness of workflow nets: classification, decidability, and analysis. Formal Asp. Comput. 23(3), 333–363 (2011). https://doi.org/10.1007/s00165-010-0161-4

    Article  MathSciNet  MATH  Google Scholar 

  4. Awad, A., Decker, G., Lohmann, N.: Diagnosing and repairing data anomalies in process models. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009. LNBIP, vol. 43, pp. 5–16. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-12186-9_2

    Chapter  Google Scholar 

  5. Bashkin, V.A., Lomazova, I.A.: Decidability of \(k\)-soundness for workflow nets with an unbounded resource. In: Koutny, M., Haddad, S., Yakovlev, A. (eds.) Transactions on Petri Nets and Other Models of Concurrency IX. LNCS, vol. 8910, pp. 1–18. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-45730-6_1

    Chapter  Google Scholar 

  6. Combi, C., Oliboni, B., Weske, M., Zerbato, F.: Conceptual modeling of inter-dependencies between processes and data. In: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC, Pau, France, pp. 110–119 (2018). https://doi.org/10.1145/3167132.3167141

  7. Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281–1294 (2008). https://doi.org/10.1016/j.infsof.2008.02.006

    Article  Google Scholar 

  8. Fahland, D.: Describing behavior of processes with many-to-many interactions. In: Donatelli, S., Haar, S. (eds.) PETRI NETS 2019. LNCS, vol. 11522, pp. 3–24. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-21571-2_1

    Chapter  Google Scholar 

  9. Fdhila, W., Gall, M., Rinderle-Ma, S., Mangler, J., Indiono, C.: Classification and formalization of instance-spanning constraints in process-driven applications. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 348–364. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-45348-4_20

    Chapter  Google Scholar 

  10. Haarmann, S., Batoulis, K., Weske, M.: Compliance checking for decision-aware process models. In: Daniel, F., Sheng, Q.Z., Motahari, H. (eds.) BPM 2018. LNBIP, vol. 342, pp. 494–506. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-11641-5_39

    Chapter  Google Scholar 

  11. van Hee, K., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Soundness of resource-constrained workflow nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 250–267. Springer, Heidelberg (2005). https://doi.org/10.1007/11494744_15

    Chapter  MATH  Google Scholar 

  12. van Hee, K., Sidorova, N., Voorhoeve, M.: Soundness and separability of workflow nets in the stepwise refinement approach. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 337–356. Springer, Heidelberg (2003). https://doi.org/10.1007/3-540-44919-1_22

    Chapter  MATH  Google Scholar 

  13. Indiono, C., Mangler, J., Fdhila, W., Rinderle-Ma, S.: Rule-Based Runtime Monitoring of Instance-Spanning Constraints in Process-Aware Information Systems. In: Debruyne, C., et al. (eds.) OTM 2016. LNCS, vol. 10033, pp. 381–399. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-48472-3_22

    Chapter  Google Scholar 

  14. Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009). https://doi.org/10.1007/b95112

    Book  MATH  Google Scholar 

  15. Künzle, V., Reichert, M.: Philharmonicflows: towards a framework for object-aware process management. J. Softw. Maintenance 23(4), 205–244 (2011). https://doi.org/10.1002/smr.524

    Article  Google Scholar 

  16. de Leoni, M., Felli, P., Montali, M.: A holistic approach for soundness verification of decision-aware process models. In: Trujillo, J.C., Davis, K.C., Du, X., Li, Z., Ling, T.W., Li, G., Lee, M.L. (eds.) ER 2018. LNCS, vol. 11157, pp. 219–235. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00847-5_17

    Chapter  Google Scholar 

  17. Meyer, A., Pufahl, L., Fahland, D., Weske, M.: Modeling and enacting complex data dependencies in business processes. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 171–186. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40176-3_14

    Chapter  Google Scholar 

  18. Montali, M., Rivkin, A.: DB-Nets: on the marriage of colored petri nets and relational databases. In: Koutny, M., Kleijn, J., Penczek, W. (eds.) Transactions on Petri Nets and Other Models of Concurrency XII. LNCS, vol. 10470, pp. 91–118. Springer, Heidelberg (2017). https://doi.org/10.1007/978-3-662-55862-1_5

    Chapter  Google Scholar 

  19. OASIS: Webservice business process execution language (2007). https://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html

  20. Object Management Group (OMG): Business process model and notation (BPMN) version 2.0 (2014). https://www.omg.org/spec/BPMN/

  21. Rinderle-Ma, S., Gall, M., Fdhila, W., Mangler, J., Indiono, C.: Collecting examples for instance-spanning constraints. CoRR (2016). http://arxiv.org/abs/1603.01523

  22. Rosa-Velardo, F., de Frutos-Escrig, D.: Name creation vs. replication in petri net systems. Fundam. Inform. 88(3), 329–356 (2008)

    MathSciNet  MATH  Google Scholar 

  23. Steinau, S., Andrews, K., Reichert, M.: The relational process structure. In: Krogstie, J., Reijers, H.A. (eds.) CAiSE 2018. LNCS, vol. 10816, pp. 53–67. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-91563-0_4

    Chapter  Google Scholar 

  24. Steinau, S., Marrella, A., Andrews, K., Leotta, F., Mecella, M., Reichert, M.: DALEC: a framework for the systematic evaluation of data-centric approaches to process management software. Softw. Syst. Model. 18(4), 2679–2716 (2018). https://doi.org/10.1007/s10270-018-0695-0

    Article  Google Scholar 

  25. Westergaard, M.: Access/CPN 2.0: a high-level interface to coloured petri net models. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 328–337. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21834-7_19

    Chapter  Google Scholar 

  26. Winter, K., Stertz, F., Rinderle-Ma, S.: Discovering instance and process spanning constraints from process execution logs. Inf. Syst. 89, 101484 (2020). https://doi.org/10.1016/j.is.2019.101484

    Article  Google Scholar 

Download references

Acknowledgments

We thank Leon Bein for major contributions to the compiler translating a set of BPMN models to CPNs.

Author information

Authors and Affiliations

  1. Hasso Plattner Institute, University of Potsdam, Potsdam, Germany

    Stephan Haarmann & Mathias Weske

Authors
  1. Stephan Haarmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mathias Weske
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Stephan Haarmann .

Editor information

Editors and Affiliations

  1. Eindhoven University of Technology, Eindhoven, The Netherlands

    Dirk Fahland

  2. FBK-irst, Trento, Italy

    Chiara Ghidini

  3. University of Muenster, Münster, Germany

    Jörg Becker

  4. University of Tartu, Tartu, Estonia

    Marlon Dumas

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Haarmann, S., Weske, M. (2020). Cross-Case Data Objects in Business Processes: Semantics and Analysis. In: Fahland, D., Ghidini, C., Becker, J., Dumas, M. (eds) Business Process Management Forum. BPM 2020. Lecture Notes in Business Information Processing, vol 392. Springer, Cham. https://doi.org/10.1007/978-3-030-58638-6_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-58638-6_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-58637-9

  • Online ISBN: 978-3-030-58638-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation