{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:11:49Z","timestamp":1743138709884,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030494179"},{"type":"electronic","value":"9783030494186"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-49418-6_8","type":"book-chapter","created":{"date-parts":[[2020,5,28]],"date-time":"2020-05-28T11:04:23Z","timestamp":1590663863000},"page":"117-132","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Scheduling Processes Without Sudden Termination"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6050-468X","authenticated-orcid":false,"given":"Johann","family":"Eder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7030-282X","authenticated-orcid":false,"given":"Marco","family":"Franceschetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2343-9863","authenticated-orcid":false,"given":"Josef","family":"Lubas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,29]]},"reference":[{"issue":"3","key":"8_CR1","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1023\/A:1014048800604","volume":"11","author":"C Bettini","year":"2002","unstructured":"Bettini, C., Wang, X., Jajodia, S.: Temporal reasoning in workflow systems. Distrib. Parallel Databases 11(3), 269\u2013306 (2002)","journal-title":"Distrib. Parallel Databases"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Breu, R., et al.: Towards living inter-organizational processes. In: 15th IEEE Conference on Business Informatics, pp. 363\u2013366. IEEE (2013)","DOI":"10.1109\/CBI.2013.59"},{"key":"8_CR3","unstructured":"Cairo, M., Rizzi, R.: Dynamic controllability made simple. In: 24th International Symposium on Temporal Representation and Reasoning (TIME 2017), vol. 90 of LIPIcs, pp. 8:1\u20138:16 (2017)"},{"issue":"3","key":"8_CR4","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/j.websem.2004.03.001","volume":"1","author":"J Cardoso","year":"2004","unstructured":"Cardoso, J., Sheth, A., Miller, J., Arnold, J., Kochut, K.: Quality of service for workflows and web service processes. J. Web Semant. 1(3), 281\u2013308 (2004)","journal-title":"J. Web Semant."},{"issue":"1","key":"8_CR5","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s11761-014-0170-x","volume":"9","author":"S Cheikhrouhou","year":"2014","unstructured":"Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: The temporal perspective in business process modeling: a survey and research challenges. SOCA 9(1), 75\u201385 (2014). \nhttps:\/\/doi.org\/10.1007\/s11761-014-0170-x","journal-title":"SOCA"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-05148-7_6","volume-title":"On the Move to Meaningful Internet Systems: OTM 2009","author":"C Combi","year":"2009","unstructured":"Combi, C., Gambini, M.: Flaws in the flow: the weakness of unstructured business process modeling languages dealing with data. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009. LNCS, vol. 5870, pp. 42\u201359. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-05148-7_6"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-642-03848-8_6","volume-title":"Business Process Management","author":"C Combi","year":"2009","unstructured":"Combi, C., Posenato, R.: Controllability in temporal conceptual workflow schemata. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 64\u201379. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-03848-8_6"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-39648-2_8","volume-title":"Conceptual Modeling - ER 2003","author":"C Combi","year":"2003","unstructured":"Combi, C., Pozzi, G.: Temporal conceptual modelling of workflows. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 59\u201376. Springer, Heidelberg (2003). \nhttps:\/\/doi.org\/10.1007\/978-3-540-39648-2_8"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Eder, J., Franceschetti, M., K\u00f6pke, J.: Controllability of business processes with temporal variables. In: Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing, pp. 40\u201347. ACM (2019)","DOI":"10.1145\/3297280.3297286"},{"key":"8_CR10","unstructured":"Eder, J., Liebhart, W.: Workflow transactions. In: Workflow Handbook 1997, pp. 195\u2013202. Wiley (1997)"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-36926-1_16","volume-title":"Seminal Contributions to Information Systems Engineering","author":"J Eder","year":"2013","unstructured":"Eder, J., Panagos, E., Rabinovich, M.: Workflow time management revisited. Seminal Contributions to Information Systems Engineering, pp. 207\u2013213. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-36926-1_16"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Franceschetti, M., Eder, J.: Dynamic service binding for time-aware service compositions. In: 2019 IEEE 23rd International Enterprise Distributed Object Computing Workshop (EDOCW), pp. 146\u2013151. IEEE (2019)","DOI":"10.1109\/EDOCW.2019.00034"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Guermouche, N., Godart, C.: Timed model checking based approach for web services analysis. In: ICWS 2009. IEEE International Conference on Web Services, pp. 213\u2013221. IEEE (2009)","DOI":"10.1109\/ICWS.2009.42"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"1","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\u201355 (2018). \nhttps:\/\/doi.org\/10.1007\/s10115-017-1142-1","journal-title":"Knowl. Inf. Syst."},{"key":"8_CR15","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-319-39429-9_11","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"A Lanz","year":"2016","unstructured":"Lanz, A., Posenato, R., Combi, C., Reichert, M.: Controlling time-awareness in modularized processes. In: Schmidt, R., Gu\u00e9dria, W., Bider, I., Guerreiro, S. (eds.) BPMDS\/EMMSAD -2016. LNBIP, vol. 248, pp. 157\u2013172. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-39429-9_11"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.is.2015.10.002","volume":"57","author":"A Lanz","year":"2016","unstructured":"Lanz, A., Reichert, M., Weber, B.: Process time patterns: a formal foundation. Inf. Syst. 57, 38\u201368 (2016)","journal-title":"Inf. Syst."},{"key":"8_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.: Compliance monitoring in business processes: functionalities, application, and tool-support. Inf. Syst. 54, 209\u2013234 (2015)","journal-title":"Inf. Syst."},{"issue":"2","key":"8_CR18","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF03325097","volume":"1","author":"O Marjanovic","year":"1999","unstructured":"Marjanovic, O., Orlowska, M.E.: On modeling and verification of temporal constraints in production workflows. Knowl. Inf. Syst. 1(2), 157\u2013192 (1999). \nhttps:\/\/doi.org\/10.1007\/BF03325097","journal-title":"Knowl. Inf. Syst."},{"key":"8_CR19","unstructured":"Morris, P.H., Muscettola, N.: Temporal dynamic controllability revisited. In: Proceedings of AAAI, pp. 1193\u20131198 (2005)"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-642-02144-2_29","volume-title":"Advanced Information Systems Engineering","author":"H Pichler","year":"2009","unstructured":"Pichler, H., Wenger, M., Eder, J.: Composing time-aware web service orchestrations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 349\u2013363. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-02144-2_29"},{"issue":"2","key":"8_CR21","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1016\/j.is.2010.09.001","volume":"36","author":"WM van der Aalst","year":"2011","unstructured":"van der Aalst, W.M., Schonenberg, M., Song, M.: Time prediction based on process mining. Inf. Syst. 36(2), 450\u2013475 (2011)","journal-title":"Inf. Syst."},{"issue":"1","key":"8_CR22","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1080\/095281399146607","volume":"11","author":"T Vidal","year":"1999","unstructured":"Vidal, T.: Handling contingency in temporal constraint networks: from consistency to controllabilities. J. Exp. Theor. Artif. Intell. 11(1), 23\u201345 (1999)","journal-title":"J. Exp. Theor. Artif. Intell."},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Watahiki, K., Ishikawa, F., Hiraishi, K.: Formal verification of business processes with temporal and resource constraints. In: 2011 IEEE International Conference on Systems, Man, and Cybernetics (SMC), pp. 1173\u20131180. IEEE (2011)","DOI":"10.1109\/ICSMC.2011.6083857"},{"key":"8_CR24","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-030-37453-2_7","volume-title":"Business Process Management Workshops","author":"M Zavatteri","year":"2019","unstructured":"Zavatteri, M., Combi, C., Vigan\u00f2, L.: Resource controllability of workflows under conditional uncertainty. In: Di Francescomarino, C., Dijkman, R., Zdun, U. (eds.) BPM 2019. LNBIP, vol. 362, pp. 68\u201380. Springer, Cham (2019). \nhttps:\/\/doi.org\/10.1007\/978-3-030-37453-2_7"},{"key":"8_CR25","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.tcs.2018.09.023","volume":"797","author":"M Zavatteri","year":"2019","unstructured":"Zavatteri, M., Vigan\u00f2, L.: Conditional simple temporal networks with uncertainty and decisions. Theoret. Comput. Sci. 797, 77\u2013101 (2019)","journal-title":"Theoret. Comput. Sci."}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-49418-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,31]],"date-time":"2020-05-31T23:18:01Z","timestamp":1590967081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-49418-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030494179","9783030494186"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-49418-6_8","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"29 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BPMDS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Business Process Modeling, Development and Support","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Grenoble","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 June 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bpmds2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.bpmds.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3,13","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2,43","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}