Software performance modelling using PEPA nets

Authors:
Stephen Gilmore;Jane Hillston;Leïla Kloul;Marina Ribaudo
Affiliations:
The University of Edinburgh, Scotland;The University of Edinburgh, Scotland;The University of Edinburgh, Scotland;DISI-Dipartimento di Informatica e Scienze dell'lnformazione, Genova, Italy
Venue:
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Year:
2004

Citing 9
Cited 8

Bisimulation through probabilistic testing

Information and Computation
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
Pizza into Java: translating theory into practice

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Verifying Continuous Time Markov Chains

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
The Möbius Modeling Tool

PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
PEPA nets: a structured performance modelling formalism

Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models

WOSP '04 Proceedings of the 4th international workshop on Software and performance

Analysing UML 2.0 activity diagrams in the software performance engineering process

WOSP '04 Proceedings of the 4th international workshop on Software and performance
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile

WOSP '08 Proceedings of the 7th international workshop on Software and performance
Quantitative Analysis of Web Services Using SRMC

Formal Methods for Web Services
Stochastic process algebras

SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
A design environment for mobile applications

IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Framework for hybrid performance prediction process model: use case performance engineering approach

ACM SIGSOFT Software Engineering Notes
Using computer simulation to predict the performance of multithreaded programs

ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Determining suitable execution environment based on dynamic workload during early stages of software development life cycle: a simulation approach

International Journal of Computational Science and Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets---coloured stochastic Petri nets---are a recently introduced modelling formalism which clearly capture important features such as location, synchronisation and message passing. In this paper we describe PEPA nets and the newly-developed platform support for software performance modelling using them. Crucial to this support is the compilation from PEPA nets into Hillston's PEPA stochastic process algebra in order to access the software tools which support the PEPA algebra. In addition to derivation of steady state performance measures, this suite of tools allows properties of the system to be verified using model-checking. We show the application of PEPA nets in the modelling and analysis of a secure Web service.