{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:29Z","timestamp":1750219949622,"version":"3.41.0"},"reference-count":34,"publisher":"Association for Computing Machinery (ACM)","issue":"3-4","license":[{"start":{"date-parts":[[2022,12,15]],"date-time":"2022-12-15T00:00:00Z","timestamp":1671062400000},"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":["ACM Trans. Auton. Adapt. Syst."],"published-print":{"date-parts":[[2022,12,31]]},"abstract":"<jats:p>In this article, we propose and implement a distributed autonomic manager that maintains service level agreements (SLA) for each application scenario. The proposed autonomic manager supports SLAs by configuring the bandwidth ratios for each application scenario and uses an overlay network as an infrastructure. The most important aspect of the proposed autonomic manager is its scalability which allows us to deal with geographically distributed cloud-based applications and a large volume of computation. This can be useful in look ahead optimization and in adaptations using complex models, such as machine learning. We formally prove the safety and liveness properties of the implemented distributed algorithms. Through experiments on the Amazon AWS cloud, using two different use cases, we demonstrate the elasticity and flexibility of the autonomic manager as a measure of its applicability to different cloud applications with different types of workloads. Experiments also demonstrate that increasing the size of a look ahead window, up to a certain size, improves the accuracy of the adaptation decisions by up to 50%.<\/jats:p>","DOI":"10.1145\/3555315","type":"journal-article","created":{"date-parts":[[2022,8,16]],"date-time":"2022-08-16T12:32:29Z","timestamp":1660653149000},"page":"1-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Formally Verified Scalable Look Ahead Planning For Cloud Resource Management"],"prefix":"10.1145","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6410-1105","authenticated-orcid":false,"given":"Farzin","family":"Zaker","sequence":"first","affiliation":[{"name":"Lassonde School of Engineering, York University, Toronto, Ontario, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0383-920X","authenticated-orcid":false,"given":"Marin","family":"Litoiu","sequence":"additional","affiliation":[{"name":"Lassonde School of Engineering, York University, Toronto, Ontario, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5755-175X","authenticated-orcid":false,"given":"Mark","family":"Shtern","sequence":"additional","affiliation":[{"name":"Lassonde School of Engineering, York University, Toronto, Ontario, Canada"}]}],"member":"320","published-online":{"date-parts":[[2022,12,15]]},"reference":[{"key":"e_1_3_2_2_2","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems.","author":"Agha Gul A.","year":"1985","unstructured":"Gul A. Agha. 1985. Actors: A Model of Concurrent Computation in Distributed Systems.Technical Report. MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB."},{"key":"e_1_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2017.2711009"},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.23919\/INM.2017.7987302"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.23919\/CNSM.2017.8255994"},{"key":"e_1_3_2_6_2","volume-title":"Proceedings of the HotCloud","author":"Bod\u00edk Peter","year":"2009","unstructured":"Peter Bod\u00edk, Rean Griffith, Charles Sutton, Armando Fox, Michael I. Jordan, and David A. Patterson. 2009. Statistical machine learning makes automatic control practical for internet datacenters. In Proceedings of the HotCloud."},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_3"},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44881-0_7"},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774280"},{"issue":"07","key":"e_1_3_2_10_2","article-title":"Weka: Practical machine learning tools and techniques with java implementations","volume":"6","author":"Dimov Rossen","year":"2007","unstructured":"Rossen Dimov, Michael Feld, Dr. Michael Kipp, Dr. Alassane Ndiaye, and Dr. Dominik Heckmann. 2007. Weka: Practical machine learning tools and techniques with java implementations. AI Tools SeminarUniversity of Saarland, WS 6, 07 (2007).","journal-title":"AI Tools SeminarUniversity of Saarland, WS"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2013.6595490"},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36249-1_12"},{"key":"e_1_3_2_13_2","volume-title":"Akka Essentials","author":"Gupta Munish","year":"2012","unstructured":"Munish Gupta. 2012. Akka Essentials. Packt Publishing Ltd."},{"key":"e_1_3_2_14_2","unstructured":"MinIO Inc.2022. MinIO | High Performance Kubernetes Native Object Storage. Retrieved from https:\/\/min.io\/."},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISADS.2007.75"},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.66"},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2014.09.009"},{"key":"e_1_3_2_19_2","unstructured":"Leslie Lamport. 2005. Generalized consensus and paxos. (2005)."},{"key":"e_1_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/1998582.1998630"},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/2382570.2382572"},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2012.103"},{"issue":"1","key":"e_1_3_2_23_2","first-page":"1","article-title":"IoT middleware: A survey on issues and enabling technologies","volume":"4","author":"Ngu Anne H.","year":"2017","unstructured":"Anne H. Ngu, Mario Gutierrez, Vangelis Metsis, Surya Nepal, and Quan Z. Sheng. 2017. IoT middleware: A survey on issues and enabling technologies. IEEE Internet of Things Journal 4, 1 (2017), 1\u201320.","journal-title":"IEEE Internet of Things Journal"},{"key":"e_1_3_2_24_2","unstructured":"Diego Ongaro and John Ousterhout. 2015. The raft consensus algorithm. Lecture Notes CS 190 (2015)."},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/5254.769885"},{"issue":"4","key":"e_1_3_2_26_2","first-page":"73","article-title":"Auto-scaling web applications in clouds: A taxonomy and survey","volume":"51","author":"Qu Chenhao","year":"2018","unstructured":"Chenhao Qu, Rodrigo N. Calheiros, and Rajkumar Buyya. 2018. Auto-scaling web applications in clouds: A taxonomy and survey. ACM Computing Surveys 51, 4 (2018), 73.","journal-title":"ACM Computing Surveys"},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICECA.2017.8212749"},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10723-015-9359-2"},{"issue":"4","key":"e_1_3_2_29_2","first-page":"385","article-title":"Modeling and verification of reactive systems using rebeca","volume":"63","author":"Sirjani Marjan","year":"2004","unstructured":"Marjan Sirjani, Ali Movaghar, Amin Shali, and Frank S. De Boer. 2004. Modeling and verification of reactive systems using rebeca. Fundamenta Informaticae 63, 4 (2004), 385\u2013410.","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_2_30_2","volume-title":"Distributed Systems","author":"Steen Maarten Van","year":"2017","unstructured":"Maarten Van Steen and Andrew S. Tanenbaum. 2017. Distributed Systems. Maarten van Steen Leiden, The Netherlands."},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2014.09.018"},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-74183-3_2"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.7910\/DVN\/3QBYB5"},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.23919\/CNSM46954.2019.9012693"},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/2822896"}],"container-title":["ACM Transactions on Autonomous and Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555315","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3555315","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:02Z","timestamp":1750182542000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555315"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,15]]},"references-count":34,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2022,12,31]]}},"alternative-id":["10.1145\/3555315"],"URL":"https:\/\/doi.org\/10.1145\/3555315","relation":{},"ISSN":["1556-4665","1556-4703"],"issn-type":[{"type":"print","value":"1556-4665"},{"type":"electronic","value":"1556-4703"}],"subject":[],"published":{"date-parts":[[2022,12,15]]},"assertion":[{"value":"2019-12-12","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-07-21","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-12-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}