Abstract
We use graph transformation to define an adaptive component model, what allows us to carry on predictive analysis of dynamic architectures through simulations. Specifically, we build on an e-Motions definition of the Palladio component model, and then specify adaptation mechanisms as generic adaptation rules. We show how the simulation-based analysis available in such a static definition can be extended in order to use the collected information on metrics such as response time, throughput and resource usage to adapt to the workload of the system and the environmental conditions. We illustrate our approach with rules modeling the scale in and out of servers, fired in response to the violation of specified constraints on the usage of resources. We evaluate this scenario by analyzing its performance, and discuss on its consequences in practice.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Happe, J., Koziolek, H., Reussner, R.: Facilitating performance predictions using software components. IEEE Softw. 28(3), 27–33 (2011)
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–77. IEEE (2012)
Becker, M., Becker, S., Meyer, J.: SimuLizar: design-time modeling and performance analysis of self-adaptive systems. Softw. Eng. 213, 71–84 (2013)
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
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–222. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02161-9_11
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)
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–496. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47169-3_39
Moreno-Delgado, A., Durán, 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–147. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-09195-2_9
de Oliveira, P.A., Moreno-Delgado, A., Durán, F., Pimentel, E.: Towards the predictive analysis of cloud systems with e-Motions. In: XX Ibero-American Conference on Software Engineering (CIbSE) (2017)
Rivera, J.E., Durán, 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–55. IEEE (2009)
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)
Becker, S., Koziolek, H., Reussner, R.: The Palladio component model for model-driven performance prediction. J. Syst. Softw. 82(1), 3–22 (2009)
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-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
Rivera, J.E., Durán, F., Vallecillo, A.: Formal specification and analysis of domain specific models using Maude. Simulation 85(11–12), 778–792 (2009)
Durán, F., Moreno-Delgado, A., Álvarez-Palomo, J.M.: Statistical model checking of e-Motions domain-specific modeling languages. In: Stevens, P., Wąsowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 305–322. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-662-49665-7_18
Troya, J., Vallecillo, A., Durán, F., Zschaler, S.: Model-driven performance analysis of rule-based domain specific visual models. Inf. Softw. Technol. 55(1), 88–110 (2013)
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–296. ACM (2014)
Becker, M., Lehrig, S., Becker, S.: Systematically deriving quality metrics for cloud computing systems. In: 6th International Conference on Performance Engineering, pp. 169–174. ACM (2015)
Pérez-Palacín, 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–14. ACM (2014)
Acknowledgements
This work has been partially supported by MINECO/FEDER projects TIN2014-52034-R and TIN2015-67083-R, by Universidad de Málaga, Campus de Excelencia Internacional Andalucía Tech, and by funding agency CNPq of the Ministry of Science and Technology (MCT), Brazil.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
de Oliveira, P.A., Durán, F., Pimentel, E. (2018). Towards the Performance Analysis of Elastic Systems with e-Motions. In: Cerone, A., Roveri, M. (eds) Software Engineering and Formal Methods. SEFM 2017. Lecture Notes in Computer Science(), vol 10729. Springer, Cham. https://doi.org/10.1007/978-3-319-74781-1_32
Download citation
DOI: https://doi.org/10.1007/978-3-319-74781-1_32
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74780-4
Online ISBN: 978-3-319-74781-1
eBook Packages: Computer ScienceComputer Science (R0)