Scalable differential analysis of process algebra models


Tribastone, Mirco, Gilmore, Stephen and Hillston, Jane (2012) Scalable differential analysis of process algebra models IEEE Transactions on Software Engineering, 38, (1), pp. 205-219. (doi:10.1109/TSE.2010.82).

Download

Full text not available from this repository.

Description/Abstract

The exact performance analysis of large-scale software systems with discrete-state approaches is difficult because of the well-known problem of state-space explosion. This paper considers this problem with regard to the stochastic process algebra PEPA, presenting a deterministic approximation to the underlying Markov chain model based on ordinary differential equations. The accuracy of the approximation is assessed by means of a substantial case study of a distributed multithreaded application.

Item Type: Article
Digital Object Identifier (DOI): doi:10.1109/TSE.2010.82
Related URLs:
Organisations: Electronic & Software Systems
ePrint ID: 356798
Date :
Date Event
2012Published
Date Deposited: 13 Sep 2013 16:16
Last Modified: 17 Apr 2017 14:57
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/356798

Actions (login required)

View Item View Item