{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T21:15:49Z","timestamp":1768770949793,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,11,19]],"date-time":"2018-11-19T00:00:00Z","timestamp":1542585600000},"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":[[2018,11,19]]},"DOI":"10.1145\/3282373.3282398","type":"proceedings-article","created":{"date-parts":[[2019,1,17]],"date-time":"2019-01-17T16:37:20Z","timestamp":1547743040000},"page":"234-242","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Controllability of Orchestrations with Temporal SLA"],"prefix":"10.1145","author":[{"given":"Johann","family":"Eder","sequence":"first","affiliation":[{"name":"Department of Informatics Systems, Alpen-Adria-Universit\u00e4t Klagenfurt, Klagenfurt"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Franceschetti","sequence":"additional","affiliation":[{"name":"Department of Informatics Systems, Alpen-Adria-Universit\u00e4t Klagenfurt, Klagenfurt"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julius","family":"K\u00f6pke","sequence":"additional","affiliation":[{"name":"Department of Informatics Systems, Alpen-Adria-Universit\u00e4t Klagenfurt, Klagenfurt"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,11,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014048800604"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"J. Cardoso A. Sheth and J. Miller. 2003. Workflow quality of service. In Enterprise Inter-and Intra-Organizational Integration. Springer 303--311.   J. Cardoso A. Sheth and J. Miller. 2003. Workflow quality of service. In Enterprise Inter-and Intra-Organizational Integration. Springer 303--311.","DOI":"10.1007\/978-0-387-35621-1_31"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2004.03.001"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2015.40"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"C. Combi L. Hunsberger and R. Posenato. 2014. An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited. In Agents and Artificial Intelligence Joaquim Filipe and Ana Fred (Eds.). Communications in Computer and Information Science Vol. 449. Springer Berlin Heidelberg 314--331.  C. Combi L. Hunsberger and R. Posenato. 2014. An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited. In Agents and Artificial Intelligence Joaquim Filipe and Ana Fred (Eds.). Communications in Computer and Information Science Vol. 449. Springer Berlin Heidelberg 314--331.","DOI":"10.1007\/978-3-662-44440-5_19"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"C. Combi and R. Posenato. 2009. Controllability in temporal conceptual workflow schemata. In Business Process Management. Springer 64--79.  C. Combi and R. Posenato. 2009. Controllability in temporal conceptual workflow schemata. In Business Process Management. Springer 64--79.","DOI":"10.1007\/978-3-642-03848-8_6"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.118"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.4018\/jebr.2006010104"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90006-6"},{"key":"e_1_3_2_1_10_1","volume-title":"ER 2018 - in print.","author":"Eder J.","year":"2018","unstructured":"J. Eder , M. Franceschetti , J. K\u00f6pke , and A. Oberrauner . 2018. Expressiveness of Temporal Constraints for Process Models. Advances in Conceptual Modeling - 37th International Conference , ER 2018 - in print. ( 2018 ). J. Eder, M. Franceschetti, J. K\u00f6pke, and A. Oberrauner. 2018. Expressiveness of Temporal Constraints for Process Models. Advances in Conceptual Modeling - 37th International Conference, ER 2018 - in print. (2018)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"J. Eder W. Gruber and E. Panagos. 2000. Temporal modeling of workflows with conditional execution paths. In Database and Expert Systems Applications. Springer 243--253.   J. Eder W. Gruber and E. Panagos. 2000. Temporal modeling of workflows with conditional execution paths. In Database and Expert Systems Applications. Springer 243--253.","DOI":"10.1007\/3-540-44469-6_23"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"J. Eder E. Panagos H. Pozewaunig and M. Rabinovich. 1999. Time management in workflow systems. Springer.  J. Eder E. Panagos H. Pozewaunig and M. Rabinovich. 1999. Time management in workflow systems. Springer.","DOI":"10.1007\/978-1-4471-0875-7_22"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"J. Eder E. Panagos and M. Rabinovich. 1999. Time constraints in workflow systems. In Advanced information systems engineering. Springer 286--300.   J. Eder E. Panagos and M. Rabinovich. 1999. Time constraints in workflow systems. In Advanced information systems engineering. Springer 286--300.","DOI":"10.1007\/3-540-48738-7_22"},{"key":"e_1_3_2_1_14_1","unstructured":"J. Eder E. Panagos and M. Rabinovich. 2013. Workflow Time Management Revisited. In Seminal Contributions to Information Systems Engineering Janis Bubenko John Krogstie Oscar Pastor Barbara Pernici Colette Rolland and Arne S\u00f8lvberg (Eds.). Springer Berlin Heidelberg 207--213.  J. Eder E. Panagos and M. Rabinovich. 2013. Workflow Time Management Revisited. In Seminal Contributions to Information Systems Engineering Janis Bubenko John Krogstie Oscar Pastor Barbara Pernici Colette Rolland and Arne S\u00f8lvberg (Eds.). Springer Berlin Heidelberg 207--213."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11837862_31"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85654-2_57"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2009.71"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/564691.564718"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/270832.270837"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2009.42"},{"key":"e_1_3_2_1_21_1","volume-title":"International Workshop on Grid Economics and Business Models. Springer, 153--164","author":"Haq I. U.","unstructured":"I. U. Haq , I. Brandic , and E. Schikuta . 2010. Sla validation in layered cloud infrastructures . In International Workshop on Grid Economics and Business Models. Springer, 153--164 . I. U. Haq, I. Brandic, and E. Schikuta. 2010. Sla validation in layered cloud infrastructures. In International Workshop on Grid Economics and Business Models. Springer, 153--164."},{"key":"e_1_3_2_1_22_1","unstructured":"L. Hunsberger R. Posenato and C. Combi. 2012. The dynamic controllability of conditional STNs with uncertainty. arXiv preprint arXiv:1212.2005 (2012).  L. Hunsberger R. Posenato and C. Combi. 2012. The dynamic controllability of conditional STNs with uncertainty. arXiv preprint arXiv:1212.2005 (2012)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECOWS.2009.15"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"A. Lanz R. Posenato C. Combi and M. Reichert. 2013. Controllability of time-aware processes at run time. In On the Move to Meaningful Internet Systems: OTM 2013 Conferences. Springer 39--56.  A. Lanz R. Posenato C. Combi and M. Reichert. 2013. Controllability of time-aware processes at run time. In On the Move to Meaningful Internet Systems: OTM 2013 Conferences. Springer 39--56.","DOI":"10.1007\/978-3-642-41030-7_4"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2015.10.002"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"A. Lanz B. Weber and M. Reichert. 2010. Workflow time patterns for process-aware information systems. In Enterprise Business-Process and Information Systems Modeling. Springer 94--107.  A. Lanz B. Weber and M. Reichert. 2010. Workflow time patterns for process-aware information systems. In Enterprise Business-Process and Information Systems Modeling. Springer 94--107.","DOI":"10.1007\/978-3-642-13051-9_9"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-012-0162-3"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03325097"},{"key":"e_1_3_2_1_29_1","unstructured":"ObjectManagementGroup. 2011. Business Process Model and Notation (BPMN) Version 2.0. http:\/\/www.omg.org\/spec\/BPMN\/2.0. (2011).  ObjectManagementGroup. 2011. Business Process Model and Notation (BPMN) Version 2.0. http:\/\/www.omg.org\/spec\/BPMN\/2.0. (2011)."},{"key":"e_1_3_2_1_30_1","unstructured":"OracleFusion. 2018. Adding Delays Deadlines and Time Based Cycles to Your Process. http:\/\/docs.oracle.com\/cd\/E25178_01\/doc.1111\/e15176\/timers_bpmpd.htm. (2018). Accessed: 2018-08-03.  OracleFusion. 2018. Adding Delays Deadlines and Time Based Cycles to Your Process. http:\/\/docs.oracle.com\/cd\/E25178_01\/doc.1111\/e15176\/timers_bpmpd.htm. (2018). Accessed: 2018-08-03."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1236471"},{"key":"e_1_3_2_1_32_1","volume-title":"Modelling Processes with Time-Dependent Control Structures. In International Conference on Conceptual Modeling. Springer, 50--58","author":"Pichler H.","unstructured":"H. Pichler , J. Eder , and M. Ciglic . 2017 . Modelling Processes with Time-Dependent Control Structures. In International Conference on Conceptual Modeling. Springer, 50--58 . H. Pichler, J. Eder, and M. Ciglic. 2017. Modelling Processes with Time-Dependent Control Structures. In International Conference on Conceptual Modeling. Springer, 50--58."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02144-2_29"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02144-2_29"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2014.04.054"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.09.001"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"},{"key":"e_1_3_2_1_38_1","volume-title":"LIPIcs-Leibniz International Proceedings in Informatics","volume":"90","author":"Zavatteri M.","year":"2017","unstructured":"M. Zavatteri . 2017 . Conditional simple temporal networks with uncertainty and decisions . In LIPIcs-Leibniz International Proceedings in Informatics , Vol. 90 . Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. M. Zavatteri. 2017. Conditional simple temporal networks with uncertainty and decisions. In LIPIcs-Leibniz International Proceedings in Informatics, Vol. 90. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik."},{"key":"e_1_3_2_1_39_1","unstructured":"M. Zavatteri. 2018. Temporal and Resource Controllability of Workflows Under Uncertainty. (2018).  M. Zavatteri. 2018. Temporal and Resource Controllability of Workflows Under Uncertainty. (2018)."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.11"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2012.27"}],"event":{"name":"iiWAS2018: 20th International Conference on Information Integration and Web-based Applications & Services","location":"Yogyakarta Indonesia","acronym":"iiWAS2018","sponsor":["Johannes Kepler University, Linz, Austria","@WAS International Organization of Information Integration and Web-based Applications and Services","Johannes Kepler University"]},"container-title":["Proceedings of the 20th International Conference on Information Integration and Web-based Applications & Services"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3282373.3282398","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3282373.3282398","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:29Z","timestamp":1750208249000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3282373.3282398"}},"subtitle":["Encoding Temporal XOR in CSTNUD"],"short-title":[],"issued":{"date-parts":[[2018,11,19]]},"references-count":41,"alternative-id":["10.1145\/3282373.3282398","10.1145\/3282373"],"URL":"https:\/\/doi.org\/10.1145\/3282373.3282398","relation":{},"subject":[],"published":{"date-parts":[[2018,11,19]]},"assertion":[{"value":"2018-11-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}