Specifying Performance Measures for PEPA

Graham Clark; Stephen Gilmore; Jane Hillston

doi:10.1007/3-540-48778-6_13

Specifying Performance Measures for PEPA

Graham Clark, Stephen Gilmore, Jane Hillston

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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 language	English
Title of host publication	Formal Methods for Real-Time and Probabilistic Systems
Subtitle of host publication	5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings
Editors	Joost-Pieter Katoen
Publisher	Springer-Verlag GmbH
Pages	211-227
Number of pages	17
ISBN (Electronic)	978-3-540-48778-4
ISBN (Print)	978-3-540-66010-1
DOIs	https://doi.org/10.1007/3-540-48778-6_13
Publication status	Published - 1999

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin / Heidelberg
Volume	1601
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/3-540-48778-6_13

specifyingAccepted author manuscript, 195 KB

http://dx.doi.org/10.1007/3-540-48778-6_13

Cite this

Clark, G., Gilmore, S., & Hillston, J. (1999). Specifying Performance Measures for PEPA. In J-P. Katoen (Ed.), Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings (pp. 211-227). (Lecture Notes in Computer Science; Vol. 1601). Springer-Verlag GmbH. https://doi.org/10.1007/3-540-48778-6_13

@inproceedings{253ab596688a476185fce6c06f5c53e0,

title = "Specifying Performance Measures for PEPA",

abstract = "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.",

author = "Graham Clark and Stephen Gilmore and Jane Hillston",

year = "1999",

doi = "10.1007/3-540-48778-6_13",

language = "English",

isbn = "978-3-540-66010-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer-Verlag GmbH",

pages = "211--227",

editor = "Joost-Pieter Katoen",

booktitle = "Formal Methods for Real-Time and Probabilistic Systems",

}

Clark, G, Gilmore, S & Hillston, J 1999, Specifying Performance Measures for PEPA. in J-P Katoen (ed.), Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings. Lecture Notes in Computer Science, vol. 1601, Springer-Verlag GmbH, pp. 211-227. https://doi.org/10.1007/3-540-48778-6_13

Specifying Performance Measures for PEPA. / Clark, Graham; Gilmore, Stephen ; Hillston, Jane.

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings. ed. / Joost-Pieter Katoen. Springer-Verlag GmbH, 1999. p. 211-227 (Lecture Notes in Computer Science; Vol. 1601).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Specifying Performance Measures for PEPA

AU - Clark, Graham

AU - Gilmore, Stephen

AU - Hillston, Jane

PY - 1999

Y1 - 1999

N2 - 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.

AB - 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.

U2 - 10.1007/3-540-48778-6_13

DO - 10.1007/3-540-48778-6_13

M3 - Conference contribution

SN - 978-3-540-66010-1

T3 - Lecture Notes in Computer Science

SP - 211

EP - 227

BT - Formal Methods for Real-Time and Probabilistic Systems

A2 - Katoen, Joost-Pieter

PB - Springer-Verlag GmbH

ER -

Specifying Performance Measures for PEPA

Abstract

Publication series

Access to Document

Fingerprint

Cite this