TY  - JOUR
VL  - 38
JF  - IEEE Transactions on Software Engineering
IS  - 1
Y1  - 2012/01//
SP  - 205
A1  - Tribastone, Mirco
A1  - Gilmore, Stephen
A1  - Hillston, Jane
PB  - IEEE Computer Society
EP  - 219
ID  - eprints2601
UR  - ttp://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5567115&isnumber=6141067
AV  - none
TI  - Scalable differential analysis of process algebra models
KW  - Markov processes; Modeling and prediction; ordinary differential equations

N2  - 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.
SN  - 0098-5589
ER  -