{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:37Z","timestamp":1740099037305,"version":"3.37.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319747804"},{"type":"electronic","value":"9783319747811"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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-319-74781-1_32","type":"book-chapter","created":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T10:22:24Z","timestamp":1517480544000},"page":"475-490","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards the Performance Analysis of Elastic Systems with e-Motions"],"prefix":"10.1007","author":[{"given":"Patr\u00edcia Ara\u00fajo","family":"de Oliveira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Dur\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Pimentel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,2,2]]},"reference":[{"issue":"3","key":"32_CR1","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1109\/MS.2011.25","volume":"28","author":"J Happe","year":"2011","unstructured":"Happe, J., Koziolek, H., Reussner, R.: Facilitating performance predictions using software components. IEEE Softw. 28(3), 27\u201333 (2011)","journal-title":"IEEE Softw."},{"doi-asserted-by":"crossref","unstructured":"Huber, N., van Hoorn, A., Koziolek, A., Brosig, F., Kounev, S.: S\/T\/A: meta-modeling run-time adaptation in component-based system architectures. In: 9th International Conference on e-Business Engineering (ICEBE), pp. 70\u201377. IEEE (2012)","key":"32_CR2","DOI":"10.1109\/ICEBE.2012.21"},{"key":"32_CR3","first-page":"71","volume":"213","author":"M Becker","year":"2013","unstructured":"Becker, M., Becker, S., Meyer, J.: SimuLizar: design-time modeling and performance analysis of self-adaptive systems. Softw. Eng. 213, 71\u201384 (2013)","journal-title":"Softw. Eng."},{"key":"32_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-54286-7","volume-title":"Engineering Scalable, Elastic, and Cost-Efficient Cloud Computing Applications","author":"S Becker","year":"2017","unstructured":"Becker, S., Brataas, G., Lehrig, S.: Engineering Scalable, Elastic, and Cost-Efficient Cloud Computing Applications. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-319-54286-7"},{"key":"32_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-02161-9_11","volume-title":"Software Engineering for Self-Adaptive Systems","author":"V Grassi","year":"2009","unstructured":"Grassi, V., Mirandola, R., Randazzo, E.: Model-driven assessment of QoS-aware self-adaptation. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 201\u2013222. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02161-9_11"},{"doi-asserted-by":"crossref","unstructured":"Falkner, K., Szabo, C., Chiprianov, V.: Model-driven performance prediction of systems of systems. In: Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, p. 44. ACM (2016)","key":"32_CR6","DOI":"10.1145\/2976767.2987689"},{"key":"32_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1007\/978-3-319-47169-3_39","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"EB Johnsen","year":"2016","unstructured":"Johnsen, E.B., Lin, J.-C., Yu, I.C.: Comparing AWS deployments using model-based predictions. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 482\u2013496. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_39"},{"key":"32_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-319-09195-2_9","volume-title":"Modelling Foundations and Applications","author":"A Moreno-Delgado","year":"2014","unstructured":"Moreno-Delgado, A., Dur\u00e1n, F., Zschaler, S., Troya, J.: Modular DSLs for flexible analysis: an e-Motions reimplementation of Palladio. In: Cabot, J., Rubin, J. (eds.) ECMFA 2014. LNCS, vol. 8569, pp. 132\u2013147. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-09195-2_9"},{"doi-asserted-by":"crossref","unstructured":"de Oliveira, P.A., Moreno-Delgado, A., Dur\u00e1n, F., Pimentel, E.: Towards the predictive analysis of cloud systems with e-Motions. In: XX Ibero-American Conference on Software Engineering (CIbSE) (2017)","key":"32_CR9","DOI":"10.1007\/978-3-319-74781-1_32"},{"doi-asserted-by":"crossref","unstructured":"Rivera, J.E., Dur\u00e1n, F., Vallecillo, A.: A graphical approach for modeling time-dependent behavior of DSLs. In: 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC), pp. 51\u201355. IEEE (2009)","key":"32_CR10","DOI":"10.1109\/VLHCC.2009.5295300"},{"doi-asserted-by":"crossref","unstructured":"Becker, S., Koziolek, H., Reussner, R.: Model-based performance prediction with the Palladio component model. In: 6th International Workshop on Software and Performance (WOSP). ACM (2007)","key":"32_CR11","DOI":"10.1145\/1216993.1217006"},{"issue":"1","key":"32_CR12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jss.2008.03.066","volume":"82","author":"S Becker","year":"2009","unstructured":"Becker, S., Koziolek, H., Reussner, R.: The Palladio component model for model-driven performance prediction. J. Syst. Softw. 82(1), 3\u201322 (2009)","journal-title":"J. Syst. Softw."},{"key":"32_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71999-1","volume-title":"All About Maude","author":"M Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.L.: All About Maude. LNCS, vol. 4350. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71999-1"},{"issue":"11\u201312","key":"32_CR14","doi-asserted-by":"crossref","first-page":"778","DOI":"10.1177\/0037549709341635","volume":"85","author":"JE Rivera","year":"2009","unstructured":"Rivera, J.E., Dur\u00e1n, F., Vallecillo, A.: Formal specification and analysis of domain specific models using Maude. Simulation 85(11\u201312), 778\u2013792 (2009)","journal-title":"Simulation"},{"key":"32_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-662-49665-7_18","volume-title":"Fundamental Approaches to Software Engineering","author":"F Dur\u00e1n","year":"2016","unstructured":"Dur\u00e1n, F., Moreno-Delgado, A., \u00c1lvarez-Palomo, J.M.: Statistical model checking of e-Motions domain-specific modeling languages. In: Stevens, P., W\u0105sowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 305\u2013322. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49665-7_18"},{"issue":"1","key":"32_CR16","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1016\/j.infsof.2012.07.009","volume":"55","author":"J Troya","year":"2013","unstructured":"Troya, J., Vallecillo, A., Dur\u00e1n, F., Zschaler, S.: Model-driven performance analysis of rule-based domain specific visual models. Inf. Softw. Technol. 55(1), 88\u2013110 (2013)","journal-title":"Inf. Softw. Technol."},{"doi-asserted-by":"crossref","unstructured":"Chinneck, J., Litoiu, M., Woodside, M.: Real-time multi-cloud management needs application awareness. In: Proceedings of the 5th ACM\/SPEC International Conference on Performance Engineering, ICPE 2014, pp. 293\u2013296. ACM (2014)","key":"32_CR17","DOI":"10.1145\/2568088.2576763"},{"doi-asserted-by":"crossref","unstructured":"Becker, M., Lehrig, S., Becker, S.: Systematically deriving quality metrics for cloud computing systems. In: 6th International Conference on Performance Engineering, pp. 169\u2013174. ACM (2015)","key":"32_CR18","DOI":"10.1145\/2668930.2688043"},{"doi-asserted-by":"crossref","unstructured":"P\u00e9rez-Palac\u00edn, D., Mirandola, R.: Uncertainties in the modeling of self-adaptive systems: a taxonomy and an example of availability evaluation. In: 5th International Conference on Performance Engineering (ICPE), pp. 3\u201314. ACM (2014)","key":"32_CR19","DOI":"10.1145\/2568088.2568095"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74781-1_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T00:20:36Z","timestamp":1570666836000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74781-1_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319747804","9783319747811"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74781-1_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}