{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:44:37Z","timestamp":1761324277022},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,3,27]],"date-time":"2020-03-27T00:00:00Z","timestamp":1585267200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,3,27]],"date-time":"2020-03-27T00:00:00Z","timestamp":1585267200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Cluster Comput"],"published-print":{"date-parts":[[2020,9]]},"DOI":"10.1007\/s10586-020-03080-8","type":"journal-article","created":{"date-parts":[[2020,3,27]],"date-time":"2020-03-27T12:02:58Z","timestamp":1585310578000},"page":"1603-1631","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Formalizing and simulating cross-layer elasticity strategies in Cloud systems"],"prefix":"10.1007","volume":"23","author":[{"given":"Khaled","family":"Khebbeb","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nabil","family":"Hameurlain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Faiza","family":"Belala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,3,27]]},"reference":[{"issue":"9","key":"3080_CR1","doi-asserted-by":"publisher","first-page":"2093","DOI":"10.1016\/j.comnet.2013.04.001","volume":"57","author":"G Aceto","year":"2013","unstructured":"Aceto, G., Botta, A., De Donato, W., Pescap\u00e8, A.: Cloud monitoring: a survey. Comput. Netw. 57(9), 2093\u20132115 (2013)","journal-title":"Comput. Netw."},{"issue":"2","key":"3080_CR2","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1109\/TSC.2017.2711009","volume":"11","author":"Y Al-Dhuraibi","year":"2017","unstructured":"Al-Dhuraibi, Y., Paraiso, F., Djarallah, N., Merle, P.: Elasticity in cloud computing: state of the art and research challenges. IEEE Trans. Serv. Comput. 11(2), 430\u2013447 (2017)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"3080_CR3","doi-asserted-by":"crossref","unstructured":"Ali-Eldin, A., Tordsson, J., Elmroth, E.: An adaptive hybrid elasticity controller for cloud infrastructures. In: 2012 IEEE Network Operations and Management Symposium, pp. 204\u2013212. IEEE (2012)","DOI":"10.1109\/NOMS.2012.6211900"},{"key":"3080_CR4","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.jnca.2017.01.016","volume":"82","author":"M Amiri","year":"2017","unstructured":"Amiri, M., Mohammad-Khanli, L.: Survey on prediction models of applications for resources provisioning in cloud. J. Netw. Comput. Appl. 82, 93\u2013113 (2017)","journal-title":"J. Netw. Comput. Appl."},{"key":"3080_CR5","unstructured":"Amziani, M.: Modeling, evaluation and provisioning of elastic service-based business processes in the cloud. PhD thesis, Institut National des T\u00e9l\u00e9communications (2015)"},{"key":"3080_CR6","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"3080_CR7","volume-title":"Th\u00e9orie des files d\u2019attente","author":"B Baynat","year":"2000","unstructured":"Baynat, B.: Th\u00e9orie des files d\u2019attente. Herm\u00e8s, Paris (2000)"},{"key":"3080_CR8","doi-asserted-by":"crossref","unstructured":"Bersani, M.M., Bianculli, D., Dustdar, S., Gambi, A., Ghezzi, C., Krsti\u0107, S.: Towards the formalization of properties of cloud-based elastic systems. In: Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, pp. 38\u201347. ACM (2014)","DOI":"10.1145\/2593793.2593798"},{"key":"3080_CR9","doi-asserted-by":"crossref","unstructured":"Calinescu, R., Johnson, K., Rafiq, Y., Gerasimou, S., Silva, G.C., Pehlivanov, S.N.: Continual verification of non-functional properties in cloud-based systems. CiteseerX (2013)","DOI":"10.1145\/2568088.2568094"},{"issue":"3","key":"3080_CR10","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/3190507","volume":"51","author":"T Chen","year":"2018","unstructured":"Chen, T., Bahsoon, R., Yao, X.: A survey and taxonomy of self-aware and self-adaptive cloud autoscaling systems. ACM Comput. Surv. 51(3), 61 (2018)","journal-title":"ACM Comput. Surv."},{"key":"3080_CR11","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Escobar, S., Lincoln, P., Mart\u0131-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (Version 2.7. 1) (2016)"},{"key":"3080_CR12","doi-asserted-by":"crossref","unstructured":"Copil, G., Moldovan, D., Truong, H.-L., Dustdar, S.: Multi-level elasticity control of cloud services. In: International Conference on Service-Oriented Computing, pp. 429\u2013436. Springer (2013)","DOI":"10.1007\/978-3-642-45005-1_31"},{"issue":"4","key":"3080_CR13","doi-asserted-by":"publisher","first-page":"1203","DOI":"10.1007\/s10586-014-0389-5","volume":"17","author":"R Dautov","year":"2014","unstructured":"Dautov, R., Paraskakis, I., Stannett, M.: Towards a framework for monitoring cloud application platforms as sensor networks. Clust. Comput. 17(4), 1203\u20131213 (2014)","journal-title":"Clust. Comput."},{"issue":"3","key":"3080_CR14","doi-asserted-by":"publisher","first-page":"1995","DOI":"10.1007\/s10586-017-0900-x","volume":"20","author":"MH Diallo","year":"2017","unstructured":"Diallo, M.H., August, M., Hallman, R., Kline, M., Slayback, S.M., Graves, C.T.: Automigrate: a framework for developing intelligent, self-managing cloud services with maximum availability. Clust. Comput. 20(3), 1995\u20132012 (2017)","journal-title":"Clust. Comput."},{"issue":"5","key":"3080_CR15","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/MIC.2011.121","volume":"15","author":"S Dustdar","year":"2011","unstructured":"Dustdar, S., Guo, Y., Satzger, B., Truong, H.-L.: Principles of elastic processes. IEEE Internet Comput. 15(5), 66\u201371 (2011)","journal-title":"IEEE Internet Comput."},{"key":"3080_CR16","doi-asserted-by":"crossref","unstructured":"Firdhous, M., Ghazali, O., Hassan, S.: Modeling of cloud system using Erlang formulas. In: 2011 17th Asia-Pacific Conference on Communications (APCC), pp. 411\u2013416. IEEE (2011)","DOI":"10.1109\/APCC.2011.6152844"},{"issue":"5","key":"3080_CR17","doi-asserted-by":"publisher","first-page":"881","DOI":"10.1080\/00207160.2013.820282","volume":"91","author":"L Freitas","year":"2014","unstructured":"Freitas, L., Watson, P.: Formalizing workflows partitioning over federated clouds: multi-level security and costs. Int. J. Comput. Math. 91(5), 881\u2013906 (2014)","journal-title":"Int. J. Comput. Math."},{"key":"3080_CR18","doi-asserted-by":"crossref","unstructured":"Galante, G., de Bona, L.C.E.: A survey on cloud computing elasticity. In: Proceedings of the 2012 IEEE\/ACM Fifth International Conference on Utility and Cloud Computing, pp. 263\u2013270. IEEE Computer Society (2012)","DOI":"10.1109\/UCC.2012.30"},{"issue":"3","key":"3080_CR19","doi-asserted-by":"publisher","first-page":"1017","DOI":"10.1007\/s10586-016-0574-9","volume":"19","author":"M Ghobaei-Arani","year":"2016","unstructured":"Ghobaei-Arani, M., Jabbehdari, S., Pourmina, M.A.: An autonomic approach for resource provisioning of cloud services. Clust. Comput. 19(3), 1017\u20131036 (2016)","journal-title":"Clust. Comput."},{"key":"3080_CR20","first-page":"22","volume-title":"An Implementation of Bigraph Matching","author":"AJ Glenstrup","year":"2007","unstructured":"Glenstrup, A.J., Damgaard, T.C., Birkedal, L., H\u00f8jsgaard, E.: An Implementation of Bigraph Matching, p. 22. IT University of Copenhagen, Copenhagen (2007)"},{"key":"3080_CR21","unstructured":"Herbst, N.R., Kounev, S., Reussner, R.: Elasticity in cloud computing: what it is, and what it is not. In: Proceedings of the 10th International Conference on Autonomic Computing (ICAC 13), pp. 23\u201327 (2013)"},{"issue":"1","key":"3080_CR22","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1186\/s13677-016-0057-9","volume":"5","author":"AR Hummaida","year":"2016","unstructured":"Hummaida, A.R., Paton, N.W., Sakellariou, R.: Adaptation in cloud resource configuration: a survey. J. Cloud Comput. 5(1), 7 (2016)","journal-title":"J. Cloud Comput."},{"key":"3080_CR23","doi-asserted-by":"crossref","unstructured":"Ismail, A., Kwiatkowska, M.: Synthesizing pareto optimal decision for autonomic clouds using stochastic games model checking. In: 2017 24th Asia-Pacific Software Engineering Conference (APSEC), pp. 436\u2013445. IEEE (2017)","DOI":"10.1109\/APSEC.2017.50"},{"key":"3080_CR24","volume-title":"A Practical Guide to the IBM Autonomic Computing Toolkit. IBM Redbooks","author":"B Jacob","year":"2004","unstructured":"Jacob, B., Lanyon-Hogg, R., Nadgir, D.K., Yassin, A.F.: A Practical Guide to the IBM Autonomic Computing Toolkit. IBM Redbooks, vol. 4. IBM Corporation, Armonk (2004)"},{"key":"3080_CR25","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-030-00856-7_11","volume-title":"Model and Data Engineering","author":"K Khebbeb","year":"2018","unstructured":"Khebbeb, K., Hameurlain, N., Belala, F.: Modeling and evaluating cross-layer elasticity strategies in cloud systems. In: Abdelwahed, E., Bellatreche, L., Golfarelli, M., M\u00e9ry, D., Ordonez, C. (eds.) Model and Data Engineering, pp. 168\u2013183. Springer, Cham (2018)"},{"issue":"1","key":"3080_CR26","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1049\/iet-sen.2018.5030","volume":"13","author":"K Khebbeb","year":"2018","unstructured":"Khebbeb, K., Hameurlain, N., Belala, F., Sahli, H.: Formal modelling and verifying elasticity strategies in cloud systems. IET Softw. 13(1), 25\u201335 (2018)","journal-title":"IET Softw."},{"key":"3080_CR27","doi-asserted-by":"crossref","unstructured":"Kikuchi, S., Hiraishi, K.: Improving reliability in management of cloud computing infrastructure by formal methods. In: 2014 IEEE Network Operations and Management Symposium (NOMS), pp. 1\u20137. IEEE (2014)","DOI":"10.1109\/NOMS.2014.6838285"},{"key":"3080_CR28","unstructured":"Letondeur, L.: Planification pour la gestion autonomique de l\u2019\u00e9lasticit\u00e9 d\u2019applications dans le cloud. PhD thesis, Universit\u00e9 de Grenoble (2014)"},{"key":"3080_CR29","unstructured":"Liu, X., Zhu, X., Singhal, S., Arlitt, M.: Adaptive entitlement control of resource containers on shared servers. In: 2005 9th IFIP\/IEEE International Symposium on Integrated Network Management 2005 (IM 2005), pp. 163\u2013176. IEEE (2005)"},{"issue":"2","key":"3080_CR30","first-page":"1","volume":"40","author":"VV Mazalov","year":"2012","unstructured":"Mazalov, V.V., Gurtov, A.: Queuing system with on-demand number of servers. Math. Appl. 40(2), 1\u201312 (2012)","journal-title":"Math. Appl."},{"key":"3080_CR31","doi-asserted-by":"publisher","DOI":"10.6028\/NIST.SP.800-145","volume-title":"The NIST Definition of Cloud Computing","author":"P Mell","year":"2011","unstructured":"Mell, P., Grance, T., et al.: The NIST Definition of Cloud Computing. NIST, Gaithersburg (2011)"},{"key":"3080_CR32","doi-asserted-by":"crossref","unstructured":"Mendieta, M., Mart\u00edn, C.A., Abad, C.L.: A control theory approach for managing cloud computing resources: a proof-of-concept on memory partitioning. In: 2017 IEEE Second Ecuador Technical Chapters Meeting (ETCM), pp. 1\u20136. IEEE (2017)","DOI":"10.1109\/ETCM.2017.8247502"},{"key":"3080_CR33","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2008.04.002","volume":"209","author":"R Milner","year":"2008","unstructured":"Milner, R.: Bigraphs and their algebra. Electron. Notes Theor. Comput. Sci. 209, 5\u201319 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"3080_CR34","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626661","volume-title":"The Space and Motion of Communicating Agents","author":"R Milner","year":"2009","unstructured":"Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press, Cambridge (2009)"},{"issue":"1","key":"3080_CR35","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1504\/IJBDI.2015.067569","volume":"2","author":"D Moldovan","year":"2015","unstructured":"Moldovan, D., Copil, G., Truong, H.L., Dustdar, S.: MELA: elasticity analytics for cloud services. IJBDI 2(1), 45\u201362 (2015)","journal-title":"IJBDI"},{"issue":"7","key":"3080_CR36","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1007\/s00607-016-0507-8","volume":"99","author":"FD Mu\u00f1oz-Esco\u00ed","year":"2017","unstructured":"Mu\u00f1oz-Esco\u00ed, F.D., Bernab\u00e9u-Aub\u00e1n, J.M.: A survey on elasticity management in paas systems. Computing 99(7), 617\u2013656 (2017)","journal-title":"Computing"},{"key":"3080_CR37","unstructured":"Naskos, A., Stachtiari, E., Gounaris, A., Katsaros, P., Tsoumakos, D., Konstantinou, I., Sioutas, S.: Cloud elasticity using probabilistic model checking. arXiv. arXiv:1405.4699 (2014)"},{"key":"3080_CR38","volume-title":"Service Level Agreement in Cloud Computing","author":"P Patel","year":"2009","unstructured":"Patel, P., Ranabahu, A.H., Sheth, A.P.: Service Level Agreement in Cloud Computing. Wright University, Dayton (2009)"},{"key":"3080_CR39","doi-asserted-by":"crossref","unstructured":"Perrone, G., Debois, S., Hildebrandt, T.T.: A model checker for bigraphs. In: Proceedings of the 27th Annual ACM Symposium on Applied Computing, pp. 1320\u20131325. ACM (2012)","DOI":"10.1145\/2245276.2231985"},{"key":"3080_CR40","doi-asserted-by":"crossref","unstructured":"Rady, M.: Formal definition of service availability in cloud computing using OWL. In: International Conference on Computer Aided Systems Theory, pp. 189\u2013194. Springer (2013)","DOI":"10.1007\/978-3-642-53856-8_24"},{"key":"3080_CR41","doi-asserted-by":"crossref","unstructured":"Roy, N., Dubey, A., Gokhale, A.: Efficient autoscaling in the cloud using predictive models for workload forecasting. In: 2011 IEEE 4th International Conference on Cloud Computing, pp. 500\u2013507. IEEE (2011)","DOI":"10.1109\/CLOUD.2011.42"},{"issue":"2","key":"3080_CR42","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.cosrev.2010.06.002","volume":"5","author":"KY Rozier","year":"2011","unstructured":"Rozier, K.Y.: Linear temporal logic symbolic model checking. Comput. Sci. Rev. 5(2), 163\u2013203 (2011)","journal-title":"Comput. Sci. Rev."},{"issue":"1","key":"3080_CR43","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MITP.2012.104","volume":"15","author":"M Sabharwal","year":"2013","unstructured":"Sabharwal, M., Agrawal, A., Metri, G.: Enabling green it through energy-aware software. IT Prof. 15(1), 19\u201327 (2013)","journal-title":"IT Prof."},{"key":"3080_CR44","unstructured":"Sahli, H., Belala, F., Bouanaka, C.: Model-Checking Cloud Systems Using BigMC. In: VECoS, pp. 25\u201333 (2014)"},{"issue":"6","key":"3080_CR45","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1080\/17445760.2016.1188927","volume":"32","author":"H Sahli","year":"2017","unstructured":"Sahli, H., Hameurlain, N., Belala, F.: A bigraphical model for specifying cloud-based elastic systems and their behaviour. Int. J. Parallel Emerg. Distrib. Syst. 32(6), 593\u2013616 (2017)","journal-title":"Int. J. Parallel Emerg. Distrib. Syst."},{"key":"3080_CR46","unstructured":"Schoren, R.: Correspondence between Kripke structures and labeled transition systems for model minimization. In: Seminar Project. Department of Computer Science, Technische Universiteit Eindhoven, Eindhoven (2011)"},{"key":"3080_CR47","doi-asserted-by":"crossref","unstructured":"Sevegnani, M., Calder, M.: BigraphER: rewriting and analysis engine for bigraphs. In: International Conference on Computer Aided Verification, pp. 494\u2013501. Springer (2016)","DOI":"10.1007\/978-3-319-41540-6_27"},{"key":"3080_CR48","volume-title":"Control Theory","author":"S Simrock","year":"2008","unstructured":"Simrock, S.: Control Theory. DESY, Hamburg (2008)"},{"key":"3080_CR49","unstructured":"Steam: Steam, the ultimate online game platform. https:\/\/store.steampowered.com\/about\/ (2019) [Browsed on 2019-02-23]"},{"key":"3080_CR50","unstructured":"SteamSpy: Steamspy\u2014all the data about steam games. https:\/\/steamspy.com\/year\/ (2019) [Browsed on 2019-02-23]"},{"issue":"2","key":"3080_CR51","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s13174-011-0050-y","volume":"3","author":"B Suleiman","year":"2012","unstructured":"Suleiman, B., Sakr, S., Jeffery, R., Liu, A.: On understanding the economics and elasticity challenges of deploying business applications on public cloud infrastructure. J. Internet Serv. Appl. 3(2), 173\u2013193 (2012)","journal-title":"J. Internet Serv. Appl."},{"key":"3080_CR52","doi-asserted-by":"crossref","unstructured":"Trihinas, D., Sofokleous, C., Loulloudes, N., Foudoulis, A., Pallis, G., Dikaiakos, M.D.: Managing and monitoring elastic cloud applications. In: International Conference on Web Engineering, pp. 523\u2013527. Springer (2014)","DOI":"10.1007\/978-3-319-08245-5_42"},{"key":"3080_CR53","doi-asserted-by":"crossref","unstructured":"Yataghene, L., Amziani, M., Ioualalen, M., Tata, S.: A queuing model for business processes elasticity evaluation. In: 2014 International Workshop on Advanced Information Systems for Enterprises (IWAISE), pp. 22\u201328. IEEE (2014)","DOI":"10.1109\/IWAISE.2014.12"},{"issue":"1","key":"3080_CR54","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/1496909.1496922","volume":"43","author":"X Zhu","year":"2009","unstructured":"Zhu, X., Uysal, M., Wang, Z., Singhal, S., Merchant, A., Padala, P., Shin, K.: What does control theory bring to systems research? ACM SIGOPS Oper. Syst. Rev. 43(1), 62\u201369 (2009)","journal-title":"ACM SIGOPS Oper. Syst. Rev."}],"container-title":["Cluster Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-020-03080-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10586-020-03080-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10586-020-03080-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,27]],"date-time":"2021-03-27T00:28:04Z","timestamp":1616804884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10586-020-03080-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,27]]},"references-count":54,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,9]]}},"alternative-id":["3080"],"URL":"https:\/\/doi.org\/10.1007\/s10586-020-03080-8","relation":{},"ISSN":["1386-7857","1573-7543"],"issn-type":[{"value":"1386-7857","type":"print"},{"value":"1573-7543","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,3,27]]},"assertion":[{"value":"30 April 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 January 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 February 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 March 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}