Computing Publications

Publications Home » Expressing Performance Requiremen...

Expressing Performance Requirements using Regular Expressions to specify Stochastic Probes over Process Algebra Models

Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle

Conference or Workshop Paper
WOSP'04, 4th International Workshop on Software and Performance
January, 2004
ACM SIGSOFT Software Engineering Notes
Volume 29
Issue 1
pp.49–58
ACM
DOI 10.1145/974043.974051
Abstract

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.

Keywords
AESOP
Process Algebra
Stochastic Modelling
PDF of full publication (206 kilobytes)
(need help viewing PDF files?)
GZipped Postscript of full publication (114 kilobytes)
(need help viewing GZipped Postscript files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.