A toolkit for performability evaluation based on stochastic UML state machines
Jan Trowitzsch, D. Jerzynek, Armin Zimmermann · Performance Evaluation Methodolgies and Tools · 2007
This paper considers a sub-set of UML State Machines extended by annotations from the UML Profile for Schedulability, Performance, and Time for the modeling of technical systems and their behavior. A toolkit is presented for performability evaluation of these stochastic UML State Machine models. It extends our modeling and evaluation tool TimeNET. Performance evaluation of the resulting extended UML. State Machine models is done indirectly via an automatic transformation into a stochastic Petri net, to which existing evaluation techniques are applied subsequently.