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.