Software Model-based Performance Analysis

This chapter starts with a brief review of performance modeling formalisms and a discussion of the performance annotations that need to be added to UML software models in order to enable performance analysis. The principles for transforming annotated software models into performance models are then presented. Such model transformations must bridge a large semantic gap between the source and the target model; hence a pivot model is often used. An example of such a transformation is given, from UML extended with the MARTE profile to the Layered Queueing Network performance model. The role of an intermediate pivot language called Core Scenario Model is also discussed. The chapter ends with a discussion of the lessons learned and future challenges for integrating the analysis of multiple non-functional properties in the context of MDE