Formal techniques for performance analysis: blending SAN and PEPA |
| |
Authors: | Jane Hillston Leïla Kloul |
| |
Affiliation: | (1) Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Edinburgh, EH9 3JZ, UK;(2) PRiSM, Université de Versailles, 45, Avenue des Etats-Unis, 78035 Versailles Cedex, France |
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|