Computing Publications

Publications Home » Evaluating fluid semantics for pa...

Evaluating fluid semantics for passive stochastic process algebra cooperation

Richard Hayden, Jeremy T. Bradley

Journal Article
Performance Evaluation
Volume 67
Issue 4
pp.260–284
April, 2010
Elsevier
DOI 10.1016/j.peva.2009.08.010
Abstract

Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engineers. Therefore having an accurate translation of passive cooperation into a fluid model is of direct practical application. We compare different existing styles of fluid model translation of passive cooperation in a stochastic process algebra and show how the previous model can be improved upon significantly. We evaluate the new passive cooperation fluid semantics and show that the first-order fluid model is a good approximation to the dynamics of the underlying continuous-time Markov chain. We show that in a family of possible translations to the fluid model, there is an optimal translation which can be expected to introduce least error. Finally, we use these new techniques to show how the scalability of a passively-cooperating distributed software architecture could be assessed.

Keywords
Performance Modelling and Analysis
Process Algebra
Stochastic Modelling
AESOP
Notes

Submitted December 2008; Accepted 1 August 2009.

PDF of full publication (498 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.