De Wet, Nico and Kritzinger, Pieter (2004) Towards Model-Based Communication Protocol Performability Analysis with UML 2.0, Proceedings of Southern African Telecommunication Networks and Applications Conference (SATNAC) 2004, 6 - 8 September 2004, Spier Wine Estate.
PDF
No_105_-_de_Wet.pdf Download (214kB) |
Abstract
In this paper we propose a methodology for the modelling, verification and performance evaluation of communication components of distributed application building software. 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 translates UML 2.0 specifications into executable simulation models. In our proSPEX discussion we focus on the translation from a UML 2.0 model to a simulation model. The model-based development of communication components of wireless middleware solutions is discussed as a motivational example.
Item Type: | Conference paper |
---|---|
Date Deposited: | 21 Oct 2004 |
Last Modified: | 10 Oct 2019 15:35 |
URI: | http://pubs.cs.uct.ac.za/id/eprint/150 |
Actions (login required)
View Item |