Formal techniques for performance analysis: blending SAN and PEPA

Jane Hillston, Leïla Kloul

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, and the potential for reduction in the Markov process. Such careful comparison of modelling techniques allows us to appreciate the strengths and weaknesses of different approaches, and facilitates cross-fertilization between them. In the present case we take a characteristic of one formalism, functional rates in Stochastic Automata Networks, and introduce it to the other formalism, Performance Evaluation Process Algebra. We investigate the benefits of this cross-fertilization, particularly from the perspectives of Markov process generation and reduction.
Original languageEnglish
Pages (from-to)3-33
Number of pages31
JournalFormal Aspects of Computing
Issue number1
Publication statusPublished - 2007


Dive into the research topics of 'Formal techniques for performance analysis: blending SAN and PEPA'. Together they form a unique fingerprint.

Cite this