Computing Publications

Publications Home » Experimental Evaluation of the UM...

Experimental Evaluation of the UML Profile for Schedulability, Performance and Time

Andrew Bennett, A. J. Field, Murray Woodside

Conference or Workshop Paper
UML 2004, 7th International Conference on the Unified Modeling Language
October, 2004
Lecture Notes in Computer Science
Volume 3273
pp.143–157
Springer
DOI 10.1007/b101232
Abstract

We present a performance engineering methodology based upon the construction and solution of performance models generated mechanically from UML sequence diagrams, annotated using the UML Profile for Schedulability, Performance and Time (SPT). The target platform for the performance analysis is the LTSA (Labelled Transition System Analyser) tool which supports model solution via discrete-event simulation. Simultaneously, LTSA allows functional properties of a system to explored formally, and we show how this can be used to detect functional anomalies, such as unnecessary sequentialisation and deadlock, prior to analysing the performance aspects of a system. The approach is evaluated with reference to a case study – a simple robot-based manufacturing system. The main objective is to explore the ways in which UML, the SPT profile and the underlying LTSA tool can be used collectively to design systems that satisfy specified behavioural and performance properties, through successive refinement.

Keywords
AESOP
PDF of full publication (272 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.