Functional Performance Specification with Stochastic Probes

  • Ashok Argent-Katwala
  • Jeremy T. Bradley
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4054)

Abstract

In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which describes passage-time, transient, steady-state and continuous state space performance questions. We present a generalisation of stochastic probes, a formalism-independent specification of behaviour in stochastic process algebra models. Stochastic probes select the performance-critical paths for which the measures are required; increasing their expressiveness in turn gives us greater expressive power to represent performance questions. We end by demonstrating these tools on an RSS syndication architecture of up to 1.5×1051 states.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Ashok Argent-Katwala
    • 1
  • Jeremy T. Bradley
    • 1
  1. 1.Department of ComputingImperial College LondonLondonUnited Kingdom

Personalised recommendations