Approaches
Software Performance the whole system life cycle is available, design is used to incrementally produce a QNM model of the software system.
Software Specification the system behavioral specification is available and modeled by Stocastic Petri Nets, Stocastic Process Algebras