Computing Publications

Publications Home » Fluid semantics for passive stoch...

Fluid semantics for passive stochastic process algebra cooperation

Richard Hayden, Jeremy T. Bradley

Conference or Workshop Paper
VALUETOOLS'08, 3rd International Conference on Performance Evaluation Methodologies and Tools
October, 2008
ACM
ISBN 978-963-9799-31-8
DOI 10.4108/ICST.VALUETOOLS2008.4329
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. We explain why the development of a fluid semantics for passive cooperation is not straightforward and we present an alternative definition which more closely matches the underlying discrete model. Finally, we present quantitative comparisons with a previous version of the fluid semantics in which numerical discrepancies can be observed.

Keywords
Process Algebra
Stochastic Modelling
AESOP
Fluid and ODE analysis
Performance Modelling and Analysis
Notes

An extended version to appear in Performance Evaluation: http://pubs.doc.ic.ac.uk/passive-fluid-semantics/

PDF of full publication (285 kilobytes)
(need help viewing PDF files?)
GZipped Postscript of full publication (226 kilobytes)
(need help viewing GZipped Postscript files?)
PDF of presentation slides (1.3 megabytes)
BibTEX file for the publication
Copyright notice

Copyright 2008 ICST

N.B.
Conditions for downloading publications from this site.
 

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