From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL

Abstract

Model Driven Architecture (MDA) is a software development approach promoted by the OMG. MDA is based on two key concepts, models and model transformations. Several kinds of models are generally used throughout the development process to specify a software system and to support its analysis and validation. UML and its extensions, such as the UML profile for real-time systems (UML/SPT), are commonly used to define the structure and the behavior of software systems while other models, such as performance models or schedulability models, are more suitable for performance or schedulability analysis, respectively. In this paper we discuss a model transformation enabling the derivation of schedulability analysis models from UML/SPT models. As a proof of concepts, we present a prototype implementation of this model transformation using ATL. We provide a definition of the source and target metamodels using the metamodel specification language KM3 and we specify the transformation in an ATL module. We discuss the merits and limitations of our approach and of its implementation.

Canopus: A Domain-Specific Language for Modeling Performance Testing

“…Various types of performance models can be generated from a set of scenarios depicting the typical response of a system and the consumption of computational resources. This performance specification can be represented in a UML model with notes, using the UML profile for SPT [OMG05] [GK09]. The application of the model should be annotated with performance stereotypes, to assess the scalability of the application in scenarios with higher demand and competition.…”