Fluid semantics for passive stochastic process algebra cooperation

Authors:
Richard A. Hayden;Jeremy T. Bradley
Affiliations:
Imperial College London, London, UK;Imperial College London, London, UK
Venue:
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
Year:
2008

Citing 7
Cited 2

Performance modelling of hierarchical cellular networks using PEPA

Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Fluid Flow Approximation of PEPA models

QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)

A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models

Journal of Computer and System Sciences
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

A fluid analysis framework for a Markovian process algebra

Theoretical Computer Science
Scaling performance analysis using fluid-flow approximation

Rigorous software engineering for service-oriented systems

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