Communication Protocol Engineering using UML 2.0: a Case study

Autor : Barath Kumar
Betreuer : Prof. Dr.-Ing. Jürgen Jasperneite
Typ : Master
Forschungsbereich : Industrial Ethernet
Kurzbeschreibung :

The advent of Unified Modeling Language version 2.0 (UML 2.0) along with its UML Testing Profile in the recent years, promises to be a major break through in the field of formal description techniques. Thus, in this Master thesis, we evaluate the suitability of UML 2.0 combined with its Testing Profile for the engineering of communication protocols using a case study. For the experimental case study, we made use of the simple and most commonly known INRES protocol and the recently proposed InPack system.