|Performance Analysis Based on the UML SPT Profile|
(Carleton Univ., Canada)
| Duration: 90 minutes|
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.