Skip to main content
Article thumbnail
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.