Evaluating fluid semantics for passive stochastic process algebra cooperation
File(s)passive-fluid-semantics.pdf (497.7 KB)
Accepted version
Author(s)
Hayden, RA
Bradley, JT
Type
Journal Article
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 and show how the previous model can be improved upon significantly. We evaluate the new passive cooperation fluid semantics and show that the first-order fluid model is a good approximation to the dynamics of the underlying continuous-time Markov chain. We show that in a family of possible translations to the fluid model, there is an optimal translation which can be expected to introduce least error. Finally, we use these new techniques to show how the scalability of a passively-cooperating distributed software architecture could be assessed.\r\n
Date Issued
2010
Citation
Performance Evaluation, 2010, 67 (4), pp.260-284
ISSN
0166-5316
Publisher
Elsevier
Start Page
260
End Page
284
Journal / Book Title
Performance Evaluation
Volume
67
Issue
4
Copyright Statement
© 2009 Elsevier B.V. All rights reserved. NOTICE: this is the author’s version of a work that was accepted for publication in Performance Evaluation. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in PERFORMANCE EVALUATION, VOL:67, ISSUE:4, (2010) DOI:10.1016/j.peva.2009.08.010
Identifier
http://pubs.doc.ic.ac.uk/passive-fluid-semantics/
Source Volume Number
67
Publication Status
Published