State-Aware Performance Analysis with eXtended Stochastic Probes

Allan Clark; Stephen Gilmore

doi:10.1007/978-3-540-87412-6_10

State-Aware Performance Analysis with eXtended Stochastic Probes

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

Abstract

We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We realise these queries by composing the state-aware observers (called eXtended Stochastic Probes (XSP)) with a model expressed in a stochastically-timed process algebra. Our work has been conceived in the context of the process algebra PEPA. However the ideas involved are relevant to all timed process algebras with an underlying discrete-state representation such as a continuous-time Markov chain.

Original language	English
Title of host publication	Computer Performance Engineering
Subtitle of host publication	5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
Editors	Nigel Thomas, Carlos Juiz
Publisher	Springer
Pages	125-140
Number of pages	16
ISBN (Electronic)	978-3-540-87412-6
ISBN (Print)	978-3-540-87411-9
DOIs	https://doi.org/10.1007/978-3-540-87412-6_10
Publication status	Published - 2008

Publication series

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

Access to Document

10.1007/978-3-540-87412-6_10

http://dx.doi.org/10.1007/978-3-540-87412-6_10

Cite this

Clark, A., & Gilmore, S. (2008). State-Aware Performance Analysis with eXtended Stochastic Probes. In N. Thomas, & C. Juiz (Eds.), Computer Performance Engineering: 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings (pp. 125-140). (Lecture Notes in Computer Science; Vol. 5261). Springer. https://doi.org/10.1007/978-3-540-87412-6_10

@inproceedings{d9022ab53f454ce18bb1db1fd775e436,

title = "State-Aware Performance Analysis with eXtended Stochastic Probes",

abstract = "We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We realise these queries by composing the state-aware observers (called eXtended Stochastic Probes (XSP)) with a model expressed in a stochastically-timed process algebra. Our work has been conceived in the context of the process algebra PEPA. However the ideas involved are relevant to all timed process algebras with an underlying discrete-state representation such as a continuous-time Markov chain.",

author = "Allan Clark and Stephen Gilmore",

year = "2008",

doi = "10.1007/978-3-540-87412-6_10",

language = "English",

isbn = "978-3-540-87411-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "125--140",

editor = "Nigel Thomas and Carlos Juiz",

booktitle = "Computer Performance Engineering",

address = "United Kingdom",

}

Clark, A & Gilmore, S 2008, State-Aware Performance Analysis with eXtended Stochastic Probes. in N Thomas & C Juiz (eds), Computer Performance Engineering: 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings. Lecture Notes in Computer Science, vol. 5261, Springer, pp. 125-140. https://doi.org/10.1007/978-3-540-87412-6_10

State-Aware Performance Analysis with eXtended Stochastic Probes. / Clark, Allan; Gilmore, Stephen.
Computer Performance Engineering: 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings. ed. / Nigel Thomas; Carlos Juiz. Springer, 2008. p. 125-140 (Lecture Notes in Computer Science; Vol. 5261).

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

TY - GEN

T1 - State-Aware Performance Analysis with eXtended Stochastic Probes

AU - Clark, Allan

AU - Gilmore, Stephen

PY - 2008

Y1 - 2008

N2 - We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We realise these queries by composing the state-aware observers (called eXtended Stochastic Probes (XSP)) with a model expressed in a stochastically-timed process algebra. Our work has been conceived in the context of the process algebra PEPA. However the ideas involved are relevant to all timed process algebras with an underlying discrete-state representation such as a continuous-time Markov chain.

AB - We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We realise these queries by composing the state-aware observers (called eXtended Stochastic Probes (XSP)) with a model expressed in a stochastically-timed process algebra. Our work has been conceived in the context of the process algebra PEPA. However the ideas involved are relevant to all timed process algebras with an underlying discrete-state representation such as a continuous-time Markov chain.

U2 - 10.1007/978-3-540-87412-6_10

DO - 10.1007/978-3-540-87412-6_10

M3 - Conference contribution

SN - 978-3-540-87411-9

T3 - Lecture Notes in Computer Science

SP - 125

EP - 140

BT - Computer Performance Engineering

A2 - Thomas, Nigel

A2 - Juiz, Carlos

PB - Springer

ER -

State-Aware Performance Analysis with eXtended Stochastic Probes

Abstract

Publication series

Access to Document

Fingerprint

Cite this