55
IRUS Total
Downloads
  Altmetric

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

File Description SizeFormat 
regular-probes.ps.gzAccepted version113.93 kBUnknownView/Open
Title: Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models
Authors: Argent-Katwala, A
Bradley, JT
Dingle, NJ
Item Type: Conference Paper
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.
Issue Date: 16-Aug-2004
URI: http://hdl.handle.net/10044/1/5846
Publisher Link: http://dx.doi.org/10.1145/974043.974051
DOI: 10.1145/974043.974051
ISBN: 1-5811-3673-0
9781581136739
Publisher: ACM
Presented At: 4th International Workshop on Software and Performance, WOSP2004, Redwood Shores, CA
Published Proceedings: ACM SIGSOFT Software Engineering Notes
Start Page: 49
End Page: 58
Copyright Statement: © ACM, 2004. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM SIGSOFT SOFTWARE ENGINEERING NOTES {VOL:29, ISS:1,2004} http://doi.acm.org/10.1145/974043.974051
Appears in Collections:Computing
High Performance Informatics