ABSTRACT
Abstract The stochastic process algebra SPADES provides a simple yet powerful formal description technique that can be used to specify both the quantitative and qualitative properties of a system. We show how the quantitative behavior of certain SPADES systems can be captured by a generalized semi-Markovian performance model. This provides the designer with potential to model the performance of the system analytically, to optimize the process of simulating the system and to convert the SPADES model to other stochastic process algebra formalisms.
