James Skene and Wolfgang Emmerich
Dept. of Computer Science,
University College London
Dept. of Computer Science
Gower Street, London, WC1E 6BT UK
Abstract:
This paper describes the particular motivation for performance analysis in the do-main
of Enterprise Information Systems (EISs) and argues that the Model Driven
Architecture (MDA) is a suitable framework for integrating formal analysis tech-niques
with engineering methods appropriate to the domain. The MDA permits
natural and economical modelling of design and analysis domains and the relation-ships
between them, supporting both manual and automatic analysis. It incorpo-rates
the Unified Modelling Language (UML), which is extensively used to capture
system designs. We present our general modelling approach and outline its use
in relating models of Enterprise Java Bean (EJB) applications, annotated using
standard profiles, to analysable formal models.
 |
Updated on: 10/02/2003
|
|