{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:33Z","timestamp":1740099153694,"version":"3.37.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030008550"},{"type":"electronic","value":"9783030008567"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00856-7_11","type":"book-chapter","created":{"date-parts":[[2018,9,12]],"date-time":"2018-09-12T04:32:19Z","timestamp":1536726739000},"page":"168-183","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems"],"prefix":"10.1007","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":[[2018,9,13]]},"reference":[{"key":"11_CR1","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, Maui, HI, pp. 204\u2013212 (2012)","DOI":"10.1109\/NOMS.2012.6211900"},{"key":"11_CR2","unstructured":"Amziani, M.: Modeling, evaluation and provisioning of elastic service-based business processes in the cloud. Thesis. Institut National des T\u00e9l\u00e9communications, 2015. English.\u2009<\u2009NNT: 2015TELE0016\u2009>\u2009.\u2009<\u2009tel-01217186>"},{"key":"11_CR3","unstructured":"Baynat, B.: Th\u00e9orie des files d\u2019attente. Herm\u00e8s Science publications, Paris (2000). http:\/\/books.google.fr\/books?id=NWWgMQEACAAJ"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Bersani, M., Bianculli, D., et al.: 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 \u2013 PESOS 2014, Hyderabad, pp. 38\u201347 (2014)","DOI":"10.1145\/2593793.2593798"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/978-3-319-41540-6_27","volume-title":"Computer Aided Verification","author":"M Sevegnani","year":"2016","unstructured":"Sevegnani, M., Calder, M.: BigraphER: rewriting and analysis engine for bigraphs. In: Chaudhuri, S., Farzan, A. (eds.) CAV 2016. LNCS, vol. 9780, pp. 494\u2013501. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41540-6_27"},{"issue":"3","key":"11_CR6","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/s00165-012-0270-3","volume":"26","author":"M Calder","year":"2014","unstructured":"Calder, M., Sevegnani, M.: Modeling IEEE 802.11 CSMA\/CA RTS\/CTS with stochastic bigraphs with sharing. Form. Asp. Computing. 26(3), 537\u2013561 (2014)","journal-title":"Form. Asp. Computing."},{"key":"11_CR7","first-page":"687","volume":"1","author":"K Chatziprimou","year":"2013","unstructured":"Chatziprimou, K., Lano, K., Zschaler, S.: Runtime infrastructure optimization in cloud iaas structures. CloudCom 1, 687\u2013692 (2013)","journal-title":"CloudCom"},{"key":"11_CR8","doi-asserted-by":"crossref","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:1\u201361:40 (2018)","DOI":"10.1145\/3190507"},{"key":"11_CR9","unstructured":"Clavel, M., Duran, F., et al.: Maude Manual V 2.7.1 (2017)"},{"key":"11_CR10","unstructured":"Copil, G., Moldovan, D., et al.: \u201cMulti-level elasticity control of cloud services. In: Service-oriented Computing, 2013, pp. 429\u2013436 (2013)"},{"key":"11_CR11","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.: Principles of elastic processes. IEEE Internet Comput. 15, 66\u201371 (2011)","journal-title":"IEEE Internet Comput."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Freitas, L., Watson, P.: Formalizing workflows partitioning over federated clouds: Multi-level security and costs. International Journal of Computer Mathematics, 91(5), 881\u2013906 (2014)","DOI":"10.1080\/00207160.2013.820282"},{"key":"11_CR13","unstructured":"Galante, G., Bona, L.: A survey on cloud computing elasticity. In: 2012 IEEE Fifth International Conference on utility and Cloud Computing, Chicago, Il, 2012, pp. 263\u2013270 (2012)"},{"key":"11_CR14","unstructured":"Glenstrup, A.J., Damgaard, T.C., et al.: An implementation of bigraph matching\u201d. Technical Report 2010-135. ITUniversitetet Kobenhavn, Copenhagen (2010)"},{"issue":"2","key":"11_CR15","first-page":"1","volume":"40","author":"A Gurtov","year":"2012","unstructured":"Gurtov, A., Mazalov, V.: Queueing system with on-demand number of servers. Math. Appl. 40(2), 1\u201312 (2012)","journal-title":"Math. Appl."},{"key":"11_CR16","unstructured":"Herbst, N., 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, San Jose, CA: uSENIX (2013)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Wang, J., Xu, D., Lei, Z.: Formalizing the structure and behaviour of context-aware systems in bigraphs. In: First ACIS International Symposium on Software and Network Engineering (2011)","DOI":"10.1109\/SSNE.2011.17"},{"key":"11_CR18","volume-title":"A Practical Guide to the IBM Autonomic Computing Toolkit","author":"B Jacob","year":"2004","unstructured":"Jacob, B.: A Practical Guide to the IBM Autonomic Computing Toolkit. IBM, International Technical Support Organization, Raleigh (2004)"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Khebbeb, K., Sahli, H., Hameurlain, N., et al.: A BRS Based Approach for Modeling Elastic Cloud Systems. In: Service-Oriented Computing \u2013 ICSOC 2017 Workshops, pp. 5\u201317","DOI":"10.1007\/978-3-319-91764-1_1"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Kikuchi, S., Hiraishi, K.: Improving reliability in management of cloud computing infrastructure by formal methods. In: Network Operations and Management Symposium (NOMS) pp. 1\u20137 (2014)","DOI":"10.1109\/NOMS.2014.6838285"},{"key":"11_CR21","unstructured":"Letondeur, L.: Planification pour la gestion autonomique de l\u2019\u00e9lasticit\u00e9 d\u2019applications dans le cloud. Computer Science [cs]. Thesis at Joseph Fourier University, (2014). French.\u2009<\u2009tel-01140128>"},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-642-53856-8_24","volume-title":"Computer Aided Systems Theory - EUROCAST 2013","author":"M Rady","year":"2013","unstructured":"Rady, M.: Formal definition of service availability in cloud computing using OWL. In: Moreno-D\u00edaz, R., Pichler, F., Quesada-Arencibia, A. (eds.) EUROCAST 2013. LNCS, vol. 8111, pp. 189\u2013194. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-53856-8_24"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71999-1","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M Clavel","year":"2007","unstructured":"Clavel, M., et al.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71999-1"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Mansutti, A., Miculan, M., Peressotti, M.: Multi-agent systems design and prototyping with bigraphical reactive systems. In: DAIS 2014, pp. 201\u2013208 (2014)","DOI":"10.1007\/978-3-662-43352-2_16"},{"key":"11_CR25","unstructured":"Mell, P., Grance, T.: The NIST definition of cloud computing. In: National Institute of Standards & Technology, Special Publication, 2011, pp. 800\u2013145 (2011)"},{"key":"11_CR26","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":"11_CR27","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)"},{"key":"11_CR28","unstructured":"Naskos, A., Stachtiari, E., et al.: Cloud elasticity using probabilistic model checking. CoRR, vol. abs\/1405.4699 (2014)"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Netto, M., Cardonha, C., et al.: Evaluating auto-scaling strategies for cloud computing environments. In: 2014 IEEE 22nd International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems (2014)","DOI":"10.1109\/MASCOTS.2014.32"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Perrone, G., Debois, S., Hildebrandt, T.: A model checker for bigraphs. In: Proceedings of the 27th ACM Symposium in Applied Computing ACM-SAC 2012 (2012)","DOI":"10.1145\/2245276.2231985"},{"key":"11_CR31","doi-asserted-by":"publisher","unstructured":"Sahli, H., Hameurlain, N., Belala, F.: A bigraphical model for specifying elastic cloud systems and their behaviour. Int. J. Parallel Emergent Distrib. Syst. (2016). https:\/\/doi.org\/10.1080\/17445760.2016.1188927","DOI":"10.1080\/17445760.2016.1188927"},{"key":"11_CR32","unstructured":"Sahli, H., Belala, F., Bouanaka, C.: Model-checking cloud systems using BigMC. In: 8th International Workshop on Verification and Evaluation of Computer and Communication Systems. Beja\u00efa, Algeria, September 2014"},{"key":"11_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/978-3-319-08245-5_42","volume-title":"Web Engineering","author":"D Trihinas","year":"2014","unstructured":"Trihinas, D., Sofokleous, C., Loulloudes, N., Foudoulis, A., Pallis, G., Dikaiakos, M.D.: Managing and monitoring elastic cloud applications. In: Casteleyn, S., Rossi, G., Winckler, M. (eds.) ICWE 2014. LNCS, vol. 8541, pp. 523\u2013527. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08245-5_42"},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"Mendieta, M., Martin, C., et al.: A control theory approach for managing cloud computing resources: a proof-of-concept on memory partitioning. In: IEEE Second Ecuador Technical Chapters Meeting (ETCM) (2017)","DOI":"10.1109\/ETCM.2017.8247502"},{"key":"11_CR35","unstructured":"Liu, X., Zhu, X., et al.: Adaptive entitlement control of resource containers on shared servers. In: 9th IFIP\/IEEE International Symposium on Integrated Network Management (2005)"},{"issue":"1","key":"11_CR36","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/1496909.1496922","volume":"43","author":"X Zhu","year":"2009","unstructured":"Zhu, X., Uysal, M., et al.: What does control theory bring to systems research? ACM SIGOPS Oper. Sys. Rev. 43(1), 62\u201369 (2009)","journal-title":"ACM SIGOPS Oper. Sys. Rev."}],"container-title":["Lecture Notes in Computer Science","Model and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00856-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,23]],"date-time":"2019-10-23T23:09:43Z","timestamp":1571872183000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00856-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030008550","9783030008567"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00856-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"MEDI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Model and Data Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Marrakesh","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Morocco","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"medi2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/medi2018.uca.ma\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}