Paper Info
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.
Year
DOI
Venue
2008
10.1007/978-3-540-87412-6_10
EPEW
Keywords
Field
DocType
performance query,instantaneous observation,stochastically-timed process algebra,process algebra,process algebra pepa,finite sequence,model activity,extended stochastic probes,continuous-time markov chain,model state,state-aware performance analysis,continuous time markov chain
Computer science,Computer communication networks,Markov chain,Theoretical computer science,Process calculus,PEPA
Conference
Volume
ISSN
Citations 
5261
0302-9743
59
PageRank 
References 
Authors
2.05
12
2
Name
Order
Citations
PageRank
Allan Clark125913.74
Stephen Gilmore2905.28