Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio

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.

[1]  Antonio Vallecillo,et al.  A graphical approach for modeling time-dependent behavior of DSLs , 2009, 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).

[2]  Steffen Zschaler,et al.  Application of Tracing Techniques in Model-Driven Performance Engineering , 2008 .

[3]  Antonio Vallecillo,et al.  A domain specific visual language for modeling power-aware reliability in wireless sensor networks , 2012, NFPinDSML '12.

[4]  Vincenzo Grassi,et al.  A model-driven approach to performability analysis of dynamically reconfigurable component-based systems , 2007, WOSP '07.

[5]  Steffen Zschaler,et al.  Tool Support for Refinement of Non-functional Specifications , 2007, Software & Systems Modeling.

[6]  Antonio Vallecillo,et al.  Simulating domain specific visual models by observation , 2010, SpringSim.

[7]  Wolfgang Reisig,et al.  Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.

[8]  Paola Inverardi,et al.  Model-based performance prediction in software development: a survey , 2004, IEEE Transactions on Software Engineering.

[9]  Francisco Durán,et al.  Behaviour Protection in Modular Rule-Based System Specifications , 2012, WADT.

[10]  Antonio Vallecillo,et al.  On the Modular Specification of NFPs: A Case Study , 2013 .

[11]  Laurence Tratt,et al.  Eco: A Language Composition Editor , 2014, SLE.

[12]  Heiko Koziolek,et al.  Facilitating Performance Predictions Using Software Components , 2011, IEEE Software.

[13]  Samuel Kounev,et al.  Stochastic Modeling and Analysis Using QPME: Queueing Petri Net Modeling Environment v2.0 , 2012, Petri Nets.

[14]  Steffen Becker,et al.  Model-Based performance prediction with the palladio component model , 2007, WOSP '07.

[15]  Steffen Becker,et al.  Performance Prediction of Component-Based Systems - A Survey from an Engineering Perspective , 2004, Architecting Systems with Trustworthy Components.

[16]  Vincenzo Grassi,et al.  A Model-driven Approach to Predictive Non Functional Analysis of Component-based Systems , 2004 .

[17]  Narciso Martí-Oliet,et al.  All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic , 2007, All About Maude.

[18]  Uwe Fink,et al.  Performance Solutions A Practical Guide To Creating Responsive Scalable Software , 2016 .

[19]  Martin Wirsing,et al.  Extraction of Structured Programs from Specification Proofs , 1999, WADT.

[20]  Francisco Durán,et al.  On the Reusable Specification of Non-functional Properties in DSLs , 2012, SLE.

[21]  Antonio Vallecillo,et al.  Model-driven performance analysis of rule-based domain specific visual models , 2013, Inf. Softw. Technol..