Using UML Models for the Performance Analysis of Network Systems

The automated functional and performance analysis of communication systems specified with some Formal Description Technique has long been the goal of telecommunication engineers. In the past SDL and Petri nets have been the most popular FDTs for the purpose. With the growth in popularity of UML the most obvious question to ask is whether one can translate one or more UML diagrams describing a system to a performance model. Until the advent of UML 2.0, that has been an impossible task since the semantics were not clear. Even though the UML semantics is still not clear for the purpose, with UML 2.0 now released and using ITU recommendation Z.109, we describe in this paper a methodology and tool called proSPEX, for the design and performance analysis of communication protocols specified with UML