Abstract
We address some of the limitations for extending and validating MDE-based implementations of NFP analysis tools by presenting a modular, model-based partial reimplementation of one well-known analysis framework, namely the Palladio Architecture Simulator. We specify the key DSLs from Palladio in the e-Motions system, describing the basic simulation semantics as a set of graph transformation rules. Different properties to be analysed are then encoded as separate, parametrised DSLs, independent of the definition of Palladio. These can then be composed with the base Palladio DSL to generate specific simulation environments. Models created in the Palladio IDE can be fed directly into this simulation environment for analysis. We demonstrate two main benefits of our approach: 1) The semantics of the simulation and the non-functional properties to be analysed are made explicit in the respective DSL specifications, and 2) because of the compositional definition, we can add definitions of new non-functional properties and their analyses.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Balsamo, S., DiMarco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: A survey. IEEE Transactions on Software Engineering 30(5), 295–310 (2004)
Becker, S., Grunske, L., Mirandola, R., Overhage, S.: Performance prediction of component-based systems: A survey from an engineering perspective. In: Reussner, R., Stafford, J.A., Ren, X.-M. (eds.) Architecting Systems. LNCS, vol. 3938, pp. 169–192. Springer, Heidelberg (2006)
Becker, S., Koziolek, H., Reussner, R.: Model-based performance prediction with the Palladio component model. In: Proc. 6th Int’l Workshop on Software and Performance (WOSP 2007). ACM (2007)
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)
Durán, F., Orejas, F., Zschaler, S.: Behaviour protection in modular rule-based system specifications. In: Martí-Oliet, N., Palomino, M. (eds.) WADT 2012. LNCS, vol. 7841, pp. 24–49. Springer, Heidelberg (2013)
Durán, F., Zschaler, S., Troya, J.: On the reusable specification of non-functional properties in DSLs. In: Czarnecki, K., Hedin, G. (eds.) SLE 2012. LNCS, vol. 7745, pp. 332–351. Springer, Heidelberg (2013)
Fritzsche, M., Johannes, J., Zschaler, S., Zherebtsov, A., Terekhov, A.: Application of tracing techniques in model-driven performance engineering. In: 4th ECMDA Traceability Workshop (2008)
Grassi, V., Mirandola, R.: A model-driven approach to predictive non functional analysis of component-based systems. In: Proc. Workshop on Models for Non-Functional Aspects of Component-Based Software (2004)
Happe, J., Koziolek, H., Reussner, R.: Facilitating performance predictions using software components. IEEE Software 28(3), 27–33 (2011)
Moreno-Delgado, A., Troya, J., Durán, F., Vallecillo, A.: On the Modular Specification of NFPs: A Case Study. In: Proc. of XVIII JISBD, pp. 302–316 (2013)
Rivera, J.E., Durán, F., Vallecillo, A.: A graphical approach for modeling time-dependent behavior of DSLs. In: Proc. of VL/HCC 2009. IEEE (2009)
Röttger, S., Zschaler, S.: Tool support for refinement of non-functional specifications. Software and Systems Modeling Journal (SoSyM) 6(2), 185–204 (2007)
Smith, C.U., Williams, L.G.: Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software. Object-Technology Series. Addison-Wesley (2002)
Spinner, S., Kounev, S., Meier, P.: Stochastic modeling and analysis using QPME: Queueing petri net modeling environment v2.0. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol. 7347, pp. 388–397. Springer, Heidelberg (2012)
Troya, J., Rivera, J.E., Vallecillo, A.: Simulating Domain Specific Visual Models by Observation. In: Proc. of the 2010 Spring Simulation Multiconference, SpringSim 2010, pp. 128:1–128:8. ACM, New York (2010)
Troya, J., Vallecillo, A.: A domain specific visual language for modeling power-aware reliability in wireless sensor networks. In: Proc. of NFPinDSML 2012, pp. 3:1–3:6. ACM (2012)
Troya, J., Vallecillo, A., Durán, F., Zschaler, S.: Model-driven performance analysis of rule-based domain specific visual models. Information and Software Technology 55(1), 88–110 (2013)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Moreno-Delgado, A., Durán, F., Zschaler, S., Troya, J. (2014). Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio. In: Cabot, J., Rubin, J. (eds) Modelling Foundations and Applications. ECMFA 2014. Lecture Notes in Computer Science, vol 8569. Springer, Cham. https://doi.org/10.1007/978-3-319-09195-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-09195-2_9
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-09194-5
Online ISBN: 978-3-319-09195-2
eBook Packages: Computer ScienceComputer Science (R0)