AESOP home


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
DOI 10.1145/974043.974051

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.

PDF of full publication (206.4 kilobytes)
(need help viewing PDF files?)
GZipped Postscript of full publication (113.9 kilobytes)
(need help viewing GZipped Postscript files?)

Information from