Computing Publications

Publications Home » An approximate solution of PEPA m...

An approximate solution of PEPA models using component substitution

Nigel Thomas, Jeremy T. Bradley, David Thornley

National Workshop Paper
28th UK Performance Engineering Workshop (UKPEW 2002)
July, 2002
Abstract

Performance models specified using compositional algebra suffer the well-known state space explosion problem, where a relatively small definition leads to a Markov chain with a large state space that is problematic to solve. As a result it is widely recognised that the development of techniques to solve performance models efficiently is of particular practical importance. Recently the notion of behavioural independence was introduced to exploit the structure of Markovian process algebra models in order to solve models in a compositional manner. In this paper the opposite property, namely control, is used to solve models by substituting components in the model with simpler versions.

Keywords
AESOP
PDF of full publication (246 kilobytes)
(need help viewing PDF files?)
GZipped Postscript of full publication (105 kilobytes)
(need help viewing GZipped Postscript files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.