Visual representation of stochastic process algebra models

Thomas, Nigel; Munro, Malcolm; King, Peter J. B.; Pooley, Rob

doi:10.1145/350391.350397

Cited by 1 publication

(2 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The idea of visualising PEPA models is not a new one, and was first proposed in [27]. Since PEPA is a compositional language, we can view each component in the model independently, as an automaton whose transitions are labelled by activities.…”

Section: Visualisation Of Pepa Modelsmentioning

confidence: 99%

“…Since PEPA is a compositional language, we can view each component in the model independently, as an automaton whose transitions are labelled by activities. In [27] it was suggested that we can do this by displaying the derivation graph of a component. We use a slightly different approach based on the Kronecker representation described in the previous section -this is entirely equivalent in terms of what the user sees, but the underlying data structure is more versatile, as we shall discuss in Section 6.…”

Section: Visualisation Of Pepa Modelsmentioning

confidence: 99%

See 1 more Smart Citation

Visualisation for Stochastic Process Algebras: The Graphic Truth

Smith

Gilmore

2011

Computer Performance Engineering

View full text Add to dashboard Cite

Abstract. There have historically been two approaches to performance modelling. On the one hand, textual language-based formalisms such as stochastic process algebras provide portable and scalable solutions to compositional modelling. On the other hand, graphical formalisms such as stochastic Petri nets and stochastic activity networks provide an automaton-based view of the model, which may be easier to visualise, at the expense of portability. In this paper, we argue that we can achieve the benefits of both approaches by generating a graphical view of a stochastic process algebra model, which is synchronised with the textual representation, giving the user has two ways in which they can interact with the model. We present a tool, as part of the PEPA Eclipse Plug-in, that allows the components of models in the Performance Evaluation Process Algebra (PEPA) to be visualised in a graphical way. This also provides a natural interface for labelling states in the model, which integrates with our interface for specifying and model checking properties in the Continuous Stochastic Logic (CSL). We describe recent improvements to the tool in terms of usability and exploiting the visualisation framework, and discuss some of the general features of the implementation that could be used by other tools. We illustrate the tool using an example based on a model of a financial web-service application.

show abstract

Section: Visualisation Of Pepa Modelsmentioning

confidence: 99%

Section: Visualisation Of Pepa Modelsmentioning

confidence: 99%