{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:08:39Z","timestamp":1777889319377,"version":"3.51.4"},"publisher-location":"Cham","reference-count":66,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031783371","type":"print"},{"value":"9783031783388","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-78338-8_14","type":"book-chapter","created":{"date-parts":[[2025,2,5]],"date-time":"2025-02-05T13:45:41Z","timestamp":1738763141000},"page":"259-278","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Automatic Extraction and\u00a0Formalization of\u00a0Temporal Requirements from\u00a0Text: A Survey"],"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"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-8030-2964","authenticated-orcid":false,"given":"Karolin","family":"Winter","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":[[2025,2,6]]},"reference":[{"key":"14_CR1","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-030-58638-6_4","volume-title":"Business Process Management Forum","author":"H van der Aa","year":"2020","unstructured":"van der Aa, H., Balder, K.J., Maggi, F.M., Nolte, A.: Say It in your own words: defining declarative process models using speech recognition. In: Fahland, D., Ghidini, C., Becker, J., Dumas, M. (eds.) BPM 2020. LNBIP, vol. 392, pp. 51\u201367. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58638-6_4"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-030-21290-2_23","volume-title":"Advanced Information Systems Engineering","author":"H van der Aa","year":"2019","unstructured":"van der Aa, H., Di Ciccio, C., Leopold, H., Reijers, H.A.: Extracting declarative process models from natural language. In: Giorgini, P., Weber, B. (eds.) CAiSE 2019. LNCS, vol. 11483, pp. 365\u2013382. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21290-2_23"},{"key":"14_CR3","unstructured":"Alman, A., Balder, K.J., Maggi, F.M., van\u00a0der Aa, H.: Declo: a chatbot for user-friendly specification of declarative process models (2020). https:\/\/ceur-ws.org\/Vol-2673\/paperDR12.pdf"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-031-34560-9_25","volume-title":"Advanced Information Systems Engineering","author":"M Barrientos","year":"2023","unstructured":"Barrientos, M., Winter, K., Mangler, J., Rinderle-Ma, S.: Verification of quantitative temporal compliance requirements in process descriptions over event logs. In: Indulska, M., Reinhartz-Berger, I., Cetina, C., Pastor, O. (eds.) CAiSE 2023. LNCS, vol. 13901, pp. 417\u2013433. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-34560-9_25"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","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.) EDOC 2022. LNCS, vol. 13585, pp. 182\u2013199. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-17604-3_11"},{"key":"14_CR6","doi-asserted-by":"publisher","unstructured":"Bertram, V., Kausch, H., Kusmenko, E., Nqiri, H., Rumpe, B., Venhoff, C.: Leveraging natural language processing for a consistency checking toolchain of automotive requirements (2023). https:\/\/doi.org\/10.1109\/RE57278.2023.00029","DOI":"10.1109\/RE57278.2023.00029"},{"key":"14_CR7","doi-asserted-by":"publisher","unstructured":"Bombieri, M., Meli, D., Dall\u2019Alba, D., Rospocher, M., Fiorini, P.: Mapping natural language procedures descriptions to linear temporal logic templates: an application in the surgical robotic domain (2023). https:\/\/doi.org\/10.1007\/s10489-023-04882-0","DOI":"10.1007\/s10489-023-04882-0"},{"key":"14_CR8","doi-asserted-by":"publisher","unstructured":"Brunello, A., Montanari, A., Reynolds, M.: Synthesis of LTL formulas from natural language texts: state of the art and research directions (2019). https:\/\/doi.org\/10.4230\/LIPIcs.TIME.2019.17","DOI":"10.4230\/LIPIcs.TIME.2019.17"},{"key":"14_CR9","doi-asserted-by":"publisher","unstructured":"Burattin, A., Maggi, F.M., Sperduti, A.: Conformance checking based on multi-perspective declarative process models (2016). https:\/\/doi.org\/10.1016\/J.ESWA.2016.08.040","DOI":"10.1016\/J.ESWA.2016.08.040"},{"key":"14_CR10","doi-asserted-by":"publisher","unstructured":"Buzhinsky, I.: Formalization of natural language requirements into temporal logics: a survey (2019). https:\/\/doi.org\/10.1109\/INDIN41052.2019.8972130","DOI":"10.1109\/INDIN41052.2019.8972130"},{"key":"14_CR11","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-031-16168-1_8","volume-title":"Business Process Management: Blockchain, Robotic Process Automation, and Central and Eastern Europe Forum","author":"T Chakraborti","year":"2022","unstructured":"Chakraborti, T., Rizk, Y., Isahagian, V., Aksar, B., Fuggitti, F.: From natural language to workflows: towards emergent intelligence in robotic process automation. In: Marrella, A., et al. (eds.) BPM 2022. LNBIP, vol. 459, pp. 123\u2013137. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-16168-1_8"},{"key":"14_CR12","doi-asserted-by":"publisher","unstructured":"Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: The temporal perspective in business process modeling: a survey and research challenges (2015). https:\/\/doi.org\/10.1007\/S11761-014-0170-X","DOI":"10.1007\/S11761-014-0170-X"},{"key":"14_CR13","doi-asserted-by":"publisher","unstructured":"Chen, B., et al.: On the use of GPT-4 for creating goal models: an exploratory study (2023). https:\/\/doi.org\/10.1109\/REW57809.2023.00052","DOI":"10.1109\/REW57809.2023.00052"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Chen, Y., Gandhi, R., Zhang, Y., Fan, C.: NL2TL: transforming natural languages to temporal logics using large language models (2023). https:\/\/aclanthology.org\/2023.emnlp-main.985","DOI":"10.18653\/v1\/2023.emnlp-main.985"},{"key":"14_CR15","doi-asserted-by":"publisher","unstructured":"Chen, Z., et al.: Logic2Text: high-fidelity natural language generation from logical forms (2020). https:\/\/doi.org\/10.18653\/V1\/2020.FINDINGS-EMNLP.190","DOI":"10.18653\/V1\/2020.FINDINGS-EMNLP.190"},{"key":"14_CR16","doi-asserted-by":"publisher","unstructured":"Chen, Z., Li, I., Zhang, H., Preum, S.M., Stankovic, J.A., Ma, M.: CitySpec: an intelligent assistant system for requirement specification in smart cities (2022). https:\/\/doi.org\/10.1109\/SMARTCOMP55677.2022.00020","DOI":"10.1109\/SMARTCOMP55677.2022.00020"},{"key":"14_CR17","unstructured":"Chhabra, A., Sangroya, A., Anantaram, C.: Formalizing and verifying natural language system requirements using petri nets and context based reasoning (2018). https:\/\/ceur-ws.org\/Vol-2134\/paper09.pdf"},{"key":"14_CR18","doi-asserted-by":"publisher","unstructured":"Conrad, E., Titolo, L., Giannakopoulou, D., Pressburger, T., Dutle, A.: A compositional proof framework for FRETish requirements (2022). https:\/\/doi.org\/10.1145\/3497775.3503685","DOI":"10.1145\/3497775.3503685"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-031-37703-7_18","volume-title":"Computer Aided Verification","author":"M Cosler","year":"2023","unstructured":"Cosler, M., Hahn, C., Mendoza, D., Schmitt, F., Trippel, C.: nl2spec: interactively translating unstructured natural language to temporal logics with large language models. In: Enea, C., Lal, A. (eds.) CAV 2023. LNCS, vol. 13965, pp. 383\u2013396. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-37703-7_18"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Costescu, D.M.: Building on a traffic code violating monitor for autonomous vehicles: trio overtaking model (2020)","DOI":"10.1007\/978-3-030-38666-5_44"},{"key":"14_CR21","unstructured":"Donadello, I., Riva, F., Maggi, F.M., Shikhizada, A.: Declare4Py: a python library for declarative process mining (2022). https:\/\/ceur-ws.org\/Vol-3216\/paper_249.pdf"},{"key":"14_CR22","doi-asserted-by":"publisher","unstructured":"Eder, J., Franceschetti, M., Lubas, J.: Time and processes: Towards engineering temporal requirements (2021). https:\/\/doi.org\/10.5220\/0010625400090016","DOI":"10.5220\/0010625400090016"},{"key":"14_CR23","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-030-66498-5_27","volume-title":"Business Process Management Workshops","author":"V Etikala","year":"2020","unstructured":"Etikala, V., Van Veldhoven, Z., Vanthienen, J.: Text2Dec: extracting decision dependencies from natural language text for automated DMN decision modelling. In: Del R\u00edo Ortega, A., Leopold, H., Santoro, F.M. (eds.) BPM 2020. LNBIP, vol. 397, pp. 367\u2013379. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-66498-5_27"},{"key":"14_CR24","doi-asserted-by":"publisher","unstructured":"Fill, H., Fettke, P., K\u00f6pke, J.: Conceptual modeling and large language models: impressions from first experiments with ChatGPT (2023). https:\/\/doi.org\/10.18417\/emisa.18.3","DOI":"10.18417\/emisa.18.3"},{"key":"14_CR25","unstructured":"Fontenla-Seco, Y., Winkler, S., Gianola, A., Montali, M., Pen\u00edn, M.L., Diz, A.J.B.: The droid you\u2019re looking for: C-4pm, a conversational agent for declarative process mining (2023). https:\/\/ceur-ws.org\/Vol-3469\/paper-20.pdf"},{"key":"14_CR26","doi-asserted-by":"publisher","unstructured":"Fuggitti, F., Chakraborti, T.: NL2LTL - a python package for converting natural language (NL) instructions to linear temporal logic (LTL) formulas (2023). https:\/\/doi.org\/10.1609\/aaai.v37i13.27068","DOI":"10.1609\/aaai.v37i13.27068"},{"key":"14_CR27","doi-asserted-by":"publisher","unstructured":"Gavran, I., Darulova, E., Majumdar, R.: Interactive synthesis of temporal specifications from examples and natural language (2020). https:\/\/doi.org\/10.1145\/3428269","DOI":"10.1145\/3428269"},{"key":"14_CR28","doi-asserted-by":"publisher","unstructured":"Ge, N., Yang, J., Yu, T., Liu, W.: AutoMTLSpec: learning to Generate MTL Specifications from Natural Language Contracts (2023). https:\/\/doi.org\/10.1109\/ICECCS59891.2023.00018","DOI":"10.1109\/ICECCS59891.2023.00018"},{"key":"14_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-319-92970-5_4","volume-title":"Software Engineering and Formal Methods","author":"FR Golra","year":"2018","unstructured":"Golra, F.R., Dagnat, F., Souqui\u00e8res, J., Sayar, I., Guerin, S.: Bridging the gap between informal requirements and formal specifications using model federation. In: Johnsen, E.B., Schaefer, I. (eds.) SEFM 2018. LNCS, vol. 10886, pp. 54\u201369. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-92970-5_4"},{"key":"14_CR30","doi-asserted-by":"publisher","unstructured":"Hahn, C., Schmitt, F., Tillman, J.J., Metzger, N., Siber, J., Finkbeiner, B.: Formal specifications from natural language (2022). https:\/\/doi.org\/10.48550\/ARXIV.2206.01962","DOI":"10.48550\/ARXIV.2206.01962"},{"key":"14_CR31","doi-asserted-by":"publisher","unstructured":"He, J., Bartocci, E., Nickovic, D., Isakovic, H., Grosu, R.: DeepSTL - from English requirements to signal temporal logic (2022). https:\/\/doi.org\/10.1145\/3510003.3510171","DOI":"10.1145\/3510003.3510171"},{"key":"14_CR32","doi-asserted-by":"crossref","unstructured":"Ivanov, V., Sadovykh, A., Naumchev, A., Bagnato, A., Yakovlev, K.: Extracting software requirements from unstructured documents (2022). https:\/\/arxiv.org\/abs\/2202.02135","DOI":"10.1007\/978-3-031-15168-2_2"},{"key":"14_CR33","unstructured":"Kitchenham, B.: Procedures for performing systematic reviews (2004)"},{"key":"14_CR34","doi-asserted-by":"publisher","unstructured":"Krasowski, H., Althoff, M.: Temporal logic formalization of marine traffic rules (2021). https:\/\/doi.org\/10.1109\/IV48863.2021.9575685","DOI":"10.1109\/IV48863.2021.9575685"},{"key":"14_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-031-29476-1_7","volume-title":"Structured Object-Oriented Formal Language and Method SOFL+MSVL 2022","author":"C Li","year":"2022","unstructured":"Li, C., Chang, J., Wang, X., Zhao, L., Mao, W.: Formalization of natural language into PPTL specification via neural machine translation. In: Liu, S., Duan, Z., Liu, A. (eds.) SOFL+MSVL 2022. LNCS, vol. 13854, pp. 79\u201392. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-29476-1_7"},{"key":"14_CR36","doi-asserted-by":"publisher","unstructured":"Lin, J., et al.: Road traffic law adaptive decision-making for self-driving vehicles (2022). https:\/\/doi.org\/10.1109\/ITSC55140.2022.9922208","DOI":"10.1109\/ITSC55140.2022.9922208"},{"key":"14_CR37","unstructured":"Liu, J.X., Yang, Z., Idrees, I., Liang, S., Schornstein, B., Tellex, S., Shah, A.: Grounding complex natural language commands for temporal tasks in unseen environments (2023)"},{"key":"14_CR38","doi-asserted-by":"publisher","unstructured":"L\u00f3pez, H.A., Marquard, M., Muttenthaler, L., Str\u00f8msted, R.: Assisted declarative process creation from natural language descriptions (2019). https:\/\/doi.org\/10.1109\/EDOCW.2019.00027","DOI":"10.1109\/EDOCW.2019.00027"},{"key":"14_CR39","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-030-79108-7_13","volume-title":"Intelligent Information Systems","author":"HA L\u00f3pez","year":"2021","unstructured":"L\u00f3pez, H.A., Str\u00f8msted, R., Niyodusenga, J.-M., Marquard, M.: Declarative process discovery: linking process and textual views. In: Nurcan, S., Korthaus, A. (eds.) CAiSE 2021. LNBIP, vol. 424, pp. 109\u2013117. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-79108-7_13"},{"key":"14_CR40","doi-asserted-by":"publisher","unstructured":"Maierhofer, S., Rettinger, A., Mayer, E.C., Althoff, M.: Formalization of interstate traffic rules in temporal logic (2020). https:\/\/doi.org\/10.1109\/IV47402.2020.9304549","DOI":"10.1109\/IV47402.2020.9304549"},{"key":"14_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-031-45072-3_13","volume-title":"Rules and Reasoning","author":"K Manas","year":"2023","unstructured":"Manas, K., Paschke, A.: Semantic role assisted natural language rule formalization for intelligent vehicle. In: Fensel, A., Ozaki, A., Roman, D., Soylu, A. (eds.) RuleML+RR 2023. LNCS, vol. 14244, pp. 175\u2013189. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-45072-3_13"},{"key":"14_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-031-41620-0_15","volume-title":"Business Process Management","author":"H Mustroph","year":"2023","unstructured":"Mustroph, H., Barrientos, M., Winter, K., Rinderle-Ma, S.: Verifying resource compliance requirements from natural language text over event logs. In: Di Francescomarino, C., Burattin, A., Janiesch, C., Sadiq, S. (eds.) BPM 2023. LNCS, vol. 14159, pp. 249\u2013265. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-41620-0_15"},{"key":"14_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-030-98464-9_8","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"A Nayak","year":"2022","unstructured":"Nayak, A., Timmapathini, H., Murali, V., Ponnalagu, K., Venkoparao, V.G., Post, A.: Req2spec: Transforming software requirements into formal specifications using natural language processing. In: Gervasi, V., Vogelsang, A. (eds.) REFSQ 2022. LNCS, vol. 13216, pp. 87\u201395. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-98464-9_8"},{"key":"14_CR44","doi-asserted-by":"publisher","unstructured":"Neuberger, J., Ackermann, L., Jablonski, S.: Beyond rule-based named entity recognition and relation extraction for process model generation from natural language text (2023). https:\/\/doi.org\/10.48550\/arXiv.2305.03960","DOI":"10.48550\/arXiv.2305.03960"},{"key":"14_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-031-15565-9_12","volume-title":"Explainable and Transparent AI and Multi-Agent Systems","author":"T Novotn\u00e1","year":"2022","unstructured":"Novotn\u00e1, T., Libal, T.: An evaluation of methodologies for legal formalization. In: Calvaresi, D., Najjar, A., Winikoff, M., Fr\u00e4mling, K. (eds.) EXTRAAMAS 2022. LNCS, vol. 13283, pp. 189\u2013203. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-15565-9_12"},{"key":"14_CR46","doi-asserted-by":"publisher","unstructured":"Ocampo-Pineda, M., Posenato, R., Zerbato, F.: TimeAwareBPMN-js: an editor and temporal verification tool for time-aware BPMN processes (2022). https:\/\/doi.org\/10.1016\/J.SOFTX.2021.100939","DOI":"10.1016\/J.SOFTX.2021.100939"},{"key":"14_CR47","doi-asserted-by":"publisher","unstructured":"Osama, M., Zaki-Ismail, A., Abdelrazek, M.A., Grundy, J., Ibrahim, A.S.: A comprehensive requirement capturing model enabling the automated formalisation of NL requirements (2023). https:\/\/doi.org\/10.1007\/s42979-022-01449-7","DOI":"10.1007\/s42979-022-01449-7"},{"key":"14_CR48","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10161125","author":"J Pan","year":"2023","unstructured":"Pan, J., Chou, G., Berenson, D.: Data-efficient learning of natural language to linear temporal logic translators for robot task specification (2023). https:\/\/doi.org\/10.1109\/ICRA48891.2023.10161125","journal-title":"Data-efficient learning of natural language to linear temporal logic translators for robot task specification"},{"key":"14_CR49","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-030-29563-9_8","volume-title":"Knowledge Science, Engineering and Management","author":"X Pi","year":"2019","unstructured":"Pi, X., Shi, J., Huang, Y., Wei, H.: Automated mining and checking of formal properties in natural language requirements. In: Douligeris, C., Karagiannis, D., Apostolou, D. (eds.) KSEM 2019. LNCS (LNAI), vol. 11776, pp. 75\u201387. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-29563-9_8"},{"key":"14_CR50","doi-asserted-by":"publisher","unstructured":"Quartey, B., Rosen, E., Tellex, S., Konidaris, G.: Verifiably following complex robot instructions with foundation models (2024). https:\/\/doi.org\/10.48550\/ARXIV.2402.11498","DOI":"10.48550\/ARXIV.2402.11498"},{"key":"14_CR51","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":"14_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-030-26619-6_8","volume-title":"Business Process Management","author":"J S\u00e0nchez-Ferreres","year":"2019","unstructured":"S\u00e0nchez-Ferreres, J., Burattin, A., Carmona, J., Montali, M., Padr\u00f3, L.: Formal reasoning on natural language descriptions of processes. In: Hildebrandt, T., van Dongen, B.F., R\u00f6glinger, M., Mendling, J. (eds.) BPM 2019. LNCS, vol. 11675, pp. 86\u2013101. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-26619-6_8"},{"key":"14_CR53","doi-asserted-by":"publisher","unstructured":"S\u00e0nchez-Ferreres, J., Burattin, A., Carmona, J., Montali, M., Padr\u00f3, L., Quishpi, L.: Unleashing textual descriptions of business processes (2021). https:\/\/doi.org\/10.1007\/s10270-021-00886-x","DOI":"10.1007\/s10270-021-00886-x"},{"key":"14_CR54","unstructured":"Sharma, S., Brian\u00a0Lee, K.M., Brown, M., Best, G.: Instructing robots with natural language via bi-RNNs for temporal logic translation (2023). https:\/\/www.scopus.com\/inward\/record.uri?eid=2-s2.0-85184383465&partnerID=40 &md5=9a09f07a3d2022b763a0a17f7d14289d"},{"key":"14_CR55","doi-asserted-by":"publisher","unstructured":"Sonbol, R., Rebdawi, G., Ghneim, N.: The use of NLP-based text representation techniques to support requirement engineering tasks: a systematic mapping review (2022). https:\/\/doi.org\/10.1109\/ACCESS.2022.3182372","DOI":"10.1109\/ACCESS.2022.3182372"},{"key":"14_CR56","doi-asserted-by":"publisher","unstructured":"Sudhi, V., Kutty, L., Gr\u00f6pler, R.: Natural language processing for requirements formalization: how to derive new approaches? (2023). https:\/\/doi.org\/10.48550\/arXiv.2309.13272","DOI":"10.48550\/arXiv.2309.13272"},{"key":"14_CR57","unstructured":"Wang, C., Ross, C., Kuo, Y.L., Katz, B., Barbu, A.: Learning a natural-language to LTL executable semantic parser for grounded robotics (2020). https:\/\/www.scopus.com\/inward\/record.uri?eid=2-s2.0-85168241969&partnerID=40 &md5=6c3e5cd9fe6da29032fae93808c78a09"},{"key":"14_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-030-77474-5_11","volume-title":"Structured Object-Oriented Formal Language and Method","author":"X Wang","year":"2021","unstructured":"Wang, X., Li, G., Li, C., Zhao, L., Shu, X.: Automatic generation of specification from natural language based on temporal logic. In: Xue, J., Nagoya, F., Liu, S., Duan, Z. (eds.) SOFL+MSVL 2020. LNCS, vol. 12723, pp. 154\u2013171. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-77474-5_11"},{"key":"14_CR59","doi-asserted-by":"publisher","unstructured":"White, J., et al.: A prompt pattern catalog to enhance prompt engineering with chatGPT (2023). https:\/\/doi.org\/10.48550\/ARXIV.2302.11382","DOI":"10.48550\/ARXIV.2302.11382"},{"key":"14_CR60","doi-asserted-by":"publisher","unstructured":"Wu, X., Cai, Y., Lian, Z., Leung, H., Wang, T.: Generating natural language from logic expressions with structural representation (2023). https:\/\/doi.org\/10.1109\/TASLP.2023.3263784","DOI":"10.1109\/TASLP.2023.3263784"},{"key":"14_CR61","doi-asserted-by":"publisher","unstructured":"Yu, W., Zhao, C., Wang, H., Liu, J., Ma, X., Yang, Y., Li, J., Wang, W., Hu, X., Zhao, D.: Online Legal Driving Behavior Monitoring for Self-driving Vehicles (2024). https:\/\/doi.org\/10.6084\/m9.figshare.24372535.v1","DOI":"10.6084\/m9.figshare.24372535.v1"},{"key":"14_CR62","doi-asserted-by":"publisher","unstructured":"Zaki-Ismail, A., Osama, M., Abdelrazek, M., Grundy, J., Ibrahim, A.S.: RCM: requirement capturing model for automated requirements formalisation (2021). https:\/\/doi.org\/10.5220\/0010270401100121","DOI":"10.5220\/0010270401100121"},{"key":"14_CR63","doi-asserted-by":"publisher","unstructured":"Zaki-Ismail, A., Osama, M., Abdelrazek, M., Grundy, J.C., Ibrahim, A.S.: ARF: automatic requirements formalisation tool (2021). https:\/\/doi.org\/10.1109\/RE51729.2021.00060","DOI":"10.1109\/RE51729.2021.00060"},{"key":"14_CR64","doi-asserted-by":"publisher","unstructured":"Zaki-Ismail, A., Osama, M., Abdelrazek, M.A., Grundy, J.C., Ibrahim, A.S.: RCM-extractor: an automated NLP-based approach for extracting a semi formal representation model from natural language requirements (2022). https:\/\/doi.org\/10.1007\/s10515-021-00312-y","DOI":"10.1007\/s10515-021-00312-y"},{"key":"14_CR65","doi-asserted-by":"crossref","unstructured":"Zhang, S., Zhai, J., Bu, L., Chen, M., Wang, L., Li, X.: Automated generation of LTL specifications for smart home IoT using natural language (2020)","DOI":"10.23919\/DATE48585.2020.9116374"},{"key":"14_CR66","doi-asserted-by":"publisher","unstructured":"Zhao, L., et al.: Natural language processing for requirements engineering: a systematic mapping study (2022). https:\/\/doi.org\/10.1145\/3444689","DOI":"10.1145\/3444689"}],"container-title":["Lecture Notes in Computer Science","Enterprise Design, Operations, and Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-78338-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,5]],"date-time":"2025-02-05T13:45:53Z","timestamp":1738763153000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-78338-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031783371","9783031783388"],"references-count":66,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-78338-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"6 February 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EDOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Enterprise Design, Operations, and Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vienna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","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":"11 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"edoc2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conferences.big.tuwien.ac.at\/biweek2024\/edoc.php","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}