{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T19:58:12Z","timestamp":1768766292526,"version":"3.49.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319649993","type":"print"},{"value":"9783319650005","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-65000-5_14","type":"book-chapter","created":{"date-parts":[[2017,8,8]],"date-time":"2017-08-08T22:15:06Z","timestamp":1502230506000},"page":"235-251","source":"Crossref","is-referenced-by-count":7,"title":["Weak, Strong and Dynamic Controllability of Access-Controlled 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":"Roberto","family":"Posenato","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":[[2017,8,10]]},"reference":[{"key":"14_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). doi:\n10.1016\/j.is.2015.03.002","journal-title":"Inf. Syst."},{"issue":"6\u20138","key":"14_CR2","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1007\/s00236-016-0257-2","volume":"53","author":"A Cimatti","year":"2016","unstructured":"Cimatti, A., Hunsberger, L., Micheli, A., Posenato, R., Roveri, M.: Dynamic controllability via timed game automata. Acta Informatica 53(6\u20138), 681\u2013722 (2016). doi:\n10.1007\/s00236-016-0257-2","journal-title":"Acta Informatica"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-642-23737-9_23","volume-title":"Advances in Databases and Information Systems","author":"C Combi","year":"2011","unstructured":"Combi, C., Gambini, M., Migliorini, S.: The NestFlow interpretation of workflow control-flow patterns. In: Eder, J., Bielikova, M., Tjoa, A.M. (eds.) ADBIS 2011. LNCS, vol. 6909, pp. 316\u2013332. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-23737-9_23"},{"issue":"9","key":"14_CR4","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). doi:\n10.1109\/TSMC.2014.2300055","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"14_CR5","doi-asserted-by":"publisher","unstructured":"Combi, C., Posenato, R., Vigan\u00f2, L., Zavatteri, M.: Access controlled temporal networks. In: Proceedings of the 9th International Conference on Agents and Artificial Intelligence (ICAART), pp. 118\u2013131 (2017). doi:\n10.5220\/0006185701180131","DOI":"10.5220\/0006185701180131"},{"key":"14_CR6","doi-asserted-by":"publisher","unstructured":"Combi, C., Vigan\u00f2, L., Zavatteri, M.: Security constraints in temporal role-based access-controlled workflows. In: CODASPY 2016, pp. 207\u2013218 (2016). doi:\n10.1145\/2857705.2857716","DOI":"10.1145\/2857705.2857716"},{"key":"14_CR7","volume-title":"Constraint Processing","author":"R Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Kaufmann, San Francisco (2003)"},{"issue":"1","key":"14_CR8","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. Intell. 34(1), 1\u201338 (1987). doi:\n10.1016\/0004-3702(87)90002-6","journal-title":"Artif. Intell."},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/322290.322292","volume":"29","author":"EC Freuder","year":"1982","unstructured":"Freuder, E.C.: A sufficient condition for backtrack-free search. J. ACM 29, 24\u201332 (1982)","journal-title":"J. ACM"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.artint.2012.07.006","volume":"191\u2013192","author":"G Gottlob","year":"2012","unstructured":"Gottlob, G.: On minimal constraint networks. Artif. Intell. 191\u2013192, 42\u201360 (2012). doi:\n10.1016\/j.artint.2012.07.006","journal-title":"Artif. Intell."},{"key":"14_CR11","unstructured":"Hollingsworth, D.: The workflow reference model (1995). \nhttp:\/\/www.wfmc.org\/standards\/model.htm"},{"issue":"1","key":"14_CR12","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"AK Mackworth","year":"1977","unstructured":"Mackworth, A.K.: Consistency in networks of relations. Artif. Intell. 8(1), 99\u2013118 (1977). doi:\n10.1016\/0004-3702(77)90007-8","journal-title":"Artif. Intell."},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U Montanari","year":"1974","unstructured":"Montanari, U.: Networks of constraints: fundamental properties and applications to picture processing. Inf. Sci. 7, 95\u2013132 (1974). doi:\n10.1016\/0020-0255(74)90008-5","journal-title":"Inf. Sci."},{"key":"14_CR14","unstructured":"Morris, P.H., Muscettola, N., Vidal, T.: Dynamic control of plans with temporal uncertainty. In: IJCAI 2001, pp. 494\u2013502 (2001)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-540-85758-7_5","volume-title":"Business Process Management","author":"H Reijers","year":"2008","unstructured":"Reijers, H., Mendling, J.: Modularity in process models: review and effects. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 20\u201335. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-85758-7_5"},{"issue":"2","key":"14_CR16","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. IEEE Comput. 29(2), 38\u201347 (1996). doi:\n10.1109\/2.485845","journal-title":"IEEE Comput."},{"issue":"4","key":"14_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1880022.1880034","volume":"13","author":"Qihua Wang","year":"2010","unstructured":"Wang, Q., Li, N.: Satisfiability and resiliency in workflow authorization systems. ACM Trans. Inf. Syst. Secur. 13(4) (2010). doi:\n10.1145\/1880022.1880034","journal-title":"ACM Transactions on Information and System Security"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-65000-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,20]],"date-time":"2018-04-20T08:22:00Z","timestamp":1524212520000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-65000-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319649993","9783319650005"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-65000-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}