Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Product form solution for an insensitive stochastic process algebra structure
Authors: Graham Clark ; Jane Hillston
Date:Nov 2002
Publication Title:Performance Evaluation
Publication Type:Journal Article Publication Status:Published
Volume No:# 50(2-3) Page Nos:129-151
Recent research has investigated ways in which generally distributed random variables may be incorporated into stochastic process algebra (SPA). These proposals allow the arbitrary use of such variables, improving expressibility, but in general this makes performance evaluation difficult. Typically, simulation techniques must be employed. We attack the goal of generally distributed random variables from the opposite direction, using the stochastic property of insensitivity. In this paper we describe a construction which guarantees the insensitivity of certain concurrently enabled non-conflicting SPA activities. We give a derived combinator for constructing process algebra models. Use of this combinator guarantees that the stochastic process underlying the model is insensitive to a particular set of activities. Therefore, the user need not assume these activities are exponentially distributed, yet may still use familiar Markovian techniques to solve the model.We find that the model structure we identify has a product form solution and the criteria we list do not match any of those currently proposed for SPA. We highlight our technique with an example drawn from the field of transaction processing systems. Our analysis uses the SPA PEPA, and its associated conventions.
Links To Paper
1st Link
Bibtex format
author = { Graham Clark and Jane Hillston },
title = {Product form solution for an insensitive stochastic process algebra structure},
journal = {Performance Evaluation},
publisher = {Elsevier},
year = 2002,
month = {Nov},
volume = {# 50(2-3)},
pages = {129-151},
doi = {10.1016/s0166-5316(02)00103-7},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh