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.
An extended version to appear in Performance Evaluation: http://pubs.doc.ic.ac.uk/passive-fluid-semantics/
Copyright 2008 ICST
Information from pubs.doc.ic.ac.uk/fluid-passive-spa.