{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T23:06:59Z","timestamp":1780960019405,"version":"3.54.1"},"reference-count":66,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T00:00:00Z","timestamp":1762732800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"},{"start":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T00:00:00Z","timestamp":1762732800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Process Sci"],"DOI":"10.1007\/s44311-025-00030-8","type":"journal-article","created":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T10:43:52Z","timestamp":1762771432000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["BEST: a unified business process enactment via streams and tables for service computing"],"prefix":"10.1007","volume":"2","author":[{"given":"Ahmed","family":"Awad","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Feras","family":"Awaysheh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hugo A.","family":"L\u00f3pez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"key":"30_CR1","doi-asserted-by":"publisher","unstructured":"Aalst WMP (1997) Verification of workflow nets. In: A\u00e9ma P, Balbo G (eds) Application and Theory of Petri Nets 1997, 18th International conference, ICATPN\u201997, Toulouse, France, June 23\u201327, 1997, Proceedings. Lecture Notes in Computer Science, vol. 1248, Springer, Berlin, Heidelberg, pp 407\u2013426. https:\/\/doi.org\/10.1007\/3-540-63139-9_48","DOI":"10.1007\/3-540-63139-9_48"},{"key":"30_CR3","doi-asserted-by":"publisher","unstructured":"Aalst WMP, Adams M, Hofstede AHM, Pesic M, Schonenberg H (2009) Flexibility as a service. In: DASFAA. LNCS, vol. 5667, Springer, Berlin, Heidelberg, pp 319\u2013333. https:\/\/doi.org\/10.1007\/978-3-642-04205-8_27","DOI":"10.1007\/978-3-642-04205-8_27"},{"key":"30_CR2","unstructured":"Aalst WMP (2016) Process mining - Data science in action, 2nd edn. Springer, Cham"},{"key":"30_CR4","doi-asserted-by":"publisher","unstructured":"Alman A, Maggi FM, Montali M, Patrizi F, Rivkin A (2023) A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global\u2013local memory. Inf Syst 119:102271. https:\/\/doi.org\/10.1016\/j.is.2023.102271","DOI":"10.1016\/j.is.2023.102271"},{"key":"30_CR5","volume-title":"Getting started with Oracle event processing 11g","author":"A Alves","year":"2013","unstructured":"Alves A, Smith RJ, Williams L (2013) Getting started with Oracle event processing 11g. Packt Publishing Birmingham, Birmingham, UK"},{"key":"30_CR6","unstructured":"Apache Flink (2025) Apache Flink: Stateful computations over data streams. https:\/\/flink.apache.org\/. Accessed: 2025-08-15"},{"key":"30_CR7","unstructured":"Apache Storm (2025) Apache Storm. https:\/\/storm.apache.org\/. Accessed 15 Aug 2025"},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"Arasu A, Babcock B, Babu S, Datar M, Ito K, Motwani R, Nishizawa I, Srivastava U, Thomas D, Varma R, Widom J (2003) STREAM: the stanford stream data manager. IEEE Data Eng. Bull. 26(1):19\u201326","DOI":"10.1145\/872853.872854"},{"key":"30_CR9","doi-asserted-by":"publisher","unstructured":"Arasu A, Babu S, Widom J (2003) A language for continuous queries over streamsand relations. In: DBPL, Springer, Berlin, pp 1\u201319. https:\/\/doi.org\/10.1007\/978-3-540-24607-7_1","DOI":"10.1007\/978-3-540-24607-7_1"},{"key":"30_CR10","doi-asserted-by":"publisher","unstructured":"Arasu A, Babu S, Widom J (2006) The CQL continuous query language: semantic foundations and query execution. VLDB J 15(2):121\u2013142. https:\/\/doi.org\/10.1007\/S00778-004-0147-Z","DOI":"10.1007\/S00778-004-0147-Z"},{"key":"30_CR11","doi-asserted-by":"publisher","unstructured":"Armbrust M, Das T, Torres J, Yavuz B, Zhu S, Xin R, Ghodsi A, Stoica I, Zaharia M (2018) Structured streaming: a declarative API for real-time applications in apache spark. In: Das, G., Jermaine, C.M., Bernstein, P.A. (eds.) Proceedings of the 2018 International Conference on Management of Data, SIGMOD Conference, Houston, TX, USA, pp 601\u2013613. https:\/\/doi.org\/10.1145\/3183713.3190664. Accessed 10\u201315 June 2018","DOI":"10.1145\/3183713.3190664"},{"key":"30_CR12","doi-asserted-by":"publisher","unstructured":"Artikis A, Margara A, Ugarte M, Vansummeren S, Weidlich M (2017) Complex event recognition languages: tutorial. In Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems, DEBS 2017, ACM, Barcelona, Spain, New York, NY, USA, 7\u201310. https:\/\/doi.org\/10.1145\/3093742.3095106. Accessed 19\u201323 June 2017","DOI":"10.1145\/3093742.3095106"},{"key":"30_CR13","doi-asserted-by":"publisher","first-page":"1203","DOI":"10.1145\/2695664.2699488","volume-title":"ACM SAC","author":"A Awad","year":"2015","unstructured":"Awad A, Barnawi A, Elgammal A, Shawi RE, Almalaise A, Sakr S (2015) Runtime detection of business process compliance violations: an approach based on anti patterns. In: ACM SAC. ACM, New York, NY, USA, pp 1203\u20131210. https:\/\/doi.org\/10.1145\/2695664.2699488"},{"key":"30_CR14","doi-asserted-by":"publisher","unstructured":"Awad A, Sakr S (2012) On efficient processing of BPMN-Q queries. Comput Ind 63(9):867\u2013881. https:\/\/doi.org\/10.1016\/j.compind.2012.06.002","DOI":"10.1016\/j.compind.2012.06.002"},{"key":"30_CR15","doi-asserted-by":"publisher","unstructured":"Awad A, Tommasini R, Langhi S, Kamel M, Valle ED, Sakr S (2022) D2ia: user-defined interval analytics on distributed streams. Inf Syst 104, 101679 https:\/\/doi.org\/10.1016\/J.IS.2020.101679","DOI":"10.1016\/J.IS.2020.101679"},{"issue":"4","key":"30_CR16","doi-asserted-by":"publisher","first-page":"2098","DOI":"10.1109\/COMST.2021.3094993","volume":"23","author":"FM Awaysheh","year":"2021","unstructured":"Awaysheh FM, Alazab M, Garg S, Niyato D, Verikoukis C (2021) Big data resource management & networks: taxonomy, survey, and future directions. IEEE Commun Surv Tutorials 23(4):2098\u20132130","journal-title":"IEEE Commun Surv Tutorials"},{"key":"30_CR17","doi-asserted-by":"publisher","unstructured":"Brand J, Kampik T, Okulmus C, Weidlich M. (2024) One language to rule them all: behavioural querying of process data using SQL. In: Delgado A, Slaats T, editors. Process Mining Workshops - ICPM 2024 International Workshops, Lyngby, Denmark, October 14-18, 2024, Revised Selected Papers. Lecture Notes in Business Information Processing. Vol. 533. Berlin, Heidelberg: Springer; p. 18\u201330. https:\/\/doi.org\/10.1007\/978-3-031-82225-4_2","DOI":"10.1007\/978-3-031-82225-4_2"},{"key":"30_CR18","doi-asserted-by":"publisher","unstructured":"Breitenb\u00fccher U, Binz T, Kopp O, Leymann F, Wettinger J, INSTICC (2015) A modelling concept to integrate declarative and imperative cloud application provisioning technologies. In Proceedings of the 5th International Conference on Cloud Computing and Services Science - CLOSER, SciTePress, Set\u00fabal, Portugal, 487\u2013496. https:\/\/doi.org\/10.5220\/0005495104870496","DOI":"10.5220\/0005495104870496"},{"key":"30_CR19","doi-asserted-by":"publisher","unstructured":"Burattin A, Maggi FM, Sperduti A (2016) Conformance checking based on multi-perspective declarative process models. Expert Syst Appl 65:194\u2013211. https:\/\/doi.org\/10.1016\/J.ESWA.2016.08.040","DOI":"10.1016\/J.ESWA.2016.08.040"},{"key":"30_CR20","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-319-98648-7_15","volume-title":"Business process management - 16th international conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018, proceedings. Lecture notes in computer science","author":"A Burattin","year":"2018","unstructured":"Burattin A, Zelst SJ, Armas-Cervantes A, Dongen BF, Carmona J (2018) Online conformance checking using behavioural patterns. In: Weske M, Montali M, Weber I, Brocke J (eds) Business process management - 16th international conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018, proceedings. Lecture notes in computer science, vol 11080. Springer, Berlin, Heidelberg, pp 250\u2013267. https:\/\/doi.org\/10.1007\/978-3-319-98648-7_15"},{"key":"30_CR21","unstructured":"Camunda Services GmbH (2025) Camunda: The Universal Process Orchestrator. https:\/\/camunda.com\/. Accessed: 2025-05-02"},{"key":"30_CR22","volume-title":"Conformance checking - relating processes and models","author":"J Carmona","year":"2018","unstructured":"Carmona J, Dongen BF, Solti A, Weidlich M (2018) Conformance checking - relating processes and models. Springer, Berlin, Heidelberg"},{"key":"30_CR23","first-page":"161","volume-title":"FACS","author":"F Corradini","year":"2016","unstructured":"Corradini F, Polini A, Re B, Tiezzi F (2016) An operational semantics of bpmn collaboration. In: FACS. Springer, pp 161\u2013180"},{"issue":"2","key":"30_CR24","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/s00450-009-0068-6","volume":"23","author":"P Dadam","year":"2009","unstructured":"Dadam P, Reichert M (2009) The ADEPT project: a decade of research and development for robust and flexible process support. Comput. Sci. Res. Dev. 23(2):81\u201397. https:\/\/doi.org\/10.1007\/s00450-009-0068-6","journal-title":"Comput. Sci. Res. Dev."},{"key":"30_CR25","unstructured":"Debois S, Hildebrandt TT, Marquard M, Slaats T In: BPM (Demos), pp. 2016) The dcr graphs process portal. pp 7\u201311"},{"key":"30_CR26","first-page":"368","volume-title":"IFM. LNCS","author":"S Debois","year":"2020","unstructured":"Debois S, L\u00f3pez HA, Slaats T, Andaloussi AA, Hildebrandt TT (2020) Chain of events: modular process models for the law. In: IFM. LNCS, vol 12546. Springer, Berlin, Heidelberg, pp 368\u2013386"},{"issue":"12","key":"30_CR27","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman RM, Dumas M, Ouyang C (2008) Semantics and analysis of business process models in BPMN. Inf Softw Technol 50(12):1281\u20131294. https:\/\/doi.org\/10.1016\/j.infsof.2008.02.006","journal-title":"Inf Softw Technol"},{"key":"30_CR28","doi-asserted-by":"publisher","unstructured":"Ding T, Gao Y, Ma Y (2016) A semantic preserving CEP based approach for business data processing. In ICNC, IEEE, Piscataway, NJ, USA, 1808\u20131815). https:\/\/doi.org\/10.1109\/FSKD.2016.7603453","DOI":"10.1109\/FSKD.2016.7603453"},{"issue":"6","key":"30_CR29","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1016\/j.compind.2007.01.001","volume":"58","author":"BF Dongen","year":"2007","unstructured":"Dongen BF, Jansen-Vullers MH, Verbeek HMW, Aalst WMP (2007) Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants. Comput Ind 58(6):578\u2013601. https:\/\/doi.org\/10.1016\/j.compind.2007.01.001","journal-title":"Comput Ind"},{"key":"30_CR30","doi-asserted-by":"crossref","unstructured":"Fahland D, L\u00fcbke D, Mendling J, Reijers HA, Weber B, Weidlich M, Zugal S (2009a) Declarative versus imperative process modeling languages: the issue of understandability. In: BMMDS\/EMMSAD. LNBIP, vol. 29. Springer, Berlin, Heidelberg, pp 353\u2013366","DOI":"10.1007\/978-3-642-01862-6_29"},{"key":"30_CR31","doi-asserted-by":"publisher","unstructured":"Fahland D, Mendling J, Reijers HA, Weber B, Weidlich M, Zugal S (2009) Declarative versus imperative process modeling languages: the issue of maintainability. In: Rinderle-Ma S, Sadiq S, Leymann F, editors. Business Process Management Workshops, BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers. Lecture Notes in Business Information Processing. Vol. 43. Berlin, Heidelberg: Springer; p. 477\u201388. https:\/\/doi.org\/10.1007\/978-3-642-12186-9_45","DOI":"10.1007\/978-3-642-12186-9_45"},{"key":"30_CR32","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1016\/j.is.2018.04.004","volume":"78","author":"D Fahland","year":"2018","unstructured":"Fahland D, V\u00f6lzer H (2018) Dynamic skipping and blocking, dead path elimination for cyclic workflows, and a local semantics for inclusive gateways. Inf Syst 78:126\u2013143. https:\/\/doi.org\/10.1016\/j.is.2018.04.004","journal-title":"Inf Syst"},{"key":"30_CR33","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1016\/j.future.2017.01.006","volume":"80","author":"M Geiger","year":"2018","unstructured":"Geiger M, Harrer S, Lenhard J, Wirtz G (2018) BPMN 2.0: the state of support and implementation. Future Gener Comput Syst 80:250\u2013262. https:\/\/doi.org\/10.1016\/j.future.2017.01.006","journal-title":"Future Gener Comput Syst"},{"key":"30_CR34","first-page":"31","volume-title":"BPMN workshop","author":"B Gfeller","year":"2011","unstructured":"Gfeller B, V\u00f6lzer H, Wilmsmann G (2011) Faster or-join enactment for BPMN 2.0. In: BPMN workshop. Springer, Berlin, pp 31\u201343"},{"issue":"1","key":"30_CR35","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/S00778-019-00557-W","volume":"29","author":"N Giatrakos","year":"2020","unstructured":"Giatrakos N, Alevizos E, Artikis A, Deligiannakis A, Garofalakis MN (2020) Complex event recognition in the big data era: a survey. VLDB J 29(1):313\u2013352. https:\/\/doi.org\/10.1007\/S00778-019-00557-W","journal-title":"VLDB J"},{"issue":"2","key":"30_CR36","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/J.INFSOF.2012.08.014","volume":"55","author":"PV Gorp","year":"2013","unstructured":"Gorp PV, Dijkman (2013) R.M.: a visual token-based formalization of BPMN 2.0 based on in-place transformations. Inf Softw Technol 55(2):365\u2013394. https:\/\/doi.org\/10.1016\/J.INFSOF.2012.08.014","journal-title":"Inf Softw Technol"},{"key":"30_CR37","volume-title":"A survey of formal business process verification: from soundness to variability","author":"H Groefsema","year":"2013","unstructured":"Groefsema H, Bucur D (2013) A survey of formal business process verification: from soundness to variability. BMSD, In"},{"key":"30_CR38","doi-asserted-by":"crossref","unstructured":"Grunert K, Shoferi JJ, Rohwer K, Pankovska E, Gold L (2022) Architecture of decentralized process management systems. BPM. Springer, In, Berling, Heidelberg","DOI":"10.1007\/978-3-031-16103-2_28"},{"key":"30_CR39","doi-asserted-by":"publisher","unstructured":"Helal IMA, Awad A (2022) Online correlation for unlabeled process events: a flexible cep-based approach. Inf Syst 108, 102031. https:\/\/doi.org\/10.1016\/J.IS.2022.102031","DOI":"10.1016\/J.IS.2022.102031"},{"key":"30_CR40","doi-asserted-by":"crossref","unstructured":"Hildebrandt TT, Mukkamala RR (2011). Declarative event-based workflow as distributed dynamic condition response graphs. arXiv preprint arXiv:1110.4161","DOI":"10.4204\/EPTCS.69.5"},{"key":"30_CR41","doi-asserted-by":"publisher","unstructured":"Jafarpour H, Desai R (2019) KSQL: streaming SQL engine for apache kafka. In: Herschel M, Galhardas H, Reinwald B, Fundulaki I, Binnig C, Kaoudi Z (eds) Advances in Database Technology - 22nd International Conference on Extending Database Technology, EDBT 2019, Lisbon, Portugal. March 26-29, 2019, OpenProceedings.org, Lisbon, Portugal, 524\u2013533. https:\/\/doi.org\/10.5441\/002\/EDBT.2019.48","DOI":"10.5441\/002\/EDBT.2019.48"},{"key":"30_CR42","doi-asserted-by":"publisher","unstructured":"Kosciuszek T, Hassani M (2024) Online next activity prediction under concept drifts. In: Almeida JPA, Ciccio CD, Kalloniatis C (eds) Advanced Information Systems Engineering Workshops - CAiSE 2024 International Workshops, Proceedings. Lecture notes in business information processing, vol 521. Springer, Limassol, Cyprus, Berlin, Heidelberg, June 3\u20137, 2024, pp 335\u2013346. https:\/\/doi.org\/10.1007\/978-3-031-61003-5_28","DOI":"10.1007\/978-3-031-61003-5_28"},{"key":"30_CR43","doi-asserted-by":"publisher","unstructured":"Krieger C, Breitenb\u00fccher U, Falkenthal M, Leymann F, Yussupov V, Zdun U (2020) Monitoring behavioral compliance with architectural patterns based on complex event processing. In: Brogi A, Zimmermann W, Kritikos K (eds) Service-oriented and cloud computing - 8th IFIP WG 2.14 European conference, ESOCC 2020, vol 12054. Springer, Heraklion, Crete, Greece, Berlin, Heidelberg, pp 125\u2013140. September 28\u201330, 2020, Proceedings. Lecture Notes in Computer Science. https:\/\/doi.org\/10.1007\/978-3-030-44769-4_10","DOI":"10.1007\/978-3-030-44769-4_10"},{"key":"30_CR44","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.scico.2018.09.007","volume":"170","author":"A Krishna","year":"2019","unstructured":"Krishna A, Poizat P, Sala\u00fcn G (2019) Checking business process evolution. Sci Comput Program 170:1\u201326. https:\/\/doi.org\/10.1016\/j.scico.2018.09.007","journal-title":"Sci Comput Program"},{"issue":"7","key":"30_CR45","doi-asserted-by":"publisher","first-page":"1162","DOI":"10.1002\/spe.2702","volume":"49","author":"O L\u00f3pez-Pintado","year":"2019","unstructured":"L\u00f3pez-Pintado O, Garc\u00eda-Ba\u00f1uelos L, Dumas M, Weber I, Ponomarev A (2019) Caterpillar: a business process execution engine on the ethereum blockchain. Softw Pract Exp 49(7):1162\u20131193. https:\/\/doi.org\/10.1002\/spe.2702","journal-title":"Softw Pract Exp"},{"issue":"2","key":"30_CR46","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.infsof.2009.08.004","volume":"52","author":"J Mendling","year":"2010","unstructured":"Mendling J, Reijers HA, van der Aalst WMP (2010) Seven process modeling guidelines (7pmg). Inf Softw Technol 52(2):127\u2013136","journal-title":"Inf Softw Technol"},{"key":"30_CR47","doi-asserted-by":"crossref","unstructured":"Nahabedian L, Braberman V, D\u2019Ippolito N, Kramer J, Uchitel S (2022) Assured automatic dynamic reconfiguration of business processes. Inf Syst 104, 101850","DOI":"10.1016\/j.is.2021.101850"},{"issue":"12","key":"30_CR48","doi-asserted-by":"publisher","first-page":"1634","DOI":"10.14778\/3137765.3137770","volume":"10","author":"SA Noghabi","year":"2017","unstructured":"Noghabi SA, Paramasivam K, Pan Y, Ramesh N, Bringhurst J, Gupta I, Campbell RH (2017) Samza: stateful scalable stream processing at linkedin. Proc. VLDB Endow. 10(12):1634\u20131645. https:\/\/doi.org\/10.14778\/3137765.3137770","journal-title":"Proc. VLDB Endow."},{"key":"30_CR49","unstructured":"OASIS (2007) Web services business process execution language version 2.0. Specification, OASIS. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"30_CR50","unstructured":"OMG (2014) Business process model and notation (BPMN), version 2.0.2. Technical report,Object Management Group. Object Management Group"},{"key":"30_CR51","doi-asserted-by":"publisher","unstructured":"Pesic M, Schonenberg H, Aalst WMP (2007) DECLARE: full support for loosely-structured processes. In EDOC, IEEE Computer Society, Piscataway, NJ, USA, 287\u2013300). https:\/\/doi.org\/10.1109\/EDOC.2007.14","DOI":"10.1109\/EDOC.2007.14"},{"key":"30_CR52","doi-asserted-by":"crossref","unstructured":"Prinz TM, Choi Y, Ha NL In: BPM (2022) Understanding and decomposing control-flow loops in business process models. Springer, Berlin, Heidelber, pp 307\u2013323","DOI":"10.1007\/978-3-031-16103-2_21"},{"key":"30_CR53","unstructured":"Ragab M, Tommasini R, Awaysheh FM, Ramos JC (2021) An in-depth investigation of large-scale rdf relational schema optimizations using spark-sql"},{"key":"30_CR54","doi-asserted-by":"publisher","unstructured":"Raun K, Tommasini R, Awad A (2025) Back to the order: partial orders in streaming conformance checking. Inf Syst 133, 102566 (https:\/\/doi.org\/10.1016\/J.IS.2025.102566","DOI":"10.1016\/J.IS.2025.102566"},{"key":"30_CR55","doi-asserted-by":"crossref","unstructured":"Rinderle-Ma S, Reichert M (2010) Advanced migration strategies for adaptive process management systems. CEC. IEEE, In, Piscataway, NJ, USA, pp 56\u201363","DOI":"10.1109\/CEC.2010.18"},{"key":"30_CR56","doi-asserted-by":"publisher","unstructured":"Ruhkamp N, Sch\u00f6nig S In: BIS (2021) Execution of multi-perspective declarative process models using complex event processing. pp 95\u2013104. https:\/\/doi.org\/10.52825\/BIS.V1I.51","DOI":"10.52825\/BIS.V1I.51"},{"key":"30_CR57","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3242153.3242155","volume-title":"BIRTE","author":"MJ Sax","year":"2018","unstructured":"Sax MJ, Wang G, Weidlich M, Freytag J - (2018) Streams and tables: two sides of the same coin. In: BIRTE. ACM, Rio de Janeiro, Brazil, pp 1\u201310. https:\/\/doi.org\/10.1145\/3242153.3242155"},{"key":"30_CR58","doi-asserted-by":"crossref","unstructured":"Seeliger A, Stein M, M\u00fchlh\u00e4user M In: BPM Workshops. Lnbip (2017) Can we find better process models? process model improvement using motif-based graph adaptation., vol 308. Springer, Barcelona, Spain, pp 230\u2013242","DOI":"10.1007\/978-3-319-74030-0_17"},{"issue":"1","key":"30_CR59","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/S13740-020-00112-9","volume":"9","author":"T Slaats","year":"2020","unstructured":"Slaats T (2020) Declarative and hybrid process discovery: recent advances and open challenges. J Data Semant 9(1):3\u201320. https:\/\/doi.org\/10.1007\/S13740-020-00112-9","journal-title":"J Data Semant"},{"key":"30_CR60","doi-asserted-by":"publisher","unstructured":"Slaats T, Schunselaar DMM, Maggi FM, Reijers HA (2016) The semantics of hybrid process models 10033:531\u2013551. https:\/\/doi.org\/10.1007\/978-3-319-48472-3_32. In: OTM. Lncs","DOI":"10.1007\/978-3-319-48472-3_32"},{"key":"30_CR61","unstructured":"Tamo LK, Abbad-Andaloussi A, Trinh DMT, L\u00f3pez HA (2023) An open-source modeling editor for declarative process models. In International Conference on Cooperative Information Systems 2023"},{"key":"30_CR62","doi-asserted-by":"crossref","unstructured":"Verwiebe J, Grulich PM, Traub J, Volker M (2023) Survey of window types for aggregation in stream processing systems. VLDB J 1\u201327","DOI":"10.1007\/s00778-023-00793-1"},{"key":"30_CR63","unstructured":"Westergaard M, Maggi FM (2011) Declare: a tool suite for declarative workflow modeling and enactment. In: Ludwig H, Reijers HA (eds) Proceedings of the Demo Track of the Nineth Conference on Business Process Management 2011, vol 820. CEUR-WS.org, Clermont-Ferrand, France, Clermont-Ferrand, France. https:\/\/ceur-ws.org\/Vol-820\/Demo3.pdf. August 31st, 2011. CEUR Workshop Proceedings"},{"key":"30_CR64","doi-asserted-by":"publisher","unstructured":"Westergaard M, Slaats T (2013) Mixing paradigms for more comprehensible models. In: Daniel F, Wang J, Weber B (eds) Business Process Management - 11th International Conference, BPM 2013, vol 8094. Springer, Beijing, China,, Berlin, Heidelberg, 283\u2013290). https:\/\/doi.org\/10.1007\/978-3-642-40176-3_24. August 26\u201330, 2013. Proceedings. Lecture Notes in Computer Science","DOI":"10.1007\/978-3-642-40176-3_24"},{"key":"30_CR65","doi-asserted-by":"crossref","unstructured":"Wickramanayake B, Ouyang C, Xu Y, Moreira C (2023) Generating multi-level explanations for process outcome predictions. EAAI 125, 106678","DOI":"10.1016\/j.engappai.2023.106678"},{"issue":"3","key":"30_CR66","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/S41060-017-0078-6","volume":"8","author":"SJ Zelst","year":"2019","unstructured":"Zelst SJ, Bolt A, Hassani M, Dongen BF, Aalst WMP (2019) Online conformance checking: relating event streams to process models using prefix-alignments. Int J Data Sci Anal 8(3):269\u2013284. https:\/\/doi.org\/10.1007\/S41060-017-0078-6","journal-title":"Int J Data Sci Anal"}],"container-title":["Process Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s44311-025-00030-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s44311-025-00030-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s44311-025-00030-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T10:43:56Z","timestamp":1762771436000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s44311-025-00030-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,10]]},"references-count":66,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2025,12]]}},"alternative-id":["30"],"URL":"https:\/\/doi.org\/10.1007\/s44311-025-00030-8","relation":{},"ISSN":["2948-2178"],"issn-type":[{"value":"2948-2178","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,10]]},"assertion":[{"value":"23 May 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 November 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}},{"value":"The authors declare no competing interests.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"23"}}