“…The definition of UML performance annotations has enabled research to transform UML design specifications into many kinds of performance models, based for example on Queueing Networks (Cortellessa et al, 2000), Layered Queueing Networks (Petriu et al, 2002), (Petriu, 2005), (Woodside et al, 2005), Stochastic Petri nets (Bernardi et al, 2002), PEPA (Cavenet et al, 2004), and simulation (Balsamo et al, 2003).…”