The University of Southampton
University of Southampton Institutional Repository

Stochastic process algebras: from individuals to populations

Stochastic process algebras: from individuals to populations
Stochastic process algebras: from individuals to populations
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
866-881
Hillston, Jane
6d7d2e03-3d63-4510-8b7e-fcbe4653db13
Tribastone, Mirco
30bf9ef9-63ac-4940-9cc8-ed39b945f1de
Gilmore, Stephen
35827633-4caa-41ab-9808-fb4309530e3f
Hillston, Jane
6d7d2e03-3d63-4510-8b7e-fcbe4653db13
Tribastone, Mirco
30bf9ef9-63ac-4940-9cc8-ed39b945f1de
Gilmore, Stephen
35827633-4caa-41ab-9808-fb4309530e3f

Hillston, Jane, Tribastone, Mirco and Gilmore, Stephen (2012) Stochastic process algebras: from individuals to populations. The Computer Journal, 55 (7), 866-881. (doi:10.1093/comjnl/bxr094).

Record type: Article

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

This record has no associated files available for download.

More information

Published date: 2012
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 356820
URI: http://eprints.soton.ac.uk/id/eprint/356820
PURE UUID: a95633d7-cffa-4b2a-aec0-1a022315745d
ORCID for Jane Hillston: ORCID iD orcid.org/0000-0003-4277-7187

Catalogue record

Date deposited: 13 Sep 2013 16:16
Last modified: 15 Mar 2024 03:51

Export record

Altmetrics

Contributors

Author: Jane Hillston ORCID iD
Author: Mirco Tribastone
Author: Stephen Gilmore

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×