Industrial communication protocol engineering using UML 2.0: A case study

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 paper we evaluate the suitability of UML 2.0 combined with its Testing profile for the engineering of industrial communication protocols using a case study. For our experimental case study we made use of the simple and most commonly known INRES protocol.