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.
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|
|Deposited By:||Arnab, A|
|Deposited On:||21 October 2004|