In this tutorial we give an introduction to stochastic process algebras and their use in
performance modelling, with a focus on the PEPA formalism. A brief introduction is given to …

Inthe? eldofformalmethodsincomputerscience, concurrencytheoryisreceivinga
constantlyincreasinginterest. Thisisespeciallytrueforprocessalgebra. Althoughit had been …

A technique for defining and extracting passage-time densities from high-level stochastic
process algebra models is presented. Our high-level formalism is PEPA, a popular …

This paper gives a summary of some of the work of the Performance Evaluation Process
Algebra (PEPA) project, which was awarded the 2004 Roger Needham Award from the …

We describe a software toolset which allows UML modellers to annotate their models with
performance information. An equivalent performance model is extracted from the UML …

When tackling the construction of a software system, at the software architecture design level
there are two main issues related to the system performance. First, the designer may need to …

The standard design of on‐line auction systems places most of the computational load on
the server and its adjacent links, resulting in a bottleneck in the system. In this paper, we …

Today many formalisms exist for specifying complex Markov chains. In contrast, formalisms
for specifying rewards, enabling the analysis of long-run average performance properties …

Abstract Feature Interaction. When engineers design a system with features, they wish to
have methods to prove that the features do not interact in ways which are undesirable. A …

This paper addresses the problem of an on-line coordinated allocation of processor and I/O
resources in large-scale shared heterogeneous cluster computing systems. Most research in …