Skip to main content
SpringerLink
Log in

Refining Case Models Using Cardinality Constraints

  • Conference paper
  • First Online:
Advanced Information Systems Engineering (CAiSE 2021)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 12751))

Included in the following conference series:

Abstract

Traditionally, business process management focuses on structured, imperative processes. With the increasing importance of knowledge work, semi-structured processes are entering center stage. Existing approaches to modeling knowledge-intensive processes use data objects but fail to sufficiently take into account data object cardinalities. Hence, they cannot guarantee that cardinality constraints are respected, nor use such constraints to handle concurrency and multiple activity instances during execution. This paper extends an existing case management approach with data object associations and cardinality constraints. The results facilitate a refined data access semantics, lower and upper bounds for process activities, and synchronized processing of multiple data objects. The execution semantics is formally specified by colored Petri nets. The effectiveness of the approach is shown by a compiler translating case models to colored Petri nets and by a dedicated process execution engine.

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 89.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 119.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.

    Previous fCM versions do not support set objects.

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 (2017)

    Google Scholar 

  2. van der Aalst, W.M.P., Barthelmess, P., Ellis, C.A., Wainer, J.: Workflow modeling using proclets. In: Cooperative Information Systems, 7th International Conference, CoopIS, Eilat, Israel, 6–8 September, 2000, Proceedings, pp. 198–209 (2000)

    Google Scholar 

  3. van der Aalst, W.M.P., Berti, A.: Discovering object-centric Petri nets. Fundam. Informaticae 175(1–4), 1–40 (2020)

    Article  MathSciNet  Google Scholar 

  4. Calvanese, D., De Giacomo, G., Montali, M.: Foundations of data aware process analysis: a database theory perspective. In: pods-13, pp. 1–12. ACM Press (2013)

    Google Scholar 

  5. Ciccio, C.D., Marrella, A., Russo, A.: Knowledge-intensive processes: characteristics, requirements and analysis of contemporary approaches. J. Data Semant. 4(1), 29–57 (2015)

    Article  Google Scholar 

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

  7. Estañol, M., Munoz-Gama, J., Carmona, J., Teniente, E.: Conformance checking in UML artifact-centric business process models. Softw. Syst. Model. 18(4), 2531–2555 (2019)

    Article  Google Scholar 

  8. Fahland, D.: Describing behavior of processes with many-to-many interactions. In: Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS, Aachen, Germany, June 23–28, 2019, Proceedings, pp. 3–24 (2019)

    Google Scholar 

  9. Ghilardi, S., Gianola, A., Montali, M., Rivkin, A.: Petri nets with parameterised data - modelling and verification. In: Business Process Management - 18th International Conference, BPM, Seville, Spain, September 13–18, 2020, Proceedings, pp. 55–74 (2020)

    Google Scholar 

  10. Green, T.R.: Cognitive dimensions of notations. People and computers V (1989)

    Google Scholar 

  11. Haarmann, S., Montali, M., Weske, M.: Technical report: Refining case models using cardinality constraints (2020)

    Google Scholar 

  12. Hewelt, M., Pufahl, L., Mandal, S., Wolff, F., Weske, M.: Toward a methodology for case modeling. Softw. Syst. Model. 19(6), 1367–1393 (2020)

    Article  Google Scholar 

  13. Hewelt, M., Weske, M.: A hybrid approach for flexible case modeling and execution. In: Business Process Management Forum - BPM Forum, Rio de Janeiro, Brazil, 18–22 September, 2016, Proceedings, pp. 38–54 (2016)

    Google Scholar 

  14. Hildebrandt, T.T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES, Paphos, Cyprus, 21st March 2010, pp. 59–73 (2010)

    Google Scholar 

  15. Holfter, A., Haarmann, S., Pufahl, L., Weske, M.: Checking compliance in data-driven case management. In: Business Process Management Workshops - BPM 2019 International Workshops, Vienna, Austria, 1–6 September, 2019, Revised Selected Papers, pp. 400–411 (2019)

    Google Scholar 

  16. Hull, R.: Artifact-centric business process models: brief survey of research results and challenges. In: Meersman, R., Tari, Z. (eds.) OTM 2008. LNCS, vol. 5332, pp. 1152–1163. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-88873-4_17

    Chapter  Google Scholar 

  17. Hull, R., et al.: Introducing the guard-stage-milestone approach for specifying business entity lifecycles. In: Web Services and Formal Methods - 7th International Workshop, WS-FM, Hoboken, NJ, USA, 16–17 September, 2010. Revised Selected Papers, pp. 1–24 (2010)

    Google Scholar 

  18. Künzle, V., Reichert, M.: PHILharmonicFlows: towards a framework for object-aware process management. J. Softw. Maintenance Res. Pract. 23(4), 205–244 (2011)

    Article  Google Scholar 

  19. Meyer, A., Herzberg, N., Puhlmann, F., Weske, M.: Implementation framework for production case management: modeling and execution. In: 18th IEEE International Enterprise Distributed Object Computing Conference, EDOC, Ulm, Germany, 1–5 September, 2014, pp. 190–199 (2014)

    Google Scholar 

  20. Montali, M., Calvanese, D.: Soundness of data-aware, case-centric processes. Int. J. Softw. Tools Technol. Transfer 18(5), 535–558 (2016)

    Google Scholar 

  21. Montali, M., Rivkin, A.: DB-Nets: on the marriage of colored Petri nets and relational databases. Trans. Petri Nets Other Model. Concurr. 12, 91–118 (2017)

    Article  MathSciNet  Google Scholar 

  22. Object Management Group: Business Process Model and Notation (BPMN), January 2014. https://www.omg.org/spec/BPMN

  23. Object Management Group: Case Management Model and Notation (CMMN), December 2016. https://www.omg.org/spec/CMMN

  24. Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: full support for loosely-structured processes. In: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC), 15–19 October 2007, Annapolis, Maryland, USA, pp. 287–300 (2007)

    Google Scholar 

  25. Santoro, F.M., Slaats, T., Hildebrandt, T.T., Baião, F.A.: DCR-KiPN a hybrid modeling approach for knowledge-intensive processes. In: Conceptual Modeling - 38th International Conference, ER, Salvador, Brazil, 4–7 November, 2019, Proceedings, pp. 153–161 (2019)

    Google Scholar 

  26. Snoeck, M.: Enterprise Information Systems Engineering - The MERODE Approach. Springer, The Enterprise Engineering Series (2014)

    Google Scholar 

  27. Steinau, S., Andrews, K., Reichert, M.: The relational process structure. In: Advanced Information Systems Engineering - 30th International Conference, CAiSE, Tallinn, Estonia, 11–15 June, 2018, Proceedings, pp. 53–67 (2018)

    Google Scholar 

  28. 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 (2019)

    Article  Google Scholar 

Download references

Acknowledgments

We thank Leon Bein for his work on the prototypes. Marco Montali acknowledges the UNIBZ CRC Project REKAP.

Author information

Authors and Affiliations

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

    Stephan Haarmann & Mathias Weske

  2. Free University of Bozen-Bolzano, Bolzano, Italy

    Marco Montali

Authors
  1. Stephan Haarmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marco Montali
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. 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. The University of Melbourne, Melbourne, VIC, Australia

    Marcello La Rosa

  2. The University of Queensland, St Lucia, QLD, Australia

    Shazia Sadiq

  3. Universitat Politècnica de Catalunya, Barcelona, Spain

    Ernest Teniente

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Haarmann, S., Montali, M., Weske, M. (2021). Refining Case Models Using Cardinality Constraints. In: La Rosa, M., Sadiq, S., Teniente, E. (eds) Advanced Information Systems Engineering. CAiSE 2021. Lecture Notes in Computer Science(), vol 12751. Springer, Cham. https://doi.org/10.1007/978-3-030-79382-1_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-79382-1_18

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-79381-4

  • Online ISBN: 978-3-030-79382-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation