Fluid semantics for passive stochastic process algebra cooperation
File(s)fluid-passive-spa.pdf (284.77 KB)
Accepted version
Author(s)
Hayden, RA
Bradley, JT
Type
Conference Paper
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.
Date Issued
2008-10
Citation
Value Tools 2008: Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools, 2008, (Article No. 55), pp.1-10
ISBN
978-963-9799-31-8
Publisher
ICST
Source Title
3rd International Conference on Performance Evaluation Methodologies and Tools
Conference
Value Tools 2008: Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
Start Page
1
End Page
10
Journal / Book Title
Value Tools 2008: Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
Issue
Article No. 55
Copyright Statement
© 2007 ICST. This is the author's version of the work. It is posted here by permission of ICST for your personal use. Not for redistribution. The definitive version was published in VALUE TOOLS {ARTICLE NO. 55, 2008}
Identifier
http://pubs.doc.ic.ac.uk/fluid-passive-spa/
Source
3rd International Conference on Performance Evaluation Methodologies and Tools
Source Place
Athens, Greece
Start Date
2008-10-20
Finish Date
2008-10-24
Coverage Spatial
Athens, Greece