Location of Repository

Scalable Differential Analysis of Process Algebra Models

By Mirco Tribastone, Stephen Gilmore and Jane Hillston

Abstract

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. Index Terms—Modeling and prediction, ordinary differential equations, Markov processes. Ç

Year: 2010
OAI identifier: oai:CiteSeerX.psu:10.1.1.307.9730
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://homepages.inf.ed.ac.uk/... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.