The PEPA workbench: a tool to support a process algebra-based approach to performance modelling
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
A compositional approach to performance modelling
A compositional approach to performance modelling
Visual representation of stochastic process algebra models
Proceedings of the 2nd international workshop on Software and performance
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
An Efficient Kronecker Representation for PEPA Models
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Verifying Continuous Time Markov Chains
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Performance Trees: A New Approach to Quantitative Performance Specification
MASCOTS '06 Proceedings of the 14th IEEE International Symposium on Modeling, Analysis, and Simulation
State-Aware Performance Analysis with eXtended Stochastic Probes
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Recent Extensions to the Stochastic Process Algebra Tool CASPA
QEST '08 Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems
TAPAs: A Tool for the Analysis of Process Algebras
Transactions on Petri Nets and Other Models of Concurrency I
ACM SIGMETRICS Performance Evaluation Review
Abstraction and Model Checking in the PEPA Plug-In for Eclipse
QEST '10 Proceedings of the 2010 Seventh International Conference on the Quantitative Evaluation of Systems
Compositional abstraction of PEPA models for transient analysis
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
PRISM 4.0: verification of probabilistic real-time systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Quantitative analysis of services
Rigorous software engineering for service-oriented systems
Compositional Abstractions for Long-Run Properties of Stochastic Systems
QEST '11 Proceedings of the 2011 Eighth International Conference on Quantitative Evaluation of SysTems
Hi-index | 0.00 |
There have historically been two approaches to performance modelling. On the one hand, textual language-based formalisms such as stochastic process algebras allow compositional modelling that is portable and easy to manage. In contrast, 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.