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]](http://pubs.cs.uct.ac.za/style/images/fileicons/application_pdf.png) |
PDF
EIS_Perform.pdf Download (151kB) |
Abstract
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 |
| URI: | http://pubs.cs.uct.ac.za/id/eprint/111 |
Actions (login required)
 |
View Item |