eprintid: 2600
rev_number: 5
eprint_status: archive
userid: 6
dir: disk0/00/00/26/00
datestamp: 2015-02-11 14:10:28
lastmod: 2015-02-11 14:10:28
status_changed: 2015-02-11 14:10:28
type: article
metadata_visibility: show
creators_name: Hillston, Jane
creators_name: Tribastone, Mirco
creators_name: Gilmore, Stephen
creators_id: 
creators_id: mirco.tribastone@imtlucca.it
creators_id: 
title: Stochastic process algebras: from individuals to populations
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: performance modelling; stochastic process algebra; PEPA;   compositional modelling; continuous approximation

abstract: In this paper we report on progress in the use of stochastic process algebras for representing systems which contain many replications of components such as clients, servers and devices. Such systems have traditionally been difficult to analyse even when using high-level models because of the need to represent the vast range of their potential behaviour. Models of concurrent systems with many components very quickly exceed the storage capacity of computing devices even when efficient data structures are used to minimize the cost of representing each state. Here, we show how population-based models that make use of a continuous approximation of the discrete behaviour can be used to efficiently analyse the temporal behaviour of very large systems via their collective dynamics. This approach enables modellers to study problems that cannot be tackled with traditional discrete-state techniques such as continuous-time Markov chains. 
date: 2012-09
date_type: published
publication: The Computer Journal
volume: 55
number: 7
publisher: Oxford University Press
pagerange: 866-881
id_number: doi:10.1093/comjnl/bxr094
refereed: TRUE
issn: 0010-4620
official_url: http://dx.doi.org/10.1093/comjnl/bxr094
citation:   Hillston, Jane and Tribastone, Mirco and Gilmore, Stephen  Stochastic process algebras: from individuals to populations.  The Computer Journal, 55 (7).  pp. 866-881.  ISSN 0010-4620      (2012)