Evaluating fluid semantics for passive stochastic process algebra cooperation

Authors:
Richard A. Hayden;Jeremy T. Bradley
Affiliations:
Department of Computing, Imperial College London, Huxley Building, 180 Queen's Gate, London SW7 2BZ, United Kingdom;Department of Computing, Imperial College London, Huxley Building, 180 Queen's Gate, London SW7 2BZ, United Kingdom
Venue:
Performance Evaluation
Year:
2010

Citing 11
Cited 0

A compositional approach to performance modelling

A compositional approach to performance modelling
Performance modelling of hierarchical cellular networks using PEPA

Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Process Algebras for Quantitative Analysis

LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Fluid Flow Approximation of PEPA models

QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
On process rate semantics

Theoretical Computer Science
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models

Journal of Computer and System Sciences
Relating continuous and discrete PEPA models of signalling pathways

Theoretical Computer Science
A fluid analysis framework for a Markovian process algebra

Theoretical Computer Science
Replicating web services for scalability

TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Coping with the parallelism of bittorrent: conversion of PEPA to ODEs in dealing with state space explosion

FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Evaluating the scalability of a web service-based distributed e-learning and course management system

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

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 translations 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.