Towards Model-Based Communication Protocol Performability Analysis with UML 2.0

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.

[img] 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 View Item