{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T07:00:01Z","timestamp":1780729201575,"version":"3.54.1"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032279965","type":"print"},{"value":"9783032279972","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-27997-2_27","type":"book-chapter","created":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T06:11:12Z","timestamp":1780726272000},"page":"247-255","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Engineering Temporal Requirements"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1098-8713","authenticated-orcid":false,"given":"Franziska S.","family":"Hollauf","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,6,7]]},"reference":[{"key":"27_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2018.11.005","volume":"797","author":"M Cairo","year":"2019","unstructured":"Cairo, M., Rizzi, R.: Dynamic controllability of simple temporal networks with uncertainty: simple rules and fast real-time execution. Theoret. Comput. Sci. 797, 2\u201316 (2019). https:\/\/doi.org\/10.1016\/j.tcs.2018.11.005","journal-title":"Theoret. Comput. Sci."},{"key":"27_CR2","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms. The MIT Press, 3rd edn. (2009). https:\/\/mitpress.mit.edu\/9780262533058\/introduction-to-algorithms"},{"key":"27_CR3","doi-asserted-by":"publisher","unstructured":"Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artif. Intell. 49(1\u20133), 61\u201395 (1991). https:\/\/doi.org\/10.1016\/0004-3702(91)90006-6","DOI":"10.1016\/0004-3702(91)90006-6"},{"key":"27_CR4","doi-asserted-by":"publisher","unstructured":"Eder, J., Franceschetti, M., Lubas, J.: Time and processes: towards engineering temporal requirements. In: Fill, H.G., et al. (eds.) Proceedings of the 16th ICSOFT 2021. vol. 1, pp. 9\u201316. SciTePress (2021). https:\/\/doi.org\/10.5220\/0010625400090016","DOI":"10.5220\/0010625400090016"},{"key":"27_CR5","doi-asserted-by":"publisher","unstructured":"Eder, J., Posenato, R., Combi, C., Franceschetti, M., Hollauf, F.S.: Agile controllability of simple temporal networks with uncertainty and oracles. In: Sala, P., et al. (eds.) 31st Int. Symposium on TIME 2024. LIPIcs, vol. 318, pp. 4:1\u20134:16. Leibniz-Zentrum f\u00fcr Informatik, Germany (2024). https:\/\/doi.org\/10.4230\/LIPIcs.TIME.2024.4","DOI":"10.4230\/LIPIcs.TIME.2024.4"},{"issue":"1","key":"27_CR6","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s10115-017-1142-1","volume":"57","author":"M Hashmi","year":"2018","unstructured":"Hashmi, M., Governatori, G., Lam, H.-P., Wynn, M.T.: Are we done with business process compliance: state of the art and challenges ahead. Knowl. Inf. Syst. 57(1), 79\u2013133 (2018). https:\/\/doi.org\/10.1007\/s10115-017-1142-1","journal-title":"Knowl. Inf. Syst."},{"key":"27_CR7","doi-asserted-by":"publisher","unstructured":"Hollauf, F.S., Posenato, R., Combi, C., Eder, J.: Modeling oracles in simple temporal networks with uncertainty. Inf. Comput. 307, 105382 (2025). https:\/\/doi.org\/10.1016\/J.IC.2025.105382","DOI":"10.1016\/J.IC.2025.105382"},{"key":"27_CR8","doi-asserted-by":"publisher","unstructured":"Keet, C.M., Berman, S.: Determining the preferred representation of temporal constraints in conceptual models. In: Mayr, H.C., et al. (eds.) 36th Int. Conf. ER, pp. 437\u2013450. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-319-69904-2_33","DOI":"10.1007\/978-3-319-69904-2_33"},{"key":"27_CR9","doi-asserted-by":"publisher","unstructured":"Lanz, A., Posenato, R., Combi, C., Reichert, M.: Simple temporal networks with partially shrinkable uncertainty. In: Loiseau, S. (ed.) Proceedings of the 6th Int. Conf. ICAART 2015, vol. 2, pp. 370\u2013381. SciTePress (2015). https:\/\/doi.org\/10.5220\/0005200903700381","DOI":"10.5220\/0005200903700381"},{"key":"27_CR10","doi-asserted-by":"publisher","unstructured":"Laplante, P.A., Kassab, M.: Requirements Engineering for Software and Systems (4th ed.). Auerbach Publications (2022). https:\/\/doi.org\/10.1201\/9781003129509","DOI":"10.1201\/9781003129509"},{"key":"27_CR11","doi-asserted-by":"publisher","unstructured":"Lubas, J., Eder, J.: A time-aware model for legal smart contracts. In: van der Aa, H., et al. (eds.) Enterprise, Business-Process and Information Systems Modeling. LNBIP, vol. 479, pp. 121\u2013135. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-34241-7_9","DOI":"10.1007\/978-3-031-34241-7_9"},{"key":"27_CR12","unstructured":"Lubas, J., Franceschetti, M., Eder, J.: Resolving conflicts in process models with temporal constraints. In: Link, S., et al. (eds.) Proceedings of the ER Forum and PhD Symposium 2022. CEUR Workshop Proceedings, vol. 3211 (2022). https:\/\/ceur-ws.org\/Vol-3211\/CR_103.pdf"},{"key":"27_CR13","unstructured":"Morris, P.H., Muscettola, N.: Temporal dynamic controllability revisited. In: 20th National Conf. AAAI 2005, pp. 1193\u20131198 (2005). https:\/\/cdn.aaai.org\/AAAI\/2005\/AAAI05-189.pdf"},{"key":"27_CR14","doi-asserted-by":"publisher","unstructured":"Pichler, H., Wenger, M., Eder, J.: Composing time-aware web service orchestrations. In: van Eck, P., et al. (eds.) CAiSE. LNCS, vol. 5565, pp. 349\u2013363. Springer (2009). https:\/\/doi.org\/10.1007\/978-3-642-02144-2_29","DOI":"10.1007\/978-3-642-02144-2_29"},{"key":"27_CR15","doi-asserted-by":"publisher","unstructured":"Posenato, R., Franceschetti, M., Combi, C., Eder, J.: Introducing agile controllability in temporal business processes. In: van der Aa, H., et al. (eds.) 25th Int. Conf. BPMDS, and 29th Int. Conf. EMMSAD 2024. LNBIP, vol. 511, pp. 87\u201399. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-61007-3_8","DOI":"10.1007\/978-3-031-61007-3_8"},{"key":"27_CR16","doi-asserted-by":"publisher","unstructured":"Wieringa, R.J.: Design Science Methodology for Information Systems and Software Engineering. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-662-43839-8","DOI":"10.1007\/978-3-662-43839-8"}],"container-title":["Lecture Notes in Business Information Processing","Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-27997-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T06:11:14Z","timestamp":1780726274000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-27997-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032279965","9783032279972"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-27997-2_27","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"7 June 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"During the preparation of this work, the author used Grammarly to: grammar and spelling check, paraphrase, and reword. After using this tool, the author reviewed and edited the content as needed and takes full responsibility for the publication\u2019s content.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declaration on Generative AI"}},{"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":"Verona","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 June 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 June 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"38","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/caise26.polimi.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}