Integrating performance analysis in the model driven development of software product lines

The paper proposes to integrate performance analysis in the early phases of the model-driven development process for Software Product Lines (SPL). We start by adding generic performance annotations to the UML model representing the set of core reusable SPL assets. The annotations are generic and use the MARTE Profile recently adopted by OMG. A first model transformation realized in the Atlas Transformation Language (ATL), which is the focus of this paper, derives the UML model of a specific product with concrete MARTE performance annotations from the SPL model. A second transformation generates a Layered Queueing Network performance model for the given product by applying an existing transformation approach named PUMA, developed in previous work. The proposed technique is illustrated with an e-commerce case study that models the commonality and variability in both structural and behavioural SPL views. A product is derived and the performance of two design alternatives is compared

Lightweight Testing of Communication Networks with e-Motions

This paper illustrates the use of high-level domain specific models to specify and test some performance properties of complex systems, in particular Communication Networks, using a light-weight approach. By following a Model-Driven Engineering (MDE) approach, we show the benefits of constructing very abstract models of the systems under test, which can then be easily prototyped and analysed to explore their properties. For this purpose we use e-Motions, a language and its supporting toolkit that allows end-user modelling of real-time systems and their analysis in a graphical manner.Junta de Andalucía P07-TIC-03184Ministerio de Ciencia e Innovación TIN2008-0310

Parameter dependencies for reusable performance specifications of software components

To avoid design-related per­for­mance problems, model-driven performance prediction methods analyse the response times, throughputs, and re­source utilizations of software architectures before and during implementation. This thesis proposes new modeling languages and according model transformations, which allow a reusable description of usage profile dependencies to the performance of software components. Predictions based on this new methods can support performance-related design decisions

Análisis de rendimiento de diagramas de secuencia mediante redes Petri

Este Trabajo Fin de Grado implementa un mecanismo para analizar rendimiento en fases tempranas en el desarrollo software mediante técnicas de Ingeniería de Prestaciones Software (en inglés, SPE, Software Performance Engineering). Este tipo de desarrollo software se centra en el análisis de comportamiento dinámico de los sistemas software para obtener datos de su rendimiento. Esto se hace muy difícil con el uso generalizado del estándar UML (Unified Modelling Language) propuesto por OMG (Object Management Group). UML trata de estandarizar los diagramas del desarrollo software. Estos diagramas permiten un nivel de abstracción que proporciona una herramienta perfecta para el diseño de software. Sin embargo, estos diagramas son semi formales. Los diagramas semiformales son aquellos que nos permiten representar el software de forma más semejante al código, pero conserva un nivel de abstracción suficiente como para ser entendidos con facilidad tanto por personal cualificado como no cualificado. Estos diagramas por tanto están pensados para facilitar la comprensión y no tanto como para usarlos de forma activa en un análisis de rendimiento. Por esa razón, se han propuesto perfiles UML, como MARTE, que permiten añadir a estos diagramas información que posibilitan el análisis de rendimiento. En el caso de MARTE, proporciona unas estructuras de datos sobre el funcionamiento útiles para los análisis de prestaciones. A pesar de ello, la limitación que tenemos con UML y un perfil como MARTE unidos es que, por mucho que permitan la representación de parámetros para la mejor visualización y representación del diseño, no permiten hacer un análisis automático. Por ello, este TFG trata de cómo utilizar los diagramas UML, tan comúnmente utilizados hoy en día, para poder hacer un análisis de rendimiento que siente las bases de un diseño más eficiente desde una fase temprana del desarrollo. Para lograr esto, se harán uso de las propiedades de las SPN (Stochastic Petri Nets). Este tipo particular de grafos dirigidos permite representar sistemas temporizados ya que son un caso particular de las cadenas de Márkov. Esta característica hace ideales a las SPN para representar sistemas software, ya sean distribuidos, paralelos o concurrentes. Esta formalización, por tanto, aparte de permitirnos representar un sistema software, nos permite además analizar su comportamiento dinámico. Por ello, para hacer un análisis de rendimiento de un diagrama UML se necesita transformarlo a una red de Petri. Este TFG trata uno de los diagramas dinámicos más utilizados que es el diagrama de secuencia. Estos diagramas sirven para representar las comunicaciones entre los distintos módulos del sistema a lo largo del tiempo. Por tanto, es muy útil el análisis de un diagrama de secuencia para conocer el comportamiento dinámico de un sistema. Por último, una herramienta muy extendida para el desarrollo software es Eclipse, por ello, en este TFG se muestra el desarrollo de un plugin para Eclipse que analiza el rendimiento de los diagramas de secuencia por medio de una transformación a redes Petri

Modelling Event-Based Interactions in Component-Based Architectures for Quantitative System Evaluation

This dissertation thesis presents an approach enabling the modelling and quality-of-service prediction of event-based systems at the architecture-level. Applying a two-step model refinement transformation, the approach integrates platform-specific performance influences of the underlying middleware while enabling the use of different existing analytical and simulation-based prediction techniques

Modelling Event-Based Interactions in Component-Based Architectures for Quantitative System Evaluation

This dissertation thesis presents an approach enabling the modelling and quality-of-service prediction of event-based systems at the architecture-level. Applying a two-step model refinement transformation, the approach integrates platform-specific performance influences of the underlying middleware while enabling the use of different existing analytical and simulation-based prediction techniques

Model-Driven Online Capacity Management for Component-Based Software Systems

Capacity management is a core activity when designing and operating distributed software systems. It comprises the provisioning of data center resources and the deployment of software components to these resources. The goal is to continuously provide adequate capacity, i.e., service level agreements should be satisfied while keeping investment and operating costs reasonably low. Traditional capacity management strategies are rather static and pessimistic: resources are provisioned for anticipated peak workload levels. Particularly, enterprise application systems are exposed to highly varying workloads, leading to unnecessarily high total cost of ownership due to poor resource usage efficiency caused by the aforementioned static capacity management approach. During the past years, technologies emerged that enable dynamic data center infrastructures, e. g., leveraged by cloud computing products. These technologies build the foundation for elastic online capacity management, i.e., adapting the provided capacity to workload demands based on a short-term horizon. Because manual online capacity management is not an option, automatic control approaches have been proposed. However, most of these approaches focus on coarse-grained adaptation actions and adaptation decisions are based on aggregated system-level measures. Architectural information about the controlled software system is rarely considered. This thesis introduces a model-driven online capacity management approach for distributed component-based software systems, called SLAstic. The core contributions of this approach are a) modeling languages to capture relevant architectural information about a controlled software system, b) an architecture-based online capacity management framework based on the common MAPE-K control loop architecture, c) model-driven techniques supporting the automation of the approach, d) architectural runtime reconfiguration operations for controlling a system’s capacity, e) as well as an integration of the Palladio Component Model. A qualitative and quantitative evaluation of the approach is performed by case studies, lab experiments, and simulation