{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:12:58Z","timestamp":1760202778704,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T00:00:00Z","timestamp":1575244800000},"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,12,2]]},"DOI":"10.1145\/3366030.3366068","type":"proceedings-article","created":{"date-parts":[[2020,2,22]],"date-time":"2020-02-22T12:18:47Z","timestamp":1582373927000},"page":"537-545","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Computing Ranges for Temporal Parameters of Composed Web Services"],"prefix":"10.1145","author":[{"given":"Marco","family":"Franceschetti","sequence":"first","affiliation":[{"name":"Department of Informatics Systems, Alpen-Adria-Universit\u00e4t, Klagenfurt Klagenfurt"}]},{"given":"Johann","family":"Eder","sequence":"additional","affiliation":[{"name":"Department of Informatics Systems, Alpen-Adria-Universit\u00e4t, Klagenfurt Klagenfurt"}]}],"member":"320","published-online":{"date-parts":[[2020,2,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2007.25"},{"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","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.102"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2004.03.001"},{"key":"e_1_3_2_1_5_1","first-page":"154","volume-title":"Int. Conf. on Information Integration and Web-based Applications & Services","author":"Cheikhrouhou S.","unstructured":"S. Cheikhrouhou , S. Kallel , N. Guermouche , and M. Jmaiel . Toward a time-centric modeling of business processes in bpmn 2.0 . In Int. Conf. on Information Integration and Web-based Applications & Services , page 154 . ACM, 2013. S. Cheikhrouhou, S. Kallel, N. Guermouche, and M. Jmaiel. Toward a time-centric modeling of business processes in bpmn 2.0. In Int. Conf. on Information Integration and Web-based Applications & Services, page 154. ACM, 2013."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11761-014-0170-x"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2300055"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39648-2_8"},{"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","doi-asserted-by":"publisher","DOI":"10.1145\/3297280.3297286"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01391-2_19"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44469-6_23"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/1-84628-152-0_19"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36926-1_16"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2019.00080"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOCW.2019.00034"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2009.42"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-017-1142-1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/184"},{"key":"e_1_3_2_1_20_1","first-page":"223","volume-title":"Proceedings of the International Conference on Automated Planning and Scheduling","volume":"29","author":"Hunsberger L.","year":"2019","unstructured":"L. Hunsberger and R. Posenato . Propagating piecewise-linear weights in temporal networks . In Proceedings of the International Conference on Automated Planning and Scheduling , volume 29 , pages 223 -- 231 , 2019 . L. Hunsberger and R. Posenato. Propagating piecewise-linear weights in temporal networks. In Proceedings of the International Conference on Automated Planning and Scheduling, volume 29, pages 223--231, 2019."},{"key":"e_1_3_2_1_21_1","volume-title":"The dynamic controllability of conditional stns with uncertainty. CoRR, abs\/1212.2005","author":"Hunsberger L.","year":"2012","unstructured":"L. Hunsberger , R. Posenato , and C. Combi . The dynamic controllability of conditional stns with uncertainty. CoRR, abs\/1212.2005 , 2012 . L. Hunsberger, R. Posenato, and C. Combi. The dynamic controllability of conditional stns with uncertainty. CoRR, abs\/1212.2005, 2012."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2015.26"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04409-0_35"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/CloudCom.2015.37"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2006.112"},{"key":"e_1_3_2_1_26_1","volume-title":"Controlling time-awareness in modularized processes (extended version)","author":"Lanz A.","year":"2017","unstructured":"A. Lanz , R. Posenato , C. Combi , and M. Reichert . Controlling time-awareness in modularized processes (extended version) . 2017 . A. Lanz, R. Posenato, C. Combi, and M. Reichert. Controlling time-awareness in modularized processes (extended version). 2017."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2015.10.002"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17358-5_25"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2015.02.007"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25109-2_7"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1080\/17517575.2013.879211"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03325097"},{"key":"e_1_3_2_1_33_1","first-page":"41","volume-title":"Formal Methods: Foundations and Applications - SBMF 2016","author":"Morales L. E. M.","year":"2016","unstructured":"L. E. M. Morales , C. Monsalve , and M. Villavicencio . Application of formal methods to verify business processes . In Formal Methods: Foundations and Applications - SBMF 2016 , Proceedings , pages 41 -- 58 , 2016 . L. E. M. Morales, C. Monsalve, and M. Villavicencio. Application of formal methods to verify business processes. In Formal Methods: Foundations and Applications - SBMF 2016, Proceedings, pages 41--58, 2016."},{"key":"e_1_3_2_1_34_1","first-page":"1193","volume-title":"Aaai","author":"Morris P. H.","year":"2005","unstructured":"P. H. Morris and N. Muscettola . Temporal dynamic controllability revisited . In Aaai , pages 1193 -- 1198 , 2005 . P. H. Morris and N. Muscettola. Temporal dynamic controllability revisited. In Aaai, pages 1193--1198, 2005."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74974-5_16"},{"key":"e_1_3_2_1_36_1","first-page":"165","volume-title":"Int. Conf. on Service-Oriented Computing","author":"M\u00fcller C.","year":"2007","unstructured":"C. M\u00fcller , A. Ruiz-Cortes , and P. Fernandez . Temporal-awareness in slas: Why should we be concerned ? In Int. Conf. on Service-Oriented Computing , pages 165 -- 173 . Springer , 2007 . C. M\u00fcller, A. Ruiz-Cortes, and P. Fernandez. Temporal-awareness in slas: Why should we be concerned? In Int. Conf. on Service-Oriented Computing, pages 165--173. Springer, 2007."},{"key":"e_1_3_2_1_37_1","first-page":"1","volume-title":"Software & Systems Modeling","author":"Posenato R.","year":"2018","unstructured":"R. Posenato , A. Lanz , C. Combi , and M. Reichert . Managing time-awareness in modularized processes . Software & Systems Modeling , pages 1 -- 20 , 2018 . R. Posenato, A. Lanz, C. Combi, and M. Reichert. Managing time-awareness in modularized processes. Software & Systems Modeling, pages 1--20, 2018."},{"key":"e_1_3_2_1_38_1","first-page":"20","volume-title":"6th International Conference","author":"Reijers H. A.","year":"2008","unstructured":"H. A. Reijers and J. Mendling . Modularity in process models: Review and effects. In Business Process Management , 6th International Conference , pages 20 -- 35 , 2008 . H. A. Reijers and J. Mendling. Modularity in process models: Review and effects. In Business Process Management, 6th International Conference, pages 20--35, 2008."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.09.001"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1080\/095281399146607"},{"key":"e_1_3_2_1_41_1","volume-title":"Qos and sla aware web service composition in cloud environment. KSII Transactions on Internet and Information Systems (TIIS), 10(12):5231--5248","author":"Wang D.","year":"2016","unstructured":"D. Wang , H. Ding , Y. Yang , Z. Mi , L. Liu , and Z. Xiong . Qos and sla aware web service composition in cloud environment. KSII Transactions on Internet and Information Systems (TIIS), 10(12):5231--5248 , 2016 . D. Wang, H. Ding, Y. Yang, Z. Mi, L. Liu, and Z. Xiong. Qos and sla aware web service composition in cloud environment. KSII Transactions on Internet and Information Systems (TIIS), 10(12):5231--5248, 2016."},{"key":"e_1_3_2_1_42_1","first-page":"1173","volume-title":"2011 IEEE International Conference on","author":"Watahiki K.","year":"2011","unstructured":"K. Watahiki , F. Ishikawa , and K. Hiraishi . Formal verification of business processes with temporal and resource constraints. In Systems, Man, and Cybernetics (SMC) , 2011 IEEE International Conference on , pages 1173 -- 1180 . IEEE, 2011 . K. Watahiki, F. Ishikawa, and K. Hiraishi. Formal verification of business processes with temporal and resource constraints. In Systems, Man, and Cybernetics (SMC), 2011 IEEE International Conference on, pages 1173--1180. IEEE, 2011."},{"key":"e_1_3_2_1_43_1","volume-title":"Theoretical Computer Science","author":"Zavatteri M.","year":"2018","unstructured":"M. Zavatteri and L. Vigan\u00f2 . Conditional simple temporal networks with uncertainty and decisions . Theoretical Computer Science , 2018 . M. Zavatteri and L. Vigan\u00f2. Conditional simple temporal networks with uncertainty and decisions. Theoretical Computer Science, 2018."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2012.27"}],"event":{"name":"iiWAS2019: The 21st International Conference on Information Integration and Web-based Applications & Services","sponsor":["JKU Johannes Kepler Universit\u00e4t Linz","@WAS International Organization of Information Integration and Web-based Applications and Services"],"location":"Munich Germany","acronym":"iiWAS2019"},"container-title":["Proceedings of the 21st International Conference on Information Integration and Web-based Applications & Services"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3366030.3366068","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3366030.3366068","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:50Z","timestamp":1750202630000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3366030.3366068"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12,2]]},"references-count":44,"alternative-id":["10.1145\/3366030.3366068","10.1145\/3366030"],"URL":"https:\/\/doi.org\/10.1145\/3366030.3366068","relation":{},"subject":[],"published":{"date-parts":[[2019,12,2]]},"assertion":[{"value":"2020-02-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}