Model-driven performance analysis of rule-based domain specific visual models |
| |
| Affiliation: | 1. Dept. Lenguajes y Ciencias de la Computación, Universidad de Málaga, Spain;2. Dept. of Informatics, King’s College London, UK;1. University of Luxembourg, Luxembourg;2. University of York, UK;1. Modeling Simulation and Design Lab, McGill University, Montreal, QC, Canada;2. Centre for Security Reliability and Trust, University of Luxembourg, Luxembourg;3. Antwerp Systems and Software Modeling, University of Antwerp, Antwerp, Belgium;1. Department of Computing Languages and Systems, University of Sevilla, ETSII, Avda. de la Reina Mercedes s/n, 41012 Sevilla, Spain;1. Department of Computer Engineering, Bergen University College, Norway;2. Department of Mathematics and Informatics, Philipps-University of Marburg, Germany;3. Department of Informatics, University of Bergen, Norway;1. SINTEF, Oslo, Norway;2. FORTH, Heraklion, Greece |
| |
| Abstract: | ContextDomain-Specific Visual Languages (DSVLs) play a crucial role in Model-Driven Engineering (MDE). Most DSVLs already allow the specification of the structure and behavior of systems. However, there is also an increasing need to model, simulate and reason about their non-functional properties. In particular, QoS usage and management constraints (performance, reliability, etc.) are essential characteristics of any non-trivial system.ObjectiveVery few DSVLs currently offer support for modeling these kinds of properties. And those which do, tend to require skilled knowledge of specialized notations, which clashes with the intuitive nature of DSVLs. In this paper we present an alternative approach to specify QoS properties in a high-level and platform-independent manner.MethodWe propose the use of special objects (observers) that can be added to the graphical specification of a system for describing and monitoring some of its non-functional properties.ResultsObservers allow extending the global state of the system with the variables that the designer wants to analyze, being able to capture the performance properties of interest. A performance evaluation tool has also been developed as a proof of concept for the proposal.ConclusionThe results show how non-functional properties can be specified in DSVLs using observers, and how the performance of systems specified in this way can be evaluated in a flexible and effective way. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
