{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:08:14Z","timestamp":1777889294598,"version":"3.51.4"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031345593","type":"print"},{"value":"9783031345609","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-34560-9_25","type":"book-chapter","created":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T01:05:06Z","timestamp":1686099906000},"page":"417-433","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Verification of\u00a0Quantitative Temporal Compliance Requirements in\u00a0Process Descriptions Over\u00a0Event Logs"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2500-7431","authenticated-orcid":false,"given":"Marisol","family":"Barrientos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karolin","family":"Winter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juergen","family":"Mangler","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"}]}],"member":"297","published-online":{"date-parts":[[2023,6,8]]},"reference":[{"key":"25_CR1","unstructured":"Time Ontology in OWL (2006). https:\/\/www.bibsonomy.org\/bibtex\/21e7da807dca7f94e75ddcd28567da745\/zazi"},{"key":"25_CR2","doi-asserted-by":"publisher","unstructured":"IEEE standard for extensible event stream (XES) for achieving interoperability in event logs and event streams. IEEE Std 1849, 1\u201350 (2016). https:\/\/doi.org\/10.1109\/IEEESTD.2016.7740858","DOI":"10.1109\/IEEESTD.2016.7740858"},{"key":"25_CR3","doi-asserted-by":"publisher","unstructured":"van der Aa, H., Ciccio, C.D., Leopold, H., Reijers, H.A.: Extracting declarative process models from natural language. In: Advanced Information Systems Engineering, pp. 365\u2013382 (2019). https:\/\/doi.org\/10.1007\/978-3-030-21290-2_23","DOI":"10.1007\/978-3-030-21290-2_23"},{"key":"25_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/11575771_11","volume-title":"On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE","author":"WMP van der Aalst","year":"2005","unstructured":"van der Aalst, W.M.P., de Beer, H.T., van Dongen, B.F.: Process mining and verification of properties: an approach based on temporal logic. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol. 3760, pp. 130\u2013147. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11575771_11"},{"key":"25_CR5","doi-asserted-by":"publisher","unstructured":"Achich, N., Ghorbel, F., Hamdi, F., M\u00e9tais, E., Gargouri, F.: Approach to reasoning about uncertain temporal data in OWL 2. In: Knowledge-Based and Intelligent Information & Engineering Systems, pp. 1141\u20131150 (2020). https:\/\/doi.org\/10.1016\/j.procs.2020.09.110","DOI":"10.1016\/j.procs.2020.09.110"},{"key":"25_CR6","doi-asserted-by":"publisher","DOI":"10.1016\/j.jbi.2020.103488","volume":"108","author":"G Alfattni","year":"2020","unstructured":"Alfattni, G., Peek, N., Nenadic, G.: Extraction of temporal relations from clinical free text: a systematic review of current approaches. J. Biomed. Inf. 108, 103488 (2020). https:\/\/doi.org\/10.1016\/j.jbi.2020.103488","journal-title":"J. Biomed. Inf."},{"issue":"11","key":"25_CR7","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983). https:\/\/doi.org\/10.1145\/182.358434","journal-title":"Commun. ACM"},{"key":"25_CR8","doi-asserted-by":"publisher","unstructured":"Aumiller, D., Almasian, S., Pohl, D., Gertz, M.: Online dateing: a web interface for temporal annotations. In: Research and Development in Information Retrieval, pp. 3289\u20133294 (2022). https:\/\/doi.org\/10.1145\/3477495.3531670","DOI":"10.1145\/3477495.3531670"},{"key":"25_CR9","unstructured":"Beerepoot, I., Ciccio, C.D., Reijers, H.A., Rinderle-Ma, S.: The biggest business process management problems of our time. In: Proceedings of the International Workshop on BPM Problems to Solve Before We Die (PROBLEMS 2021). CEUR Workshop Proceedings, vol.\u00a02938, pp.\u00a01\u20135. CEUR-WS.org (2021). http:\/\/ceur-ws.org\/Vol-2938\/paper-PROBLEMS-01.pdf"},{"key":"25_CR10","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-031-17604-3_11","volume-title":"Enterprise Design, Operations, and Computing","author":"P Bellan","year":"2022","unstructured":"Bellan, P., Dragoni, M., Ghidini, C.: Extracting business process entities and relations from text using pre-trained language models and in-context learning. In: Almeida, J.P.A., Karastoyanova, D., Guizzardi, G., Montali, M., Maggi, F.M., Fonseca, C.M. (eds.) Enterprise Design, Operations, and Computing, vol. 13585, pp. 182\u2013199. Springer, Cham (2022)"},{"key":"25_CR11","unstructured":"Chang, A.X., Manning, C.D.: Sutime: A library for recognizing and normalizing time expressions. In: Conference on Language Resources and Evaluation, pp. 3735\u20133740 (2012)"},{"key":"25_CR12","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.is.2019.04.010","volume":"84","author":"C Combi","year":"2019","unstructured":"Combi, C., Oliboni, B., Zerbato, F.: A modular approach to the specification and management of time duration constraints in BPMN. Inf. Syst. 84, 111\u2013144 (2019). https:\/\/doi.org\/10.1016\/j.is.2019.04.010","journal-title":"Inf. Syst."},{"key":"25_CR13","unstructured":"Drakengren, T., Jonsson, P.: Maximal tractable subclasses of Allen\u2019s interval algebra: preliminary report. In: Artificial Intelligence, pp. 389\u2013394 (1996)"},{"key":"25_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33143-5","volume-title":"Fundamentals of Business Process Management","author":"M Dumas","year":"2013","unstructured":"Dumas, M., Rosa, M.L., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer, Cham (2013). https:\/\/doi.org\/10.1007\/978-3-642-33143-5"},{"key":"25_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1007\/978-3-642-21640-4_36","volume-title":"Advanced Information Systems Engineering","author":"F Friedrich","year":"2011","unstructured":"Friedrich, F., Mendling, J., Puhlmann, F.: Process model generation from natural language text. In: Mouratidis, H., Rolland, C. (eds.) CAiSE 2011. LNCS, vol. 6741, pp. 482\u2013496. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21640-4_36"},{"issue":"2","key":"25_CR16","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s00766-012-0162-3","volume":"19","author":"A Lanz","year":"2012","unstructured":"Lanz, A., Weber, B., Reichert, M.: Time patterns for process-aware information systems. Requirements Eng. 19(2), 113\u2013141 (2012). https:\/\/doi.org\/10.1007\/s00766-012-0162-3","journal-title":"Requirements Eng."},{"key":"25_CR17","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). https:\/\/doi.org\/10.1016\/j.is.2015.02.007","journal-title":"Inf. Syst."},{"key":"25_CR18","doi-asserted-by":"publisher","unstructured":"Mangler, J., Rinderle-Ma, S.: Cloud process execution engine: Architecture and interfaces (2022). https:\/\/doi.org\/10.48550\/ARXIV.2208.12214","DOI":"10.48550\/ARXIV.2208.12214"},{"key":"25_CR19","unstructured":"Mangler, J., Stuermer, G., Schikuta, E.: Cloud process execution engine-evaluation of the core concepts. arXiv preprint arXiv:1003.3330 (2010)"},{"issue":"1\u20132","key":"25_CR20","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0004-3702(95)00109-3","volume":"87","author":"I Meiri","year":"1996","unstructured":"Meiri, I.: Combining qualitative and quantitative constraints in temporal reasoning. Artif. Intell. 87(1\u20132), 343\u2013385 (1996). https:\/\/doi.org\/10.1016\/0004-3702(95)00109-3","journal-title":"Artif. Intell."},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"Pustejovsky, J., et al.: The specification language TimeML. In: The Language of Time - A Reader, pp. 545\u2013558 (2005)","DOI":"10.1093\/oso\/9780199268535.003.0031"},{"key":"25_CR22","unstructured":"Pustejovsky, J., Lee, K., Bunt, H., Romary, L.: ISO-TimeML: an international standard for semantic annotation. In: Language Resources and Evaluation (2010)"},{"key":"25_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-030-85469-0_8","volume-title":"Business Process Management","author":"L Quishpi","year":"2021","unstructured":"Quishpi, L., Carmona, J., Padr\u00f3, L.: Extracting decision models from textual descriptions of processes. In: Polyvyanyy, A., Wynn, M.T., Van Looy, A., Reichert, M. (eds.) BPM 2021. LNCS, vol. 12875, pp. 85\u2013102. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-85469-0_8"},{"key":"25_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-319-68136-8_22","volume-title":"Service-Oriented Computing \u2013 ICSOC 2016 Workshops","author":"F Stertz","year":"2017","unstructured":"Stertz, F., Rinderle-Ma, S., Hildebrandt, T., Mangler, J.: Testing processes with service invocation: advanced logging in CPEE. In: Drira, K., et al. (eds.) ICSOC 2016. LNCS, vol. 10380, pp. 189\u2013193. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68136-8_22"},{"key":"25_CR25","unstructured":"Str\u00f6tgen, J., Gertz, M.: Heideltime: high quality rule-based extraction and normalization of temporal expressions. In: Workshop on Semantic Evaluation, pp. 321\u2013324 (2010)"},{"key":"25_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-642-38709-8_20","volume-title":"Advanced Information Systems Engineering","author":"E Ramezani Taghiabadi","year":"2013","unstructured":"Ramezani Taghiabadi, E., Fahland, D., van Dongen, B.F., van der Aalst, W.M.P.: Diagnostic information for compliance checking of temporal compliance requirements. In: Salinesi, C., Norrie, M.C., Pastor, \u00d3. (eds.) CAiSE 2013. LNCS, vol. 7908, pp. 304\u2013320. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38709-8_20"},{"issue":"4","key":"25_CR27","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s12599-019-00594-3","volume":"62","author":"T Voglhofer","year":"2019","unstructured":"Voglhofer, T., Rinderle-Ma, S.: Collection and elicitation of business process compliance patterns with focus on data aspects. Bus. Inf. Syst. Eng. 62(4), 361\u2013377 (2019). https:\/\/doi.org\/10.1007\/s12599-019-00594-3","journal-title":"Bus. Inf. Syst. Eng."},{"key":"25_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-030-62522-1_14","volume-title":"Conceptual Modeling","author":"K Winter","year":"2020","unstructured":"Winter, K., van der Aa, H., Rinderle-Ma, S., Weidlich, M.: Assessing the compliance of business process models with regulatory documents. In: Dobbie, G., Frank, U., Kappel, G., Liddle, S.W., Mayr, H.C. (eds.) ER 2020. LNCS, vol. 12400, pp. 189\u2013203. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-62522-1_14"},{"key":"25_CR29","unstructured":"Zhang, T., Kishore, V., Wu, F., Weinberger, K.Q., Artzi, Y.: Bertscore: evaluating text generation with BERT. In: Learning Representations (2020)"}],"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-34560-9_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,5]],"date-time":"2025-09-05T18:10:35Z","timestamp":1757095835000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-34560-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031345593","9783031345609"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-34560-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"8 June 2023","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":"Zaragoza","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 June 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 June 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"35","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}