{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:13:53Z","timestamp":1760202833726,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030374525"},{"type":"electronic","value":"9783030374532"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-37453-2_7","type":"book-chapter","created":{"date-parts":[[2020,1,2]],"date-time":"2020-01-02T23:03:04Z","timestamp":1578006184000},"page":"68-80","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Resource Controllability of Workflows Under Conditional Uncertainty"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Zavatteri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Combi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Vigan\u00f2","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,1,3]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.is.2015.03.002","volume":"52","author":"C Cabanillas","year":"2015","unstructured":"Cabanillas, C., Resinas, M., del-R\u00edo-Ortega, A., Cort\u00e9s, A.R.: Specification and automated design-time analysis of the business process human resource perspective. Inf. Syst. 52, 55\u201382 (2015). https:\/\/doi.org\/10.1016\/j.is.2015.03.002","journal-title":"Inf. Syst."},{"key":"7_CR2","doi-asserted-by":"publisher","unstructured":"Cairo, M., et al.: Incorporating decision nodes into conditional simple temporal networks. In: TIME 2017. vol. 90, pp. 9:1\u20139:17. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2017). https:\/\/doi.org\/10.4230\/LIPIcs.TIME.2017.9","DOI":"10.4230\/LIPIcs.TIME.2017.9"},{"issue":"9","key":"7_CR3","doi-asserted-by":"publisher","first-page":"1182","DOI":"10.1109\/TSMC.2014.2300055","volume":"44","author":"C Combi","year":"2014","unstructured":"Combi, C., Gambini, M., Migliorini, S., Posenato, R.: Representing business processes through a temporal data-centric workflow modeling language: an application to the management of clinical pathways. IEEE Trans. Syst. Man Cybern. Syst. 44(9), 1182\u20131203 (2014). https:\/\/doi.org\/10.1109\/TSMC.2014.2300055","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"7_CR4","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). https:\/\/doi.org\/10.1007\/978-3-642-03848-8_6"},{"key":"7_CR5","doi-asserted-by":"publisher","unstructured":"Combi, C., Posenato, R., Vigan\u00f2, L., Zavatteri, M.: Access controlled temporal networks. In: ICAART 2017. ScitePress (2017). https:\/\/doi.org\/10.5220\/0006185701180131","DOI":"10.5220\/0006185701180131"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"931","DOI":"10.1613\/jair.1.11453","volume":"64","author":"C Combi","year":"2019","unstructured":"Combi, C., Posenato, R., Vigan\u00f2, L., Zavatteri, M.: Conditional simple temporal networks with uncertainty and resources. J. Artif. Intell. Res. 64, 931\u2013985 (2019). https:\/\/doi.org\/10.1613\/jair.1.11453","journal-title":"J. Artif. Intell. Res."},{"key":"7_CR7","doi-asserted-by":"publisher","unstructured":"Combi, C., Vigan\u00f2, L., Zavatteri, M.: Security constraints in temporal role-based access-controlled workflows. In: CODASPY 2016. ACM (2016). https:\/\/doi.org\/10.1145\/2857705.2857716","DOI":"10.1145\/2857705.2857716"},{"key":"7_CR8","volume-title":"Constraint Processing","author":"R Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Elsevier, Amsterdam (2003)"},{"issue":"1","key":"7_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(87)90002-6","volume":"34","author":"R Dechter","year":"1987","unstructured":"Dechter, R., Pearl, J.: Network-based heuristics for constraint-satisfaction problems. Artif. Int. 34(1), 1\u201338 (1987)","journal-title":"Artif. Int."},{"key":"7_CR10","doi-asserted-by":"publisher","unstructured":"Eder, J., Franceschetti, M., K\u00f6pke, J.: Controllability of orchestrations with temporal SLA: encoding temporal XOR in CSTNUD. In: IIWAS 2018, pp. 234\u2013242. ACM (2018). https:\/\/doi.org\/10.1145\/3282373.3282398","DOI":"10.1145\/3282373.3282398"},{"key":"7_CR11","first-page":"494","volume":"2001","author":"PH Morris","year":"2001","unstructured":"Morris, P.H., Muscettola, N., Vidal, T.: Dynamic control of plans with temporal uncertainty. IJCAI 2001, 494\u2013502 (2001)","journal-title":"IJCAI"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-319-98648-7_7","volume-title":"Business Process Management","author":"R Posenato","year":"2018","unstructured":"Posenato, R., Zerbato, F., Combi, C.: Managing decision tasks and events in time-aware business process models. In: Weske, M., Montali, M., Weber, I., vom Brocke, J. (eds.) BPM 2018. LNCS, vol. 11080, pp. 102\u2013118. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98648-7_7"},{"issue":"2","key":"7_CR13","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"RS Sandhu","year":"1996","unstructured":"Sandhu, R.S., Coyne, E.J., Feinstein, H.L., Youman, C.E.: Role-based access control models. Computer 29(2), 38\u201347 (1996). https:\/\/doi.org\/10.1109\/2.485845","journal-title":"Computer"},{"issue":"4","key":"7_CR14","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1880022.1880034","volume":"13","author":"Q Wang","year":"2010","unstructured":"Wang, Q., Li, N.: Satisfiability and resiliency in workflow authorization systems. ACM Trans. Inf. Syst. Secur. 13(4), 40 (2010)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"7_CR15","doi-asserted-by":"publisher","unstructured":"Zavatteri, M.: Conditional simple temporal networks with uncertainty and decisions. In: TIME 2017. vol. 90, pp. 23:1\u201323:17. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2017). https:\/\/doi.org\/10.4230\/LIPIcs.TIME.2017.23","DOI":"10.4230\/LIPIcs.TIME.2017.23"},{"key":"7_CR16","unstructured":"Zavatteri, M.: Temporal and resource controllability of workflows under uncertainty. In: Proceedings of the Dissertation Award, Demonstration, and Industrial Track at BPM 2019, vol. 2420, pp. 9\u201314. CEUR-WS.org (2019)"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-319-65000-5_14","volume-title":"Business Process Management","author":"M Zavatteri","year":"2017","unstructured":"Zavatteri, M., Combi, C., Posenato, R., Vigan\u00f2, L.: Weak, strong and dynamic controllability of access-controlled workflows under conditional uncertainty. In: Carmona, J., Engels, G., Kumar, A. (eds.) BPM 2017. LNCS, vol. 10445, pp. 235\u2013251. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-65000-5_14"},{"key":"7_CR18","doi-asserted-by":"publisher","unstructured":"Zavatteri, M., Combi, C., Rizzi, R., Vigan\u00f2, L.: Hybrid sat-based consistency checking algorithms for simple temporal networks with decisions. In: TIME 2019. vol. 147, pp. 2:1\u20132:17. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2019). https:\/\/doi.org\/10.4230\/LIPIcs.TIME.2019.2","DOI":"10.4230\/LIPIcs.TIME.2019.2"},{"key":"7_CR19","doi-asserted-by":"publisher","unstructured":"Zavatteri, M., Vigan\u00f2, L.: Conditional simple temporal networks with uncertainty and decisions. Theoret. Comput. Sci. (2018). https:\/\/doi.org\/10.1016\/j.tcs.2018.09.023","DOI":"10.1016\/j.tcs.2018.09.023"},{"key":"7_CR20","doi-asserted-by":"publisher","unstructured":"Zavatteri, M., Vigan\u00f2, L.: Constraint networks under conditional uncertainty. In: ICAART 2018. pp. 41\u201352. SciTePress (2018). https:\/\/doi.org\/10.5220\/0006553400410052","DOI":"10.5220\/0006553400410052"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-030-05453-3_7","volume-title":"Agents and Artificial Intelligence","author":"M Zavatteri","year":"2019","unstructured":"Zavatteri, M., Vigan\u00f2, L.: Conditional uncertainty in constraint networks. In: van den Herik, J., Rocha, A.P. (eds.) ICAART 2018. LNCS (LNAI), vol. 11352, pp. 130\u2013160. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-05453-3_7"},{"issue":"3","key":"7_CR22","doi-asserted-by":"publisher","first-page":"343","DOI":"10.3233\/JCS-181244","volume":"27","author":"M Zavatteri","year":"2019","unstructured":"Zavatteri, M., Vigan\u00f2, L.: Last man standing: static, decremental and dynamic resiliency via controller synthesis. J. Comput. Secur. 27(3), 343\u2013373 (2019). https:\/\/doi.org\/10.3233\/JCS-181244","journal-title":"J. Comput. Secur."}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-37453-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T00:09:11Z","timestamp":1735862951000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-37453-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030374525","9783030374532"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-37453-2_7","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"3 January 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BPM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Business Process Management","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":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bpm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/bpm2019.ai.wu.ac.at\/","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":"115","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":"23","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":"4","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":"20% - 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","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":"5","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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"In addition, 13 papers were published from the BPM forum and 60 from the BPM Workshops","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)"}}]}}