{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T12:18:02Z","timestamp":1774873082618,"version":"3.50.1"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032176172","type":"print"},{"value":"9783032176189","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-17618-9_15","type":"book-chapter","created":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T11:08:39Z","timestamp":1774868919000},"page":"199-211","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["From Constraint-Based Process Modeling to\u00a0Framed Autonomy: A Historical Excursus"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9089-6896","authenticated-orcid":false,"given":"Fabrizio Maria","family":"Maggi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5647-6249","authenticated-orcid":false,"given":"Anti","family":"Alman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-5893-1724","authenticated-orcid":false,"given":"Paul Hermann","family":"Wittlinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,3,30]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","unstructured":"van der Aalst, W.M.P.: Object-centric process mining: dealing with divergence and convergence in event data. In: \u00d6lveczky, P.C., Sala\u00fcn, G. (eds.) SEFM 2019. LNCS, vol. 11724, pp. 3\u201325. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30446-1_1","DOI":"10.1007\/978-3-030-30446-1_1"},{"key":"15_CR2","unstructured":"van\u00a0der Aalst, W.M.P.: Object-Centric Process Mining: The Next Frontier in Business Performance. celon.is\/OCPM-Whitepaper (2023)"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"van\u00a0der Aalst, W.M.P.: Object-centric process mining: unraveling the fabric of real processes. Mathematics 11(12) (2023)","DOI":"10.3390\/math11122691"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-642-13094-6_5","volume-title":"Advanced Information Systems Engineering","author":"WMP van der Aalst","year":"2010","unstructured":"van der Aalst, W.M.P., Pesic, M., Song, M.: Beyond process mining: from the past to present and future. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol. 6051, pp. 38\u201352. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13094-6_5"},{"key":"15_CR5","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2025.102573","volume":"133","author":"G Acitelli","year":"2025","unstructured":"Acitelli, G., Alman, A., Maggi, F.M., Marrella, A.: Achieving framed autonomy in AI-augmented business process management systems through automated planning. Inf. Syst. 133, 102573 (2025)","journal-title":"Inf. Syst."},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Acitelli, G., De Bellis, E., Maggi, F.M., Marrella, A., Patrizi, F.: Aligning metric temporal constraints and event logs via numeric planning. In: BPM. vol. 16044, pp. 33\u201350. Springer (2025)","DOI":"10.1007\/978-3-032-02867-9_4"},{"key":"15_CR7","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2023.102180","volume":"114","author":"S Agostinelli","year":"2023","unstructured":"Agostinelli, S., Chiariello, F., Maggi, F.M., Marrella, A., Patrizi, F.: Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis. Inf. Syst. 114, 102180 (2023)","journal-title":"Inf. Syst."},{"key":"15_CR8","doi-asserted-by":"publisher","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":"15_CR9","doi-asserted-by":"crossref","unstructured":"Alman, A., Maggi, F.M., Rinderle-Ma, S., Rivkin, A., Winter, K.: Towards a multi-model paradigm for business process management. In: CAiSE, vol. 14663, pp. 178\u2013194. Springer (2024)","DOI":"10.1007\/978-3-031-61057-8_11"},{"key":"15_CR10","doi-asserted-by":"publisher","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":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-030-26619-6_11","volume-title":"Business Process Management","author":"A Artale","year":"2019","unstructured":"Artale, A., Kovtunova, A., Montali, M., van\u00a0der Aalst, W.M.P.: Modeling and reasoning over declarative data-aware processes with object-centric behavioral constraints. In: Hildebrandt, T., van Dongen, B.F., R\u00f6glinger, M., Mendling, J. (eds.) BPM 2019. LNCS, vol. 11675, pp. 139\u2013156. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-26619-6_11"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-642-15280-1_28","volume-title":"Knowledge Science, Engineering and Management","author":"E Bellodi","year":"2010","unstructured":"Bellodi, E., Riguzzi, F., Lamma, E.: Probabilistic declarative process mining. In: Bi, Y., Williams, M.-A. (eds.) KSEM 2010. LNCS (LNAI), vol. 6291, pp. 292\u2013303. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15280-1_28"},{"key":"15_CR13","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":"15_CR14","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-00899-3_16","volume":"2","author":"F Chesani","year":"2009","unstructured":"Chesani, F., Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S.: Exploiting inductive logic programming techniques for declarative process mining. Trans. Petri Nets Other Model. Concurr. 2, 278\u2013295 (2009)","journal-title":"Trans. Petri Nets Other Model. Concurr."},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Chesani, F., Mello, P., Montali, M., Riguzzi, F., Sebastianis, M., Storari, S.: Checking Compliance of Execution Traces to Business Rules. In: Business Process Management Workshops, vol.\u00a017, pp. 134\u2013145. Springer (2008)","DOI":"10.1007\/978-3-642-00328-8_13"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Corea, C., Alman, A., Maggi, F.M., Wittlinger, P.H.: Declarative process specifications over discrete\/continuous event data. In: CAiSE, vol. 15702, pp. 277\u2013294. Springer (2025)","DOI":"10.1007\/978-3-031-94571-7_16"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Maggi, F.M., Marrella, A., Patrizi, F.: On the disruptive effectiveness of automated planning for LTLf-based trace alignment. In: AAAI, pp. 3555\u20133561. AAAI Press (2017)","DOI":"10.1609\/aaai.v31i1.11020"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Maggi, F.M., Marrella, A., Sardi\u00f1a, S.: Computing trace alignment against declarative process models through planning. In: ICAPS, pp. 367\u2013375. AAAI Press (2016)","DOI":"10.1609\/icaps.v26i1.13783"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-32885-5_6","volume-title":"Business Process Management","author":"M de Leoni","year":"2012","unstructured":"de Leoni, M., Maggi, F.M., van der Aalst, W.M.P.: Aligning event logs and declarative process models for conformance checking. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 82\u201397. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32885-5_6"},{"key":"15_CR20","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/j.is.2013.12.005","volume":"47","author":"M de Leoni","year":"2015","unstructured":"de Leoni, M., Maggi, F.M., van der Aalst, W.M.P.: An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data. Inf. Syst. 47, 258\u2013277 (2015)","journal-title":"Inf. Syst."},{"key":"15_CR21","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-642-30359-3_2","volume-title":"Business Information Systems","author":"C Di Ciccio","year":"2012","unstructured":"Di Ciccio, C., Mecella, M.: Mining constraints for artful processes. In: Abramowicz, W., Kriksciuniene, D., Sakalauskas, V. (eds.) BIS 2012. LNBIP, vol. 117, pp. 11\u201323. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30359-3_2"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Di Ciccio, C., Mecella, M.: On the Discovery of declarative control flows for artful processes. ACM Trans. Manag. Inf. Syst. 5(4), 24:1\u201324:37 (2015)","DOI":"10.1145\/2629447"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Dumas, M., et al.: AI-augmented business process management systems: a research manifesto. ACM Trans. Manag. Inf. Syst. 14(1), 11:1\u201311:19 (2023)","DOI":"10.1145\/3576047"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE, pp. 411\u2013420. ACM (1999)","DOI":"10.1145\/302405.302672"},{"key":"15_CR25","unstructured":"Fox, M., Long, D.: PDDL+: Modeling continuous time dependent effects. In: Proceedings of the 3rd International NASA Workshop on Planning and Scheduling for Space, vol.\u00a04, p.\u00a034 (2002)"},{"key":"15_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-01564-9","volume-title":"A Concise Introduction to Models and Methods for Automated Planning","author":"H Geffner","year":"2013","unstructured":"Geffner, H., Bonet, B.: A Concise Introduction to Models and Methods for Automated Planning. Morgan & Claypool Publishers, Synthesis Lectures on Artificial Intelligence and Machine Learning (2013)"},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Haslum, P., Lipovetzky, N., Magazzeni, D., Muise, C.: Numeric planning, pp. 83\u2013101. Springer (2019)","DOI":"10.1007\/978-3-031-01584-7_4"},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"ter Hofstede, A.H.M., van\u00a0der Aalst, W.M.P., Adams, M., Russell, N. (eds.): Modern Business Process Automation - YAWL and its Support Environment. Springer (2010)","DOI":"10.1007\/978-3-642-03121-2"},{"key":"15_CR29","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":"15_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-540-75183-0_25","volume-title":"Business Process Management","author":"E Lamma","year":"2007","unstructured":"Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S.: Inducing declarative logic-based models from labeled traces. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 344\u2013359. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75183-0_25"},{"key":"15_CR31","unstructured":"Ly, L.T.: SeaFlows - a compliance checking framework for supporting the process lifecycle. Ph.D. thesis, University of Ulm (2013)"},{"key":"15_CR32","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/j.is.2015.02.007","volume":"54","author":"LT Ly","year":"2015","unstructured":"Ly, L.T., Maggi, F.M., Montali, M., Rinderle-Ma, S., van der Aalst, W.M.P.: Compliance monitoring in business processes: Functionalities, application, and tool-support. Inf. Syst. 54, 209\u2013234 (2015)","journal-title":"Inf. Syst."},{"key":"15_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-25109-2_7","volume-title":"On the Move to Meaningful Internet Systems: OTM 2011","author":"LT Ly","year":"2011","unstructured":"Ly, L.T., Rinderle-Ma, S., Knuplesch, D., Dadam, P.: Monitoring business process compliance using compliance rule graphs. In: Meersman, R., Dillon, T., Herrero, P., Kumar, A., Reichert, M., Qing, L., Ooi, B.-C., Damiani, E., Schmidt, D.C., White, J., Hauswirth, M., Hitzler, P., Mohania, M. (eds.) OTM 2011. LNCS, vol. 7044, pp. 82\u201399. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25109-2_7"},{"key":"15_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-642-31095-9_18","volume-title":"Advanced Information Systems Engineering","author":"FM Maggi","year":"2012","unstructured":"Maggi, F.M., Bose, R.P.J.C., van der Aalst, W.M.P.: Efficient discovery of understandable declarative process models from event logs. In: Ralyt\u00e9, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.) CAiSE 2012. LNCS, vol. 7328, pp. 270\u2013285. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31095-9_18"},{"key":"15_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-23059-2_13","volume-title":"Business Process Management","author":"FM Maggi","year":"2011","unstructured":"Maggi, F.M., Montali, M., Westergaard, M., van der Aalst, W.M.P.: Monitoring business constraints with linear temporal logic: an approach based on colored automata. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 132\u2013147. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23059-2_13"},{"key":"15_CR36","doi-asserted-by":"crossref","unstructured":"Maggi, F.M., Mooij, A.J., van\u00a0der Aalst, W.M.P.: User-guided discovery of declarative process models. In: Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, CIDM, pp. 192\u2013199. IEEE (2011)","DOI":"10.1109\/CIDM.2011.5949297"},{"key":"15_CR37","doi-asserted-by":"crossref","unstructured":"Maggi, F.M., Westergaard, M., Montali, M., van\u00a0der Aalst, W.M.P.: Runtime verification of LTL-based declarative process models. In: Runtime Verification, vol.\u00a07186, pp. 131\u2013146. Springer (2011)","DOI":"10.1007\/978-3-642-29860-8_11"},{"key":"15_CR38","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":"15_CR39","doi-asserted-by":"crossref","unstructured":"Montali, M., Maggi, F.M., Chesani, F., Mello, P., van\u00a0der Aalst, W.M.P.: Monitoring business constraints with the event calculus. ACM Trans. Intell. Syst. Technol. 5(1), 17:1\u201317:30 (2013)","DOI":"10.1145\/2542182.2542199"},{"key":"15_CR40","doi-asserted-by":"crossref","unstructured":"Montali, M., Pesic, M., van\u00a0der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographies. ACM Trans. Web 4(1), 3:1\u20133:62 (2010)","DOI":"10.1145\/1658373.1658376"},{"key":"15_CR41","unstructured":"Pesic, M.: Constraint-based workflow management systems: Shifting control to users. PhD thesis, Technische Universiteit Eindhoven (2008)"},{"key":"15_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11837862_18","volume-title":"Business Process Management Workshops","author":"M Pesic","year":"2006","unstructured":"Pesic, M., van der Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM 2006. LNCS, vol. 4103, pp. 169\u2013180. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11837862_18"},{"key":"15_CR43","unstructured":"Wittlinger, P.H., Acitelli, G., Alman, A., Maggi, F.M., Marrella, A.: FrAIm: a what-if analysis tool enabling framed autonomy via automated planning. In: BPM (Demos \/ Resources Forum). CEUR Workshop Proceedings, vol.\u00a04032, pp. 192\u2013199. CEUR-WS.org (2025)"},{"key":"15_CR44","doi-asserted-by":"crossref","unstructured":"K\u00fcsters, A., van der Aalst, W.M.: August. OC-DECLARE: Discovering object-centric declarative patterns with synchronization. In: International Conference on Business Process Management, pp. 162\u2013179. Cham: Springer Nature Switzerland (2025)","DOI":"10.1007\/978-3-032-02867-9_11"}],"container-title":["Lecture Notes in Computer Science","Mining a Scientist's Process"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-17618-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T11:08:42Z","timestamp":1774868922000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-17618-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032176172","9783032176189"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-17618-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"30 March 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}