Skip to main content
Springer Nature Link
Log in

Towards a Multi-model Paradigm for Business Process Management

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

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14663))

Included in the following conference series:

  • 1099 Accesses

Abstract

The design and development of information systems (IS) often requires not only software development expertise, but also a deep understanding of the multitude of business processes supported by the given IS. Such understanding is usually elicited via business process modeling and numerous, often interrelated, process models can be created even for a single IS. However, commonly used process modeling languages focus on single processes in isolation, while providing, at best, only limited support for modeling process interactions. This does enforce a clear scope on each process model, but also leads to a non-holistic view of the IS behavior. In this exploratory paper, we take the position that, instead of forcing existing “single-process-focused” models to be changed, approaches should be provided for modeling their interactions in a fine-grained and unambiguous manner. To meet this goal, we propose developing a Multi-Model paradigm for Business Process Management, where the same, already existing, declarative and procedural modeling languages would be used to represent both the individual processes as well as their interactions.

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
$34.99 /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
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. van der Aalst, W.M.P.: Process-aware information systems: Lessons to be learned from process mining. Trans. Petri Nets Other Model. Concurr. 2, 1–26 (2009)

    Google Scholar 

  2. van der Aalst, W.M.P.: Object-centric process mining: unraveling the fabric of real processes. Mathematics 11(12), 2691 (2023)

    Article  Google Scholar 

  3. Alman, A., Maggi, F.M., Montali, M., Patrizi, F., Rivkin, A.: Multi-model monitoring framework for hybrid process specifications. In: Franch, X., Poels, G., Gailly, F., Snoeck, M. (eds.) Advanced Information Systems Engineering. CAiSE 2022. LNCS, vol. 13295, pp. 319–335. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-07472-1_19

  4. Alman, A., Maggi, F.M., Montali, M., Patrizi, F., Rivkin, A.: A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory. Inf. Syst. 119, 102271 (2023)

    Article  Google Scholar 

  5. Alman, A., Maggi, F.M., Montali, M., Patrizi, F., Rivkin, A.: Monitoring hybrid process specifications with conflict management: an automata-theoretic approach. Artif. Intell. Med. 139, 102512 (2023)

    Article  Google Scholar 

  6. Alman, A., Maggi, F.M., Montali, M., Peñaloza, R.: Probabilistic declarative process mining. Inf. Syst. 109, 102033 (2022)

    Article  Google Scholar 

  7. Andaloussi, A.A., Burattin, A., Slaats, T., Kindler, E., Weber, B.: On the declarative paradigm in hybrid business process representations: a conceptual framework and a systematic literature study. Inf. Syst. 91, 101505 (2020)

    Article  Google Scholar 

  8. Baldan, P., Corradini, A., Ehrig, H., König, B.: Open petri nets: non-deterministic processes and compositionality. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) Graph Transformations. ICGT 2008. LNCS, vol. 5214, pp. 257–273. Springer, Berlin (2008). https://doi.org/10.1007/978-3-540-87405-8_18

  9. Bandara, W., Van Looy, A., Rosemann, M., Meyers, L.: A call for ’holistic’ business process management. In: Problems@BPM. CEUR Workshop Proceedings, vol. 2938, pp. 6–10. CEUR-WS.org (2021)

    Google Scholar 

  10. Beerepoot, I., et al.: The biggest business process management problems to solve before we die. Comput. Ind. 146, 103837 (2023)

    Article  Google Scholar 

  11. Burattin, A., Maggi, F.M., Sperduti, A.: Conformance checking based on multi-perspective declarative process models. Expert Syst. Appl. 65, 194–211 (2016)

    Article  Google Scholar 

  12. de Leoni, M., Felli, P., Montali, M.: A holistic approach for soundness verification of decision-aware process models. In: Trujillo, J., et al. Conceptual Modeling. ER 2018. LNCS, vol. 11157, pp. 219–235. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00847-5_17

  13. Debois, S., Hildebrandt, T., Slaats, T.: Hierarchical declarative modelling with refinement and sub-processes. In: Sadiq, S., Soffer, P., Völzer, H. (eds.) Business Process Management. BPM 2014. LNCS, vol. 8659, pp. 18–33. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-10172-9_2

  14. Di Ciccio, C., Maggi, F.M., Mendling, J.: Discovering target-branched declare constraints. In: Sadiq, S., Soffer, P., Völzer, H. (eds.) Business Process Management. BPM 2014. LNCS, vol. 8659. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-10172-9_3

  15. Dietz, J.L.G.: Understanding and modelling business processes with DEMO. In: Akoka, J., Bouzeghoub, M., Comyn-Wattiau, I., Métais, E. (eds.) Conceptual Modeling - ER 1099. ER 1999. LNCS, vol. 1728, pp. 188–202. Springer, Berlin (1999). https://doi.org/10.1007/3-540-47866-3_13

  16. van Dongen, B.: Bpi challenge 2017 (2017). https://doi.org/10.4121/uuid:5f3067df-f10b-45da-b98b-86ae4c7a310b

  17. Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M. (eds.): Process-Aware Information Systems: Bridging People and Software Through Process Technology. Wiley (2005)

    Google Scholar 

  18. 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.) Business Process Management. BPM 2016. LNCS, vol. 9850, pp. 348–364. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-45348-4_20

  19. Fdhila, W., Knuplesch, D., Rinderle-Ma, S., Reichert, M.: Verifying compliance in process choreographies: foundations, algorithms, and implementation. Inf. Syst. 108, 101983 (2022)

    Article  Google Scholar 

  20. Felli, P., Montali, M., Winkler, S.: Linear-time verification of data-aware dynamic systems with arithmetic. In: Proceedings of AAAI, pp. 5642–5650. AAAI Press (2022)

    Google Scholar 

  21. Gonzalez-Lopez, F., Bustos, G.: Business process architecture design methodologies - a literature review. Bus. Process. Manag. J. 25(6), 1317–1334 (2019)

    Article  Google Scholar 

  22. Heinlein, C.: Workflow and process synchronization with interaction expressions and graphs. In: Georgakopoulos, D., Buchmann, A. (eds.) International Conference on Data Engineering, pp. 243–252 (2001)

    Google Scholar 

  23. Jensen, K., Kristensen, L.M.: Coloured petri nets. In: Modelling and Validation of Concurrent Systems. Springer, Berlin (2009). https://doi.org/10.1007/B95112

  24. Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer (2009)

    Google Scholar 

  25. Kitchenham, B., Charters, S.: Guidelines for performing systematic literature reviews in software engineering (2007)

    Google Scholar 

  26. La Rosa, M., van der Aalst, W.M.P., Dumas, M., Milani, F.: Business process variability modeling: a survey. ACM Comput. Surv. 50(1), 2:1–2:45 (2017)

    Google Scholar 

  27. Leitner, M., Mangler, J., Rinderle-Ma, S.: Definition and enactment of instance-spanning process constraints. In: Wang, X.S., Cruz, I., Delis, A., Huang, G. (eds.) Web Information Systems Engineering - WISE 2012. WISE 2012. LNCS, vol. 7651, pp. 652–658. Springer, Berlin (2012). https://doi.org/10.1007/978-3-642-35063-4_49

  28. Mannhardt, F., de Leoni, M., Reijers, H.A., van der Aalst, W.M.P.: Balanced multi-perspective checking of process conformance. Computing 98(4), 407–437 (2016)

    Article  MathSciNet  Google Scholar 

  29. Mannhardt, F., de Leoni, M., Reijers, H.A., van der Aalst, W.M.P., Toussaint, P.J.: Guided process discovery - A pattern-based approach. Inf. Syst. 76, 1–18 (2018)

    Article  Google Scholar 

  30. OMG: Business process model and notation (BPMN). Technical report, Object Management Group (2014). https://www.omg.org/spec/BPMN/2.0.2/PDF

  31. Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: full support for loosely-structured processes. In: EDOC, pp. 287–300. IEEE Computer Society (2007)

    Google Scholar 

  32. Popova-Zeugmann, L.: On time petri nets. J. Inf. Process. Cybern. 27(4), 227–244 (1991)

    Google Scholar 

  33. Reijers, H.A., Slaats, T., Stahl, C.: Declarative modeling-an academic dream or the future for BPM?. In: Daniel, F., Wang, J., Weber, B. (eds.) Business Process Management. LNCS, vol. 8094, pp. 307–322. Springer, Berlin (2013). https://doi.org/10.1007/978-3-642-40176-3_26

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

    Google Scholar 

  35. Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Workflow Patterns: The Definitive Guide. MIT Press, Cambridge (2016)

    Google Scholar 

  36. Slaats, T.: Declarative and hybrid process discovery: recent advances and open challenges. J. Data Semant. 9(1), 3–20 (2020)

    Article  Google Scholar 

  37. Slaats, T., Schunselaar, D.M.M., Maggi, F.M., Reijers, H.A.: The semantics of hybrid process models. In: OTM Conferences, vol. 10033, pp. 531–551 (2016)

    Google Scholar 

  38. van Hee, K.M., Sidorova, N., van der Werf, J.M.E.M.: Business process modeling using petri nets. Trans. Petri Nets Other Model. Concurr. 7, 116–161 (2013)

    Google Scholar 

  39. Westergaard, M., Maggi, F.M.: Looking into the future. Using timed automata to provide a priori advice about timed declarative process models. In: OTM Conferences (1). vol. 7565, pp. 250–267. Springer (2012)

    Google Scholar 

  40. Winter, K., Rinderle-Ma, S.: Defining instance spanning constraint patterns for business processes based on proclets. In: ER. vol. 12400, pp. 149–163. Springer (2020)

    Google Scholar 

  41. Winter, K., Stertz, F., Rinderle-Ma, S.: Discovering instance and process spanning constraints from process execution logs. Inf. Syst. 89, 101484 (2020)

    Article  Google Scholar 

Download references

Acknowledgements

The work of A. Alman was supported by the Estonian Research Council grant PRG1226. F.M. Maggi was supported by the UNIBZ project PRISMA.

Author information

Authors and Affiliations

  1. University of Tartu, Tartu, Estonia

    Anti Alman

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

    Fabrizio Maria Maggi

  3. Technical University of Munich, Munich, Germany

    Stefanie Rinderle-Ma

  4. Technical University of Denmark, Lyngby, Denmark

    Andrey Rivkin

  5. Eindhoven University of Technology, Eindhoven, The Netherlands

    Karolin Winter

Authors
  1. Anti Alman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fabrizio Maria Maggi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Stefanie Rinderle-Ma
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Andrey Rivkin
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Karolin Winter
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Anti Alman .

Editor information

Editors and Affiliations

  1. University of Twente, Enschede, The Netherlands

    Giancarlo Guizzardi

  2. State University of Rio de Janeiro, Rio de Janeiro, Rio de Janeiro, Brazil

    Flavia Santoro

  3. University of Essex, Colchester, UK

    Haralambos Mouratidis

  4. University of Haifa, Haifa, Israel

    Pnina Soffer

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Alman, A., Maggi, F.M., Rinderle-Ma, S., Rivkin, A., Winter, K. (2024). Towards a Multi-model Paradigm for Business Process Management. In: Guizzardi, G., Santoro, F., Mouratidis, H., Soffer, P. (eds) Advanced Information Systems Engineering. CAiSE 2024. Lecture Notes in Computer Science, vol 14663. Springer, Cham. https://doi.org/10.1007/978-3-031-61057-8_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-61057-8_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-61056-1

  • Online ISBN: 978-3-031-61057-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics