Fluid semantics for passive stochastic process algebra cooperation

Richard A. Hayden; Jeremy T. Bradley

3rd International ICST Conference on Performance Evaluation Methodologies and Tools

Research Article

Fluid semantics for passive stochastic process algebra cooperation

Download745 downloads

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.4108/ICST.VALUETOOLS2008.4329,
    author={Richard A. Hayden and Jeremy T. Bradley},
    title={Fluid semantics for passive stochastic process algebra cooperation},
    proceedings={3rd International ICST Conference on Performance Evaluation Methodologies and Tools},
    publisher={ICST},
    proceedings_a={VALUETOOLS},
    year={2010},
    month={5},
    keywords={fluid passive cooperation PEPA stochastic process algebra},
    doi={10.4108/ICST.VALUETOOLS2008.4329}
}

Richard A. Hayden
Jeremy T. Bradley
Year: 2010
Fluid semantics for passive stochastic process algebra cooperation
VALUETOOLS
ICST
DOI: 10.4108/ICST.VALUETOOLS2008.4329

Richard A. Hayden¹^,*, Jeremy T. Bradley¹^,*

1: Dept. of Computing, Imperial College London, 180 Queen’s Gate, London SW7 2BZ, UK

*Contact email: rh@doc.ic.ac.uk, jb@doc.ic.ac.uk

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: fluid passive cooperation PEPA stochastic process algebra

Published: 2010-05-16
Publisher: ICST
Modified: 2010-05-16

: http://dx.doi.org/10.4108/ICST.VALUETOOLS2008.4329