{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:04:29Z","timestamp":1777889069747,"version":"3.51.4"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031610561","type":"print"},{"value":"9783031610578","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-61057-8_11","type":"book-chapter","created":{"date-parts":[[2024,6,2]],"date-time":"2024-06-02T20:17:29Z","timestamp":1717359449000},"page":"178-194","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards a\u00a0Multi-model Paradigm for\u00a0Business Process Management"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5647-6249","authenticated-orcid":false,"given":"Anti","family":"Alman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9089-6896","authenticated-orcid":false,"given":"Fabrizio Maria","family":"Maggi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5656-6108","authenticated-orcid":false,"given":"Stefanie","family":"Rinderle-Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8425-2309","authenticated-orcid":false,"given":"Andrey","family":"Rivkin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-8030-2964","authenticated-orcid":false,"given":"Karolin","family":"Winter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,6,3]]},"reference":[{"key":"11_CR1","first-page":"1","volume":"2","author":"WMP van der Aalst","year":"2009","unstructured":"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\u201326 (2009)","journal-title":"Trans. Petri Nets Other Model. Concurr."},{"issue":"12","key":"11_CR2","doi-asserted-by":"publisher","first-page":"2691","DOI":"10.3390\/math11122691","volume":"11","author":"WMP van der Aalst","year":"2023","unstructured":"van der Aalst, W.M.P.: Object-centric process mining: unraveling the fabric of real processes. Mathematics 11(12), 2691 (2023)","journal-title":"Mathematics"},{"key":"11_CR3","doi-asserted-by":"publisher","unstructured":"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\u2013335. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-07472-1_19","DOI":"10.1007\/978-3-031-07472-1_19"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"102271","DOI":"10.1016\/j.is.2023.102271","volume":"119","author":"A Alman","year":"2023","unstructured":"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)","journal-title":"Inf. Syst."},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"102512","DOI":"10.1016\/j.artmed.2023.102512","volume":"139","author":"A Alman","year":"2023","unstructured":"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)","journal-title":"Artif. Intell. Med."},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"102033","DOI":"10.1016\/j.is.2022.102033","volume":"109","author":"A Alman","year":"2022","unstructured":"Alman, A., Maggi, F.M., Montali, M., Pe\u00f1aloza, R.: Probabilistic declarative process mining. Inf. Syst. 109, 102033 (2022)","journal-title":"Inf. Syst."},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"101505","DOI":"10.1016\/j.is.2020.101505","volume":"91","author":"AA Andaloussi","year":"2020","unstructured":"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)","journal-title":"Inf. Syst."},{"key":"11_CR8","doi-asserted-by":"publisher","unstructured":"Baldan, P., Corradini, A., Ehrig, H., K\u00f6nig, 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\u2013273. Springer, Berlin (2008). https:\/\/doi.org\/10.1007\/978-3-540-87405-8_18","DOI":"10.1007\/978-3-540-87405-8_18"},{"key":"11_CR9","unstructured":"Bandara, W., Van Looy, A., Rosemann, M., Meyers, L.: A call for \u2019holistic\u2019 business process management. In: Problems@BPM. CEUR Workshop Proceedings, vol.\u00a02938, pp. 6\u201310. CEUR-WS.org (2021)"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"103837","DOI":"10.1016\/j.compind.2022.103837","volume":"146","author":"I Beerepoot","year":"2023","unstructured":"Beerepoot, I., et al.: The biggest business process management problems to solve before we die. Comput. Ind. 146, 103837 (2023)","journal-title":"Comput. Ind."},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.eswa.2016.08.040","volume":"65","author":"A Burattin","year":"2016","unstructured":"Burattin, A., Maggi, F.M., Sperduti, A.: Conformance checking based on multi-perspective declarative process models. Expert Syst. Appl. 65, 194\u2013211 (2016)","journal-title":"Expert Syst. Appl."},{"key":"11_CR12","doi-asserted-by":"publisher","unstructured":"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\u2013235. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00847-5_17","DOI":"10.1007\/978-3-030-00847-5_17"},{"key":"11_CR13","doi-asserted-by":"publisher","unstructured":"Debois, S., Hildebrandt, T., Slaats, T.: Hierarchical declarative modelling with refinement and sub-processes. In: Sadiq, S., Soffer, P., V\u00f6lzer, H. (eds.) Business Process Management. BPM 2014. LNCS, vol. 8659, pp. 18\u201333. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10172-9_2","DOI":"10.1007\/978-3-319-10172-9_2"},{"key":"11_CR14","doi-asserted-by":"publisher","unstructured":"Di Ciccio, C., Maggi, F.M., Mendling, J.: Discovering target-branched declare constraints. In: Sadiq, S., Soffer, P., V\u00f6lzer, H. (eds.) Business Process Management. BPM 2014. LNCS, vol. 8659. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10172-9_3","DOI":"10.1007\/978-3-319-10172-9_3"},{"key":"11_CR15","doi-asserted-by":"publisher","unstructured":"Dietz, J.L.G.: Understanding and modelling business processes with DEMO. In: Akoka, J., Bouzeghoub, M., Comyn-Wattiau, I., M\u00e9tais, E. (eds.) Conceptual Modeling - ER 1099. ER 1999. LNCS, vol. 1728, pp. 188\u2013202. Springer, Berlin (1999). https:\/\/doi.org\/10.1007\/3-540-47866-3_13","DOI":"10.1007\/3-540-47866-3_13"},{"key":"11_CR16","doi-asserted-by":"publisher","unstructured":"van Dongen, B.: Bpi challenge 2017 (2017). https:\/\/doi.org\/10.4121\/uuid:5f3067df-f10b-45da-b98b-86ae4c7a310b","DOI":"10.4121\/uuid:5f3067df-f10b-45da-b98b-86ae4c7a310b"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Dumas, M., van\u00a0der Aalst, W.M.P., ter Hofstede, A.H.M. (eds.): Process-Aware Information Systems: Bridging People and Software Through Process Technology. Wiley (2005)","DOI":"10.1002\/0471741442"},{"key":"11_CR18","doi-asserted-by":"publisher","unstructured":"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\u2013364. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45348-4_20","DOI":"10.1007\/978-3-319-45348-4_20"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"101983","DOI":"10.1016\/j.is.2022.101983","volume":"108","author":"W Fdhila","year":"2022","unstructured":"Fdhila, W., Knuplesch, D., Rinderle-Ma, S., Reichert, M.: Verifying compliance in process choreographies: foundations, algorithms, and implementation. Inf. Syst. 108, 101983 (2022)","journal-title":"Inf. Syst."},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Felli, P., Montali, M., Winkler, S.: Linear-time verification of data-aware dynamic systems with arithmetic. In: Proceedings of AAAI, pp. 5642\u20135650. AAAI Press (2022)","DOI":"10.1609\/aaai.v36i5.20505"},{"issue":"6","key":"11_CR21","doi-asserted-by":"publisher","first-page":"1317","DOI":"10.1108\/BPMJ-09-2017-0258","volume":"25","author":"F Gonzalez-Lopez","year":"2019","unstructured":"Gonzalez-Lopez, F., Bustos, G.: Business process architecture design methodologies - a literature review. Bus. Process. Manag. J. 25(6), 1317\u20131334 (2019)","journal-title":"Bus. Process. Manag. J."},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Heinlein, C.: Workflow and process synchronization with interaction expressions and graphs. In: Georgakopoulos, D., Buchmann, A. (eds.) International Conference on Data Engineering, pp. 243\u2013252 (2001)","DOI":"10.1109\/ICDE.2001.914835"},{"key":"11_CR23","doi-asserted-by":"publisher","unstructured":"Jensen, K., Kristensen, L.M.: Coloured petri nets. In: Modelling and Validation of Concurrent Systems. Springer, Berlin (2009). https:\/\/doi.org\/10.1007\/B95112","DOI":"10.1007\/B95112"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer (2009)","DOI":"10.1007\/b95112"},{"key":"11_CR25","unstructured":"Kitchenham, B., Charters, S.: Guidelines for performing systematic literature reviews in software engineering (2007)"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"La Rosa, M., van\u00a0der Aalst, W.M.P., Dumas, M., Milani, F.: Business process variability modeling: a survey. ACM Comput. Surv. 50(1), 2:1\u20132:45 (2017)","DOI":"10.1145\/3041957"},{"key":"11_CR27","doi-asserted-by":"publisher","unstructured":"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\u2013658. Springer, Berlin (2012). https:\/\/doi.org\/10.1007\/978-3-642-35063-4_49","DOI":"10.1007\/978-3-642-35063-4_49"},{"issue":"4","key":"11_CR28","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s00607-015-0441-1","volume":"98","author":"F Mannhardt","year":"2016","unstructured":"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\u2013437 (2016)","journal-title":"Computing"},{"key":"11_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.is.2018.01.009","volume":"76","author":"F Mannhardt","year":"2018","unstructured":"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\u201318 (2018)","journal-title":"Inf. Syst."},{"key":"11_CR30","unstructured":"OMG: Business process model and notation (BPMN). Technical report, Object Management Group (2014). https:\/\/www.omg.org\/spec\/BPMN\/2.0.2\/PDF"},{"key":"11_CR31","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., van\u00a0der Aalst, W.M.P.: DECLARE: full support for loosely-structured processes. In: EDOC, pp. 287\u2013300. IEEE Computer Society (2007)","DOI":"10.1109\/EDOC.2007.14"},{"issue":"4","key":"11_CR32","first-page":"227","volume":"27","author":"L Popova-Zeugmann","year":"1991","unstructured":"Popova-Zeugmann, L.: On time petri nets. J. Inf. Process. Cybern. 27(4), 227\u2013244 (1991)","journal-title":"J. Inf. Process. Cybern."},{"key":"11_CR33","doi-asserted-by":"publisher","unstructured":"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\u2013322. Springer, Berlin (2013). https:\/\/doi.org\/10.1007\/978-3-642-40176-3_26","DOI":"10.1007\/978-3-642-40176-3_26"},{"key":"11_CR34","unstructured":"Rinderle-Ma, S., Gall, M., Fdhila, W., Mangler, J., Indiono, C.: Collecting examples for instance-spanning constraints. CoRR abs\/1603.01523 (2016)"},{"key":"11_CR35","doi-asserted-by":"crossref","unstructured":"Russell, N., van\u00a0der Aalst, W.M.P., ter Hofstede, A.H.M.: Workflow Patterns: The Definitive Guide. MIT Press, Cambridge (2016)","DOI":"10.7551\/mitpress\/8085.001.0001"},{"issue":"1","key":"11_CR36","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s13740-020-00112-9","volume":"9","author":"T Slaats","year":"2020","unstructured":"Slaats, T.: Declarative and hybrid process discovery: recent advances and open challenges. J. Data Semant. 9(1), 3\u201320 (2020)","journal-title":"J. Data Semant."},{"key":"11_CR37","doi-asserted-by":"crossref","unstructured":"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\u2013551 (2016)","DOI":"10.1007\/978-3-319-48472-3_32"},{"key":"11_CR38","first-page":"116","volume":"7","author":"KM van Hee","year":"2013","unstructured":"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\u2013161 (2013)","journal-title":"Trans. Petri Nets Other Model. Concurr."},{"key":"11_CR39","unstructured":"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.\u00a07565, pp. 250\u2013267. Springer (2012)"},{"key":"11_CR40","doi-asserted-by":"crossref","unstructured":"Winter, K., Rinderle-Ma, S.: Defining instance spanning constraint patterns for business processes based on proclets. In: ER. vol. 12400, pp. 149\u2013163. Springer (2020)","DOI":"10.1007\/978-3-030-62522-1_11"},{"key":"11_CR41","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2019.101484","volume":"89","author":"K Winter","year":"2020","unstructured":"Winter, K., Stertz, F., Rinderle-Ma, S.: Discovering instance and process spanning constraints from process execution logs. Inf. Syst. 89, 101484 (2020)","journal-title":"Inf. Syst."}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-61057-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,20]],"date-time":"2024-11-20T23:15:29Z","timestamp":1732144529000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-61057-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031610561","9783031610578"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-61057-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"3 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAiSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Systems Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"36","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cyprusconferences.org\/caise2024\/#","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}