This paper describes the particular motivation for performance analysis in the domain of Enterprise Information Systems (EISs) and argues that the Model Driven Architecture (MDA) is a suitable framework for integrating formal analysis techniques with engineering methods appropriate to the domain. The MDA permits natural and economical modelling of design and analysis domains and the relationships between them, supporting both manual and automatic analysis. It incorporates 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.
