{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T09:57:01Z","timestamp":1764842221008,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T00:00:00Z","timestamp":1554681600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,8]]},"DOI":"10.1145\/3297280.3297286","type":"proceedings-article","created":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T12:18:47Z","timestamp":1556713127000},"page":"40-47","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Controllability of business processes with temporal variables"],"prefix":"10.1145","author":[{"given":"Johann","family":"Eder","sequence":"first","affiliation":[{"name":"Alpen-Adria-Universit\u00e4t Klagenfurt, Klagenfurt"}]},{"given":"Marco","family":"Franceschetti","sequence":"additional","affiliation":[{"name":"Alpen-Adria-Universit\u00e4t Klagenfurt, Klagenfurt"}]},{"given":"Julius","family":"K\u00f6pke","sequence":"additional","affiliation":[{"name":"Alpen-Adria-Universit\u00e4t Klagenfurt, Klagenfurt"}]}],"member":"320","published-online":{"date-parts":[[2019,4,8]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Rafael Accorsi. 2013. On Process Rewriting for Business Process Security. In SIMPDA."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014048800604"},{"key":"e_1_3_2_1_3_1","volume-title":"LIPIcs-Leibniz International Proceedings in Informatics","volume":"90","author":"Cairo Massimo","year":"2017","unstructured":"Massimo Cairo, Luke Hunsberger, Roberto Posenato, and Romeo Rizzi. 2017. A Streamlined Model of Conditional Simple Temporal Networks-Semantics and Equivalence Results. In LIPIcs-Leibniz International Proceedings in Informatics, Vol. 90. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik."},{"key":"e_1_3_2_1_4_1","volume-title":"Dynamic Controllability Made Simple. In 24th International Symposium on Temporal Representation and Reasoning.","author":"Cairo Massimo","year":"2017","unstructured":"Massimo Cairo and Romeo Rizzi. 2017. Dynamic Controllability Made Simple. In 24th International Symposium on Temporal Representation and Reasoning."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2004.03.001"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2539150.2539182"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45391-9_24"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11761-014-0170-x"},{"volume-title":"Business Process Management","author":"Combi Carlo","key":"e_1_3_2_1_9_1","unstructured":"Carlo Combi and Roberto Posenato. 2009. Controllability in temporal conceptual workflow schemata. In Business Process Management. Springer, 64--79."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2010.17"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39648-2_8"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90006-6"},{"key":"e_1_3_2_1_13_1","volume-title":"Expressiveness of Temporal Constraints for Process Models. In International Conference on Conceptual Modeling. Springer, 119--133","author":"Eder Johann","year":"2018","unstructured":"Johann Eder, Marco Franceschetti, Julius K\u00f6pke, and Anja Oberrauner. 2018. Expressiveness of Temporal Constraints for Process Models. In International Conference on Conceptual Modeling. Springer, 119--133."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/648313.755673"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/646087.679893"},{"volume-title":"Seminal Contributions to Information Systems Engineering","author":"Eder Johann","key":"e_1_3_2_1_16_1","unstructured":"Johann Eder, Euthimios Panagos, and Michael Rabinovich. 2013. Workflow Time Management Revisited. In Seminal Contributions to Information Systems Engineering. Springer Berlin Heidelberg, 207--213."},{"key":"e_1_3_2_1_17_1","volume-title":"International Conference on Business Process Management. Springer, 443--454","author":"Eder Johann","year":"2008","unstructured":"Johann Eder, Horst Pichler, and Amirreza Tahamtan. 2008. Probabilistic time management of choreographies. In International Conference on Business Process Management. Springer, 443--454."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78942-0_11"},{"key":"e_1_3_2_1_19_1","first-page":"257","article-title":"Research of the Combination of Distributed Business Processes Based on Dynamic Planning. International Journal of u-and e-Service","volume":"8","author":"Gang Yuan","year":"2015","unstructured":"Yuan Gang, Sun Rui-zhi, and Shi Yin-xue. 2015. Research of the Combination of Distributed Business Processes Based on Dynamic Planning. International Journal of u-and e-Service, Science and Technology 8, 6 (2015), 257--266.","journal-title":"Science and Technology"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/270832.270837"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2009.42"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-017-1142-1"},{"key":"e_1_3_2_1_23_1","volume-title":"The dynamic controllability of conditional STNs with uncertainty. arXiv preprint arXiv:1212.2005","author":"Hunsberger Luke","year":"2012","unstructured":"Luke Hunsberger, Roberto Posenato, and Carlo Combi. 2012. The dynamic controllability of conditional STNs with uncertainty. arXiv preprint arXiv:1212.2005 (2012)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2016.06.003"},{"key":"e_1_3_2_1_25_1","volume-title":"Carlo Combi, and Manfred Reichert","author":"Lanz Andreas","year":"2016","unstructured":"Andreas Lanz, Roberto Posenato, Carlo Combi, and Manfred Reichert. 2016. Controlling time-awareness in modularized processes. In Enterprise, Business-Process and Information Systems Modeling. Springer, 157--172."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2015.10.002"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/11914853_9"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2015.02.007"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/2074356.2074366"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2013.879211"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03325097"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49815-7_3"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","unstructured":"Paul Morris and Nicola Muscettola. 2000. Execution of temporal plans with uncertainty. In AAAI\/IAAI. 491--496.","DOI":"10.5555\/647288.721265"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","unstructured":"Paul H Morris and Nicola Muscettola. 2005. Temporal dynamic controllability revisited. In Aaai. 1193--1198.","DOI":"10.5555\/1619499.1619525"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98648-7_7"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85758-7_5"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.09.001"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1080\/095281399146607"},{"key":"e_1_3_2_1_39_1","volume-title":"2011 IEEE International Conference on. IEEE, 1173--1180","author":"Watahiki Kenji","year":"2011","unstructured":"Kenji Watahiki, Fuyuki Ishikawa, and Kunihiko Hiraishi. 2011. Formal verification of business processes with temporal and resource constraints. In Systems, Man, and Cybernetics (SMC), 2011 IEEE International Conference on. IEEE, 1173--1180."}],"event":{"name":"SAC '19: The 34th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Limassol Cyprus","acronym":"SAC '19"},"container-title":["Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3297280.3297286","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3297280.3297286","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:02:14Z","timestamp":1750208534000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3297280.3297286"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,8]]},"references-count":39,"alternative-id":["10.1145\/3297280.3297286","10.1145\/3297280"],"URL":"https:\/\/doi.org\/10.1145\/3297280.3297286","relation":{},"subject":[],"published":{"date-parts":[[2019,4,8]]},"assertion":[{"value":"2019-04-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}