UCT CS Research Document Archive

Towards Model-Based Communication Protocol Performability Analysis with UML 2.0

De Wet, Nico and Pieter Kritzinger (2004) Towards Model-Based Communication Protocol Performability Analysis with UML 2.0. In Proceedings Southern African Telecommunication Networks and Applications Conference (SATNAC) 2004, Spier Wine Estate.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.

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.

EPrint Type:Conference Paper
Subjects:UNSPECIFIED
ID Code:150
Deposited By:Arnab, A
Deposited On:21 October 2004