Loading…

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

Full description

Saved in:
Bibliographic Details
Published in:Software engineering notes 2004-01, Vol.29 (1), p.49-58
Main Authors: Argent-Katwala, Ashok, Bradley, Jeremy T., Dingle, Nicholas J.
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0163-5948
DOI:10.1145/974043.974051