A toolkit for performability evaluation based on stochastic UML state machines.

Jan Trowitzsch D. Jerzynek Armin Zimmermann

Published in: VALUETOOLS (2007)

Keyphrases

state machines
state machine
sequence diagrams
fault tolerant
software engineering
petri net
finite state machines
case study
regression testing
object oriented
open source
distributed systems
software systems
biologically inspired
modeling language