{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:45:25Z","timestamp":1726055125181},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030322120"},{"type":"electronic","value":"9783030322137"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-32213-7_5","type":"book-chapter","created":{"date-parts":[[2019,10,15]],"date-time":"2019-10-15T19:04:57Z","timestamp":1571166297000},"page":"64-77","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Modeling and Verification of Cloud Elasticity with Maude and LTL"],"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":[[2019,10,16]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Al-Dhuraibi, Y., Paraiso, F., Djarallah, N., Merle, P.: Autonomic vertical elasticity of Docker containers with ElasticDocker. In: 2017 IEEE 10th International Conference on Cloud Computing (CLOUD), pp. 472\u2013479. IEEE (2017)","DOI":"10.1109\/CLOUD.2017.67"},{"key":"5_CR2","unstructured":"Amziani, M.: Modeling, evaluation and provisioning of elastic service-based business processes in the cloud. Theses, Institut National des T\u00e9l\u00e9communications, June 2015"},{"key":"5_CR3","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":"5_CR4","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":"5_CR5","unstructured":"Clavel, M., et al.: Maude Manual (Version 2.7. 1) (2016)"},{"key":"5_CR6","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: How to Specify, Program and Verify Systems in Rewriting Logic","author":"M Clavel","year":"2007","unstructured":"Clavel, M., et al.: All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic. LNCS, vol. 4350. Springer, Heidelberg (2007). \n                    https:\/\/doi.org\/10.1007\/978-3-540-71999-1"},{"issue":"2","key":"5_CR7","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M Clavel","year":"2002","unstructured":"Clavel, M., et al.: Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2), 187\u2013243 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Dupont, S., Lejeune, J., Alvares, F., Ledoux, T.: Experimental analysis on autonomic strategies for cloud elasticity. In: 2015 International Conference on Cloud and Autonomic Computing, pp. 81\u201392. IEEE (2015)","DOI":"10.1109\/ICCAC.2015.22"},{"key":"5_CR9","unstructured":"IBM Group, et al.: An architectural blueprint for autonomic computing. IBM White paper (2005)"},{"key":"5_CR10","unstructured":"Herbst, N.R., Kounev, S., Reussner, R.H.: Elasticity in cloud computing: what it is, and what it is not. In: ICAC, vol. 13, pp. 23\u201327 (2013)"},{"issue":"3","key":"5_CR11","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/1380584.1380585","volume":"40","author":"MC Huebscher","year":"2008","unstructured":"Huebscher, M.C., McCann, J.A.: A survey of autonomic computing\u2013degrees, models, and applications. ACM Comput. Surv. (CSUR) 40(3), 7 (2008)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","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.H., Bellatreche, L., Golfarelli, M., M\u00e9ry, D., Ordonez, C. (eds.) MEDI 2018. LNCS, vol. 11163, pp. 168\u2013183. Springer, Cham (2018). \n                    https:\/\/doi.org\/10.1007\/978-3-030-00856-7_11"},{"issue":"1","key":"5_CR13","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. Inst. Eng. Technol. 13(1), 25\u201335 (2018)","journal-title":"IET Softw. Inst. Eng. Technol."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Letondeur, L., Etchevers, X., Coupaye, T., Boyer, F., De Palma, N.: Architectural model and planification algorithm for the self-management of elastic cloud applications. In: 2014 International Conference on Cloud and Autonomic Computing, pp. 172\u2013179. IEEE (2014)","DOI":"10.1109\/ICCAC.2014.29"},{"key":"5_CR15","unstructured":"Sahli, H.: A formal framework for modelling and verifying cloud-based elastic systems. Theses, Universit\u00e9 Constantine 2 - Abdelhamid Mehri, February 2017. \n                    https:\/\/hal.archives-ouvertes.fr\/tel-01484662"},{"key":"5_CR16","unstructured":"Schoren, R.: Correspondence between Kripke structures and labeled transition systems for model minimization. In: Seminar Project, Department of Computer Science, Technische Universiteit Eindhoven (2011)"}],"container-title":["Communications in Computer and Information Science","New Trends in Model and Data Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-32213-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,15]],"date-time":"2019-10-15T19:05:34Z","timestamp":1571166334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-32213-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030322120","9783030322137"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-32213-7_5","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"16 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"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":"Toulouse","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"medi2019a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.irit.fr\/MEDI2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"41","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Peer Review Information from Medi International Workshops (DETECT, DSSGA and TRIDENT): out of 34 submissions and 1 invited paper, 13 full papers and 3 short papers were accepted","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}