UCT CS Research Document Archive

Model-Based EIS Performability Analysis

de Wet, Nico Dirk and Pieter S. Kritzinger (2004) Model-Based EIS Performability Analysis. Technical Report CS04-01-00, Department of Computer Science, University of Cape Town.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.


In this paper we propose a methodology for the modelling, verification and performance evaluation of communication components of software for enterprise information systems. The methodology is centered upon model-driven development using a subset of UML 2.0 diagrams. It is supported by the proSPEX model processing tool which offers a simulation-based executable verification environment. The model-based development of communication components of wireless middleware solutions is discussed as a motivational example.

EPrint Type:Departmental Technical Report
Keywords:UML 2.0, Protocol Engineering, Tool Integration, Verification,
Performance Analysis, Performability
Subjects:J Computer Applications: J.6 COMPUTER-AIDED ENGINEERING
ID Code:111
Deposited By:de Wet, Nico Dirk
Deposited On:19 April 2004