Paper Info
Title
Transformation challenges: from software models to performance models
Abstract
software model can be analysed for non-functional requirements by extending it with suitable annotations and transforming it into analysis models for the corresponding non-functional properties. For quantitative performance evaluation, suitable annotations are standardized in the "UML Profile for Modeling and Analysis of Real-Time Embedded systems" (MARTE) and its predecessor, the "UML Profile for Schedulability, Performance and Time". A range of different performance model types (such as queueing networks, Petri nets, stochastic process algebra) may be used for analysis. In this work, an intermediate "Core Scenario Model" (CSM) is used in the transformation from the source software model to the target performance model. CSM focuses on how the system behaviour uses the system resources. The semantic gap between the software model and the performance model must be bridged by (1) information supplied in the performance annotations, (2) in interpretation of the global behaviour expressed in the CSM and (3) in the process of constructing the performance model. Flexibility is required for specifying sets of alternative cases, for choosing where this bridging information is supplied, and for overriding values. It is also essential to be able to trace the source of values used in a particular performance estimate. The performance model in turn can be used to verify responsiveness and scalability of a software system, to discover architectural limitations at an early stage of development, and to develop efficient performance tests. This paper describes how the semantic gap between software models in UML+MARTE and performance models (based on queueing or Petri nets) can be bridged using transformations based on CSMs, and how the transformation challenges are addressed.
Year
DOI
Venue
2014
10.1007/s10270-013-0385-x
Software and Systems Modeling (SoSyM)
Keywords
Field
DocType
Software performance, Performance analysis, Model transformation, UML, MARTE profile, Layered queueing networks
Model transformation,Petri net,Unified Modeling Language,Systems engineering,Computer science,Semantic gap,Software system,Software performance testing,Software,Applications of UML
Journal
Volume
Issue
ISSN
13
4
1619-1374
Citations 
PageRank 
References 
19
0.72
29
Authors
5
Name
Order
Citations
PageRank
Murray Woodside1121581.20
Dorina C. Petriu285361.46
José Merseguer3382.20
Dorin Bogdan Petriu429415.43
Mohammad Alhaj5705.27