James Skene and Wolfgang Emmerich
Dept. of Computer Science,
University College London
Dept. of Computer Science
Gower Street, London, WC1E 6BT UK
Abstract:
Because the non-functional properties of a software system
(e.g. its performance) often depend on its large-scale design,
rework to address failed non-functional requirements
can prove extremely costly. Hence, it is desirable to evaluate
the implications of an architectural design before implementing
it. However, existing evaluation methods have
been largely ignored by software engineering practitioners
due to uncertainty surrounding their cost and difficulty.
We present an approach to managing formal models using
Model Driven Architecture (MDA) technologies that aims
to deliver analysis techniques cheaply through integration
with the design tools and repositories that practitioners use,
and which captures expert modelling knowledge in domainspecific
languages and meta-model constraints. We demonstrate
our approach with an example in which queuing network
models are associated with UML design models to
predict average case performance.
|
Updated on: 23/05/2003
|
|