Specifying Performance Measures for PEPA

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationFormal Methods for Real-Time and Probabilistic Systems
Subtitle of host publication5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings
EditorsJoost-Pieter Katoen
PublisherSpringer-Verlag GmbH
Number of pages17
ISBN (Electronic)978-3-540-48778-4
ISBN (Print)978-3-540-66010-1
Publication statusPublished - 1999

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'Specifying Performance Measures for PEPA'. Together they form a unique fingerprint.

Cite this