Model-Based EIS Performability Analysis

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

[img] PDF

Download (151kB)


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.

Item Type: Technical report
Uncontrolled Keywords: UML 2.0, Protocol Engineering, Tool Integration, Verification, Performance Analysis, Performability
Subjects: Applied computing > Physical sciences and engineering > Engineering
Date Deposited: 19 Apr 2004
Last Modified: 10 Oct 2019 15:35

Actions (login required)

View Item View Item