T1: Software performance models
	This tutorial consists of two parts:
	Software Model to Performance Model Transformations Antinisca Di Marco Vittorio Cortellessa Paola Inverardi (Univ. of L'Aquila, Italy) Duration: 90 minutes ABSTRACT: It is widely recognized that in order to make performance validation an integrated activity along the software lifecycle it is crucial to be supported from automated approaches. Easiness to annotate software models with performance parameters and efficient translations of the annotated models into "ready-to-validate" models are the key challenges in this direction. Several methodologies have been introduced in the last few years to perform the annotation and translation tasks. This tutorial introduces the attendance to the main methodologies for annotating and transforming software models into performance models. We shortly introduce the topic, and then the methodology descriptions are driven from a common simple example, in order to show how they can be used in practice. Along the tutorial, the methodologies are classified following different dimensions and parameters. Quite recently the Object Management Group has published a Call for Proposal aimed at standardizing the model-to-model transformation domain. The standardization process seems to be in its final phase, and the different proposals are going to be merged into standard OMG specifications. We also intend to show how these approaches shall take advantage from the OMG standard to come.
	Performance Analysis Based on the UML SPT Profile Dorina Petriu (Carleton Univ., Canada) Duration: 90 minutes ABSTRACT: The "UML Profile for Schedulability, Performance and Time" (STP) standardized by OMG enables the use of UML models for quantitative predictions regarding schedulability and performance characteristics. The tutorial will discuss the capabilities and limitations of the present version of the Performance Profile, which is due for an upgrade to align it with UML 2.0. Moreover, the STP Profile needs to be harmonized with the emerging "UML Profile for Quality-of-Service and Fault Tolerance" which supports modelling a wide range of QoS concepts. The tutorial will continue by presenting a two-step approach developed at Carleton University for building automatically performance models from UML design specifications. In the first step, an annotated UML model describing a set of scenarios and their use of resources is transformed into an intermediate format, named Core Scenario Model (CSM). CSM is based on the STP profile, and contains only the relevant performance information extracted from different UML diagrams in a form that can be checked for consistency. In the second step, the CSM model is transformed into a performance model. Different performance modelling formalisms are considered, such as layered queueing networks, timed Petri nets and simulation.

Web Maintenance Person.