A Simple Time Scale Decomposition Technique for Stochastic Process Algebras

J. Hillston
1995 Computer journal  
Many modern computer and communication systems result in large, complex performance models. The compositional approach o ered by stochastic process algebra constructs a model from submodels which are smaller and more easily understood. This gives the model a clear component-based structure. In this paper we present cases when this structure may be used to inform the solution of the model, leading to an e cient solution based on a decomposition of the underlying Markov process. The decomposition
more » ... which we consider is time scale decomposition, based on Courtois's near complete decomposability. This work has been in uenced by related work on stochastic Petri nets: we will discuss the advantages and disadvantages of taking such an approach to the development of techniques for stochastic process algebras. Our technique is illustrated by an example based on a closed network of queues with nite capacity in which blocking may occur.
doi:10.1093/comjnl/38.7.566 fatcat:s4kltebflvcz3hz447g6azidti