{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T15:14:09Z","timestamp":1760800449836,"version":"3.37.3"},"reference-count":56,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2021,2,19]],"date-time":"2021-02-19T00:00:00Z","timestamp":1613692800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,2,19]],"date-time":"2021-02-19T00:00:00Z","timestamp":1613692800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Data Semant"],"published-print":{"date-parts":[[2021,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Business processes are often specified in descriptive or normative models. Both types of models should adhere to internal and external regulations, such as company guidelines or laws. Employing compliance checking techniques, it is possible to verify process models against rules. While traditionally compliance checking focuses on well-structured processes, we address case management scenarios. In case management, knowledge workers drive multi-variant and adaptive processes. Our contribution is based on the fragment-based case management approach, which splits a process into a set of fragments. The fragments are synchronized through shared data but can, otherwise, be dynamically instantiated and executed. We formalize case models using Petri nets. We demonstrate the formalization for design-time and run-time compliance checking and present a proof-of-concept implementation. The application of the implemented compliance checking approach to a use case exemplifies its effectiveness while designing a case model. The empirical evaluation on a set of case models for measuring the performance of the approach shows that rules can often be checked in less than a second.<\/jats:p>","DOI":"10.1007\/s13740-021-00120-3","type":"journal-article","created":{"date-parts":[[2021,2,19]],"date-time":"2021-02-19T23:40:30Z","timestamp":1613778030000},"page":"143-163","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Formal Framework for Checking Compliance of Data-Driven Case Management"],"prefix":"10.1007","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3658-6774","authenticated-orcid":false,"given":"Stephan","family":"Haarmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrian","family":"Holfter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luise","family":"Pufahl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Weske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,2,19]]},"reference":[{"key":"120_CR1","doi-asserted-by":"publisher","unstructured":"Awad A, Decker G, Weske M (2008) Efficient compliance checking using bpmn-q and temporal logic. In: Dumas M, Reichert M, Shan MC (eds) Business process management. Springer, Berlin, pp 326\u2013341. https:\/\/doi.org\/10.1007\/978-3-540-85758-7_24","DOI":"10.1007\/978-3-540-85758-7_24"},{"key":"120_CR2","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1016\/j.compind.2012.06.002","volume":"63","author":"A Awad","year":"2012","unstructured":"Awad A, Sakr S (2012) On efficient processing of BPMN-q queries. Comput Ind 63:867\u2013881. https:\/\/doi.org\/10.1016\/j.compind.2012.06.002","journal-title":"Comput Ind"},{"key":"120_CR3","doi-asserted-by":"publisher","unstructured":"Awad A, Weidlich M, Weske M (2009) Specification, verification and explanation of violation for data aware compliance rules. In: Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24\u201327, 2009. Proceedings, pp 500\u2013515. https:\/\/doi.org\/10.1007\/978-3-642-10383-4_37","DOI":"10.1007\/978-3-642-10383-4_37"},{"key":"120_CR4","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.jvlc.2010.11.002","volume":"22","author":"A Awad","year":"2011","unstructured":"Awad A, Weidlich M, Weske M (2011) Visually specifying compliance rules and explaining their violations for business processes. J Vis Lang Comput 22:30\u201355. https:\/\/doi.org\/10.1016\/j.jvlc.2010.11.002","journal-title":"J Vis Lang Comput"},{"key":"120_CR5","doi-asserted-by":"publisher","unstructured":"Belardinelli F, Lomuscio A, Patrizi F (2012) Verification of GSM-based artifact-centric systems through finite abstraction. In: Service-oriented computing\u201410th international conference, ICSOC 2012, Shanghai, China, November 12\u201315, 2012. Proceedings, pp 17\u201331. https:\/\/doi.org\/10.1007\/978-3-642-34321-6_2","DOI":"10.1007\/978-3-642-34321-6_2"},{"key":"120_CR6","doi-asserted-by":"publisher","unstructured":"Best E, Devillers RR, Hall JG (1992) The box calculus: a new causal algebra with multi-label communication. In: Advances in Petri Nets 1992, The DEMON Project. Springer, Berlin, pp 21\u201369. https:\/\/doi.org\/10.1007\/3-540-55610-9_167","DOI":"10.1007\/3-540-55610-9_167"},{"issue":"11","key":"120_CR7","doi-asserted-by":"publisher","first-page":"5340","DOI":"10.1016\/j.eswa.2014.03.010","volume":"41","author":"D Borrego","year":"2014","unstructured":"Borrego D, Barba I (2014) Conformance checking and diagnosis for declarative business process models in data-aware scenarios. Expert Syst Appl 41(11):5340\u20135352. https:\/\/doi.org\/10.1016\/j.eswa.2014.03.010","journal-title":"Expert Syst Appl"},{"key":"120_CR8","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/j.datak.2013.04.008","volume":"87","author":"D Borrego","year":"2013","unstructured":"Borrego D, Eshuis R, L\u00f3pez MTG, Gasca RM (2013) Diagnosing correctness of semantic workflow models. Data Knowl Eng 87:167\u2013184. https:\/\/doi.org\/10.1016\/j.datak.2013.04.008","journal-title":"Data Knowl Eng"},{"key":"120_CR9","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 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","journal-title":"Expert Syst Appl"},{"key":"120_CR10","doi-asserted-by":"publisher","unstructured":"Combi C, Oliboni B, Weske M, Zerbato F (2018) Conceptual modeling of processes and data: connecting different perspectives. In: Conceptual modeling\u201437th International Conference, ER 2018, Xi\u2019an, China, October 22\u201325, 2018, Proceedings, pp 236\u2013250. https:\/\/doi.org\/10.1007\/978-3-030-00847-5_18","DOI":"10.1007\/978-3-030-00847-5_18"},{"issue":"3","key":"120_CR11","doi-asserted-by":"publisher","first-page":"319","DOI":"10.2307\/249008","volume":"13","author":"FD Davis","year":"1989","unstructured":"Davis FD (1989) Perceived usefulness, perceived ease of use, and user acceptance of information technology. MIS Q 13(3):319\u2013340","journal-title":"MIS Q"},{"issue":"1","key":"120_CR12","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s13740-014-0038-4","volume":"4","author":"C Di Ciccio","year":"2015","unstructured":"Di Ciccio C, Marrella A, Russo A (2015) Knowledge-intensive processes: characteristics, requirements and analysis of contemporary approaches. J Data Semant 4(1):29\u201357","journal-title":"J Data Semant"},{"issue":"12","key":"120_CR13","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","journal-title":"Inf Softw Technol"},{"key":"120_CR14","doi-asserted-by":"publisher","unstructured":"Esparza J (1996) Decidability and complexity of petri net problems\u2014an introduction. In: Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, pp 374\u2013428. https:\/\/doi.org\/10.1007\/3-540-65306-6_20","DOI":"10.1007\/3-540-65306-6_20"},{"key":"120_CR15","doi-asserted-by":"publisher","unstructured":"Fdhila W, Gall M, Rinderle-Ma S, Mangler J, Indiono C (2016) Classification and formalization of instance-spanning constraints in process-driven applications. In: Business process management\u20144th international conference, BPM 2016, Rio de Janeiro, Brazil, September 18\u201322, 2016. Proceedings, pp. 348\u2013364. https:\/\/doi.org\/10.1007\/978-3-319-45348-4_20","DOI":"10.1007\/978-3-319-45348-4_20"},{"key":"120_CR16","doi-asserted-by":"publisher","unstructured":"Gonzalez P, Griesmayer A, Lomuscio A (2012) Verifying GSM-based business artifacts. In: 2012 IEEE 19th international conference on web services, Honolulu, HI, USA, June 24\u201329, 2012, pp. 25\u201332. https:\/\/doi.org\/10.1109\/ICWS.2012.31","DOI":"10.1109\/ICWS.2012.31"},{"key":"120_CR17","doi-asserted-by":"publisher","unstructured":"Haarmann S, Batoulis K, Weske M (2018) Compliance checking for decision-aware process models. In: Business process management workshops\u2014BPM 2018 international workshops, Sydney, NSW, Australia, September 9\u201314, 2018, Revised Papers, pp 494\u2013506. https:\/\/doi.org\/10.1007\/978-3-030-11641-5_39","DOI":"10.1007\/978-3-030-11641-5_39"},{"key":"120_CR18","doi-asserted-by":"publisher","unstructured":"Haarmann S, Batoulis K, Weske M (2019) Compliance checking for decision-aware process models. In: Business process management workshops. Springer, pp 494\u2013506. https:\/\/doi.org\/10.1007\/978-3-030-11641-5_39","DOI":"10.1007\/978-3-030-11641-5_39"},{"key":"120_CR19","unstructured":"Haarmann S, Podlesny N, Hewelt M, Meyer A, Weske M (2015) Production case management: a prototypical process engine to execute flexible business processes. In: BPM (Demos), pp 110\u2013114"},{"key":"120_CR20","doi-asserted-by":"crossref","unstructured":"Hashmi M, Governatori G, Lam HP, Wynn MT (2018) Are we done with business process compliance: state of the art and challenges ahead. Knowl Inform Syst 1\u201355","DOI":"10.1007\/s10115-017-1142-1"},{"key":"120_CR21","first-page":"116","volume":"7","author":"KM van Hee","year":"2013","unstructured":"van Hee KM, Sidorova N, van der Werf JMEM (2013) Business process modeling using petri nets. Trans Petri Nets Other Model Concurr 7:116\u2013161","journal-title":"Trans Petri Nets Other Model Concurr"},{"key":"120_CR22","doi-asserted-by":"publisher","unstructured":"Hewelt M, Weske M (2016) A hybrid approach for flexible case modeling and execution. In: Lecture notes in business information processing. Springer, Berlin, pp 38\u201354. https:\/\/doi.org\/10.1007\/978-3-319-45468-9_3","DOI":"10.1007\/978-3-319-45468-9_3"},{"key":"120_CR23","doi-asserted-by":"crossref","unstructured":"Hewelt M, Wolff F, Mandal S, Pufahl L, Weske M (2018) Towards a methodology for case model elicitation. In: Enterprise, business-process and information systems modeling. Springer, pp 181\u2013195","DOI":"10.1007\/978-3-319-91704-7_12"},{"key":"120_CR24","doi-asserted-by":"publisher","unstructured":"Hildebrandt TT, Mukkamala RR (2010) 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 2010, Paphos, Cyprus, 21st March 2010, pp 59\u201373. https:\/\/doi.org\/10.4204\/EPTCS.69.5","DOI":"10.4204\/EPTCS.69.5"},{"issue":"8","key":"120_CR25","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare CAR (1978) Communicating sequential processes. Commun ACM 21(8):666\u2013677","journal-title":"Commun ACM"},{"key":"120_CR26","doi-asserted-by":"publisher","unstructured":"Holfter A, Haarmann S, Pufahl L, Weske M (2019) Checking compliance in data-driven case management. In: Business process management workshops\u2014BPM 2019 international workshops, Vienna, Austria, September 1\u20136, 2019, Revised Selected Papers, pp 400\u2013411. https:\/\/doi.org\/10.1007\/978-3-030-37453-2_33","DOI":"10.1007\/978-3-030-37453-2_33"},{"key":"120_CR27","doi-asserted-by":"publisher","unstructured":"Hull R, Damaggio E, Fournier F, Gupta M, III FFTH, Hobson S, Linehan MH, Maradugu S, Nigam A, Sukaviriya P, Vacul\u00edn R (2010) Introducing the guard-stage-milestone approach for specifying business entity lifecycles. In: Web services and formal methods\u20147th international workshop, WS-FM 2010, Hoboken, NJ, USA, September 16\u201317, 2010. Revised Selected Papers, pp 1\u201324. https:\/\/doi.org\/10.1007\/978-3-642-19589-1_1","DOI":"10.1007\/978-3-642-19589-1_1"},{"issue":"10","key":"120_CR28","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/262793.262799","volume":"40","author":"RE Johnson","year":"1997","unstructured":"Johnson RE (1997) Frameworks = (components + patterns). Commun ACM 40(10):39\u201342. https:\/\/doi.org\/10.1145\/262793.262799","journal-title":"Commun ACM"},{"key":"120_CR29","doi-asserted-by":"publisher","unstructured":"Knuplesch D, Ly LT, Rinderle-Ma S, Pfeifer H, Dadam P (2010) On enabling data-aware compliance checking of business process models. In: Conceptual modeling\u2014ER 2010, 29th international conference on conceptual modeling, Vancouver, BC, Canada, November 1\u20134, 2010. Proceedings, pp 332\u2013346. https:\/\/doi.org\/10.1007\/978-3-642-16373-9_24","DOI":"10.1007\/978-3-642-16373-9_24"},{"key":"120_CR30","doi-asserted-by":"crossref","unstructured":"Knuplesch D, Reichert M, Ly LT, Kumar A, Rinderle-Ma S (2013) Visual modeling of business process compliance rules with the support of multiple perspectives. In: International conference on conceptual modeling. Springer, pp 106\u2013120","DOI":"10.1007\/978-3-642-41924-9_10"},{"key":"120_CR31","volume-title":"Behavioural models\u2013from modelling finite automata to analysing business processes","author":"M Kunze","year":"2016","unstructured":"Kunze M, Weske M (2016) Behavioural models\u2013from modelling finite automata to analysing business processes. Springer, Berlin"},{"issue":"4","key":"120_CR32","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1002\/smr.524","volume":"23","author":"V K\u00fcnzle","year":"2011","unstructured":"K\u00fcnzle V, Reichert M (2011) Philharmonicflows: towards a framework for object-aware process management. J Softw Maint 23(4):205\u2013244. https:\/\/doi.org\/10.1002\/smr.524","journal-title":"J Softw Maint"},{"key":"120_CR33","doi-asserted-by":"publisher","unstructured":"Leitner M, Mangler J, Rinderle-Ma S (2012) Definition and enactment of instance-spanning process constraints. In: Web information systems engineering\u2014WISE 2012\u201413th international conference, Paphos, Cyprus, November 28\u201330, 2012. Proceedings, pp 652\u2013658. https:\/\/doi.org\/10.1007\/978-3-642-35063-4_49","DOI":"10.1007\/978-3-642-35063-4_49"},{"issue":"3","key":"120_CR34","doi-asserted-by":"publisher","first-page":"283","DOI":"10.14778\/3157794.3157798","volume":"11","author":"Y Li","year":"2017","unstructured":"Li Y, Deutsch A, Vianu V (2017) VERIFAS: a practical verifier for artifact systems. Proc VLDB Endow 11(3):283\u2013296","journal-title":"Proc VLDB Endow"},{"key":"120_CR35","doi-asserted-by":"publisher","unstructured":"Ly LT, Knuplesch D, Rinderle-Ma S, G\u00f6ser K, Pfeifer H, Reichert M, Dadam P (2010) Seaflows toolset\u2014compliance verification made easy for process-aware information systems. In: Information systems evolution\u2014CAiSE Forum 2010, Hammamet, Tunisia, June 7\u20139, 2010, Selected Extended Papers, pp 76\u201391. https:\/\/doi.org\/10.1007\/978-3-642-17722-4_6","DOI":"10.1007\/978-3-642-17722-4_6"},{"key":"120_CR36","doi-asserted-by":"crossref","unstructured":"Ly LT, Rinderle-Ma S, Knuplesch D, Dadam P (2011) Monitoring business process compliance using compliance rule graphs. In: On the move to meaningful internet systems: OTM 2011\u2014confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17\u201321, 2011, Proceedings, Part I, pp 82\u201399. https:\/\/doi.org\/10.1007\/978-3-642-25109-2_7","DOI":"10.1007\/978-3-642-25109-2_7"},{"key":"120_CR37","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-40176-3_14","volume-title":"Business process management","author":"A Meyer","year":"2013","unstructured":"Meyer A, Pufahl L, Fahland D, Weske M (2013) Modeling and enacting complex data dependencies in business processes. In: Daniel F, Wang J, Weber B (eds) Business process management. Springer, Berlin, pp 171\u2013186"},{"key":"120_CR38","volume-title":"Communicating and mobile systems: the pi-calculus","author":"R Milner","year":"1999","unstructured":"Milner R (1999) Communicating and mobile systems: the pi-calculus. Cambridge University Press, Cambridge"},{"key":"120_CR39","unstructured":"Object Management Group (OMG) (2014) Business Process Model and Notation (BPMN). OMG Document Number formal\/13-12-09. Version 2.0.2"},{"key":"120_CR40","unstructured":"(2017) Object Management Group (OMG): Case Management Model and Notation (CMMN). OMG Document Number formal\/16-12-01. https:\/\/www.omg.org\/spec\/CMMN\/About-CMMN\/. Version 1.1"},{"issue":"7","key":"120_CR41","doi-asserted-by":"publisher","first-page":"2653","DOI":"10.1007\/s10115-019-01431-5","volume":"62","author":"JM P\u00e9rez-\u00c1lvarez","year":"2020","unstructured":"P\u00e9rez-\u00c1lvarez JM, L\u00f3pez MTG, Eshuis R, Montali M, Gasca RM (2020) Verifying the manipulation of data objects according to business process and data models. Knowl Inf Syst 62(7):2653\u20132683. https:\/\/doi.org\/10.1007\/s10115-019-01431-5","journal-title":"Knowl Inf Syst"},{"key":"120_CR42","doi-asserted-by":"crossref","unstructured":"Pesic M, Schonenberg H, van\u00a0der Aalst W (2007) DECLARE: full support for loosely-structured processes. In: Proceedings of the 11th IEEE international enterprise distributed object computing conference, p 287. IEEE Computer Society, Washington, DC, USA. http:\/\/portal.acm.org\/citation.cfm?id=1317532.1318056","DOI":"10.1109\/EDOC.2007.14"},{"key":"120_CR43","unstructured":"Pommereau F (2009) Algebras of coloured Petri nets and their applications to modelling and verification. Habilitation \u00e0 diriger des recherches, Universit\u00e9 de Paris-Est\/Cr\u00e9teil. https:\/\/hal.archives-ouvertes.fr\/tel-02309973"},{"issue":"12","key":"120_CR44","doi-asserted-by":"publisher","first-page":"1909","DOI":"10.1007\/s00607-019-00717-4","volume":"101","author":"L Pufahl","year":"2019","unstructured":"Pufahl L, Weske M (2019) Batch activity: enhancing business process modeling and enactment with batch processing. Computing 101(12):1909\u20131933","journal-title":"Computing"},{"key":"120_CR45","doi-asserted-by":"crossref","unstructured":"Reisig W (2011) Petri Nets. Springer, Berlin. https:\/\/www.ebook.de\/de\/product\/19303359\/wolfgang_reisig_petri_nets.html","DOI":"10.1007\/978-1-84996-474-6_3"},{"key":"120_CR46","doi-asserted-by":"crossref","unstructured":"Sackmann S, Kuehnel S, Seyffarth T (2018) Using business process compliance approaches for compliance management with regard to digitization: evidence from a systematic literature review. In: International conference on business process management. Springer, pp 409\u2013425","DOI":"10.1007\/978-3-319-98648-7_24"},{"key":"120_CR47","doi-asserted-by":"publisher","unstructured":"Santoro FM, Slaats T, Hildebrandt TT, Bai\u00e3o FA (2019) Dcr-kipn a hybrid modeling approach for knowledge-intensive processes. In: Conceptual modeling\u201438th international conference, ER 2019, Salvador, Brazil, November 4\u20137, 2019, Proceedings, pp 153\u2013161. https:\/\/doi.org\/10.1007\/978-3-030-33223-5_13","DOI":"10.1007\/978-3-030-33223-5_13"},{"key":"120_CR48","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-44988-4_27","volume-title":"Application and theory of Petri Nets 2000","author":"K Schmidt","year":"2000","unstructured":"Schmidt K (2000) Lola a low level analyser. In: Nielsen M, Simpson D (eds) Application and theory of Petri Nets 2000. Springer, Berlin, pp 465\u2013474"},{"key":"120_CR49","doi-asserted-by":"publisher","unstructured":"Semmelrodt F, Knuplesch D, Reichert M (2014) Modeling the resource perspective of business process compliance rules with the extended compliance rule graph. In: Enterprise, business-process and information systems modeling\u201415th international conference, BPMDS 2014, 19th international conference, EMMSAD 2014, Held at CAiSE 2014, Thessaloniki, Greece, June 16\u201317, 2014. Proceedings, pp 48\u201363. https:\/\/doi.org\/10.1007\/978-3-662-43745-2_4","DOI":"10.1007\/978-3-662-43745-2_4"},{"key":"120_CR50","doi-asserted-by":"crossref","unstructured":"Slaats T, Mukkamala RR, Hildebrandt T, Marquard M (2013) Exformatics declarative case management workflows as DCR graphs. In: Business process management. Springer, pp 339\u2013354","DOI":"10.1007\/978-3-642-40176-3_28"},{"key":"120_CR51","doi-asserted-by":"publisher","unstructured":"Solomakhin D, Montali M, Tessaris S, De Masellis R (2013) Verification of artifact-centric systems: decidability and modeling issues. In: Service-oriented computing\u201411th international conference, ICSOC 2013, Berlin, Germany, December 2\u20135, 2013, Proceedings, pp 252\u2013266. https:\/\/doi.org\/10.1007\/978-3-642-45005-1_18","DOI":"10.1007\/978-3-642-45005-1_18"},{"key":"120_CR52","unstructured":"Sporleder T (2016) Fragment-based case management: specification and translational semantics. Master\u2019s thesis, Hasso Plattner Institute, University of Potsdam, Germany"},{"key":"120_CR53","unstructured":"Swenson KD (2012) Case management: contrasting production vs. adaptive. How knowledge workers get things done, pp 109\u2013116"},{"key":"120_CR54","doi-asserted-by":"publisher","unstructured":"Tosatto SC, Governatori G, van Beest N (2019) Checking regulatory compliance: will we live to see it? In: Business process management\u201417th international conference, BPM 2019, Vienna, Austria, September 1\u20136, 2019, Proceedings, pp 119\u2013138. https:\/\/doi.org\/10.1007\/978-3-030-26619-6_10","DOI":"10.1007\/978-3-030-26619-6_10"},{"key":"120_CR55","unstructured":"European\u00a0Commission for Translation, D.G.: Translation tools and workflow"},{"key":"120_CR56","doi-asserted-by":"crossref","unstructured":"Weske M (2019) Business process management\u2014concepts, languages, architectures, 3rd edn. Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-662-59432-2","DOI":"10.1007\/978-3-662-59432-2_1"}],"container-title":["Journal on Data Semantics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13740-021-00120-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13740-021-00120-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13740-021-00120-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T15:00:26Z","timestamp":1697900426000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s13740-021-00120-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,19]]},"references-count":56,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["120"],"URL":"https:\/\/doi.org\/10.1007\/s13740-021-00120-3","relation":{},"ISSN":["1861-2032","1861-2040"],"issn-type":[{"type":"print","value":"1861-2032"},{"type":"electronic","value":"1861-2040"}],"subject":[],"published":{"date-parts":[[2021,2,19]]},"assertion":[{"value":"8 May 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 January 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 January 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 February 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}