{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:35:49Z","timestamp":1743122149338,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319917634"},{"type":"electronic","value":"9783319917641"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91764-1_1","type":"book-chapter","created":{"date-parts":[[2018,6,15]],"date-time":"2018-06-15T09:45:50Z","timestamp":1529055950000},"page":"5-17","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A BRS Based Approach for Modeling Elastic Cloud Systems"],"prefix":"10.1007","author":[{"given":"Khaled","family":"Khebbeb","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hamza","family":"Sahli","sequence":"additional","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,6,16]]},"reference":[{"key":"1_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":"1_CR2","unstructured":"Amziani, M.: Modeling, evaluation and provisioning of elastic service-based business processes in the cloud. Other [cs.OH]. Institut National des T\u00e9l\u00e9communications (2015). English. <NNT: 2015TELE0016>"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Bersani, M., Bianculli, D., Dustdar, S., Gambi, A., Ghezzi, C., Krsti\u0107, S.: Towards the formalization of properties of cloudbased 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"},{"issue":"4","key":"1_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2007.04.013","volume":"175","author":"L Birkedal","year":"2007","unstructured":"Birkedal, L., Christoffer Damgaard, T., Glenstrup, A.J., Milner, R.: Matching of Bigraphs. Electr. Notes Theor. Comput. Sci. 175(4), 3\u201319 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"3","key":"1_CR5","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. Comput. 26(3), 537\u2013561 (2014)","journal-title":"Form. Asp. Comput."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Chatziprimou, K., Lano, K., Zschaler, S.: Runtime infrastructure optimisation in cloud IaaS structures. In: CloudCom, vol. 1, pp. 687\u2013692 (2013)","DOI":"10.1109\/CloudCom.2013.112"},{"key":"1_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71999-1","volume-title":"All About Maude \u2013 A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic","author":"M Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude \u2013 A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71999-1"},{"key":"1_CR8","unstructured":"Clavel, M., Duran, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual, Version 2.6 January 2011"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"766","DOI":"10.1007\/11523468_62","volume-title":"Automata, Languages and Programming","author":"G Conforti","year":"2005","unstructured":"Conforti, G., Macedonio, D., Sassone, V.: Spatial logics for bigraphs. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 766\u2013778. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11523468_62"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/978-3-642-45005-1_31","volume-title":"Service-Oriented Computing","author":"G Copil","year":"2013","unstructured":"Copil, G., Moldovan, D., Truong, H.-L., Dustdar, S.: Multi-level elasticity control of cloud services. In: Basu, S., Pautasso, C., Zhang, L., Fu, X. (eds.) ICSOC 2013. LNCS, vol. 8274, pp. 429\u2013436. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-45005-1_31"},{"key":"1_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":"1_CR12","unstructured":"Faithfull, A., Perrone, G., Hildebrandt, T.T.: Big red: a development environment for bigraphs. In: Selected Revised Papers from the 4th International Workshop on Graph Computation Models (GCM 2012) (2012).https:\/\/journal.ub.tu-berlin.de\/eceasst\/article\/view\/835\/829"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Galante, G., Bona, L.: A survey on cloud computing elasticity. In: 2012 IEEE Fifth International Conference on Utility and Cloud Computing, Chicago, Il, pp. 263\u2013270 (2012)","DOI":"10.1109\/UCC.2012.30"},{"key":"1_CR14","unstructured":"Letondeur, L.: Planification pour la gestion autonomique de l\u2019\u00e9lasticit\u00e9 d\u2019applications dans le cloud. Computer Science [cs], Thesis. Joseph Fourier University (2014). French"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43352-2_16","volume-title":"Distributed Applications and Interoperable Systems, DAIS 2014","author":"A Mansutti","year":"2014","unstructured":"Mansutti, A., Miculan, M., Peressotti, M.: Multi-agent systems design and prototyping with bigraphical reactive systems. In: Magoutis, K., Pietzuch, P. (eds.) Distributed Applications and Interoperable Systems, DAIS 2014. Lecture Notes in Computer Science, vol. 8460. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-43352-2_16"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Mell, P., Grance, T.: The NIST Definition of Cloud Computing, SP 800\u2013145. National Institute of Standards & Technology, Special Publication (2011)","DOI":"10.6028\/NIST.SP.800-145"},{"key":"1_CR17","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":"1_CR18","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":"1_CR19","doi-asserted-by":"publisher","DOI":"10.1080\/17445760.2016.1188927","author":"H Sahli","year":"2016","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","journal-title":"Int. J. Parallel Emergent Distrib. Syst."},{"key":"1_CR20","unstructured":"Sahli, H.: Mod\u00e9lisation des Syst\u00e8mes \u00e9lastiques Cloud: vers la V\u00e9rification Formelle de leur Comportement. Informatique ubiquitaire. Thesis of Constantine 2. Abdelhamid Mehri University (2017). French"},{"key":"1_CR21","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":"1_CR22","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":"1_CR23","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. USENIX, San Jose (2013)"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Dupont, S., Lejeune, J., Alvares, F., Ledoux, T.: Experimental analysis on autonomic strategies for cloud elasticity. In: Proceedings of 2015 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Cambridge, USA, pp. 89\u201390, September 2015","DOI":"10.1109\/ICCAC.2015.22"},{"issue":"5","key":"1_CR25","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1109\/TSE.2010.35","volume":"36","author":"M Sama","year":"2010","unstructured":"Sama, M., Elbaum, S.G., Raimondi, F., Rosenblum, D.S., Wang, Z.: Context-aware adaptive applications: fault patterns and their automated identification. IEEE Trans. Softw. Eng. 36(5), 644\u2013661 (2010)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2017 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91764-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T16:03:20Z","timestamp":1710259400000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-91764-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319917634","9783319917641"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91764-1_1","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":"16 June 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Malaga","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 November 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icsoc.org","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}