Computing Publications

Publications Home » Invited Response to Computer Jour...

Invited Response to Computer Journal Lecture by Prof. Jane Hillston

Jeremy T. Bradley, Nigel Thomas, Richard Hayden, Anton Stefanek

Journal Article
The Computer Journal
November, 2011
Oxford Journals
DOI 10.1093/comjnl/BXR117

The introduction of stochastic process algebra (SPA) has had a profound impact on the field of performance modelling. Hillston's PEPA has been at the forefront of this development. There are a number of reasons why the use of stochastic process algebra is attractive to the stochastic modeller. The parsimonious set of operators creates an almost programming-like simplicity to model specification, meaning complex behaviours can be modelled in a concise and relatively understandable way. The models, although complex, can be analysed to show that they are deadlock free and that intended behaviours are reachable in its evolution (unlike simulation). The formal underpinning of the algebra means that models can be derived from other formal (or semi-formal) specifications in an automatic or semi-automatic way. This formality also means that the process algebra model can itself be manipulated into provably equivalent alternative forms that are more readily solved by numerical analysis. In the case of PEPA, the specification and analysis is also supported by a powerful set of modelling tools.

Fluid and ODE analysis
Performance Modelling and Analysis
Process Algebra
Stochastic Modelling

Submitted as a response to Prof. Jane Hillston's Computer Journal lecture on 24 February 2011.

Accepted 19 October 2011.

PDF of full publication (310 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.