Sciweavers

WOSP
2004
ACM

Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models

14 years 4 months ago
Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models
This paper describes how soft performance bounds can be expressed for software systems using stochastic probes over stochastic process algebra models. These stochastic probes are specified using a regular expression syntax that describes the behaviour that must be observed in a model before a performance measurement can be started or stopped. We demonstrate the use of stochastic probes on a 661, 960 state parallel, redundant web server model to verify its passage-time performance characteristics.
Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas
Added 30 Jun 2010
Updated 30 Jun 2010
Type Conference
Year 2004
Where WOSP
Authors Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle
Comments (0)