Specifying Performance Measures for PEPA

Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the stochastic process algebra methodology lacks support for the specification and calculation of complex performance measures. This paper addresses that problem by presenting a performance specification language which supports high level reasoning about PEPA models, allowing the description of equilibrium (steady-state) measures. The meaning of the specification language can be made formal by examining its foundations in a stochastic modal logic. A case-study is presented to illustrate the approach.

• Type: Conference
• Year: 1999
• Where: ARTS
• Authors: Graham Clark, Stephen Gilmore, Jane Hillston
• Keywords: ARTS 1999, Complex Performance Measures, Distributed And Parallel Computing, Stochastic Modal Logic, Stochastic Process Algebra