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.
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|
|Deposited By:||de Wet, Nico Dirk|
|Deposited On:||19 April 2004|