A Stochastic Process Algebra Based Modelling Tool (1996)
| Venue: | In Proc. of the 11th U.K. Performance Engineering Workshop for Computer and Telecommunication Systems |
| Citations: | 13 - 6 self |
BibTeX
@INPROCEEDINGS{Hermanns96astochastic,
author = {Holger Hermanns and Vassilis Mertsiotakis},
title = {A Stochastic Process Algebra Based Modelling Tool},
booktitle = {In Proc. of the 11th U.K. Performance Engineering Workshop for Computer and Telecommunication Systems},
year = {1996},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The incorporation of time into classical process algebras aiming at the integration of functional design and performance analysis has become very popular recently. There are many ways to include time in process algebras. Current research in this area concentrates mainly on the annotation of actions with exponentially distributed random variables. This allows us to make use of a large repertoire of analysis algorithms. This paper presents some first results of ongoing work which aims at providing a tool for the efficient performance evaluation and functional analysis of computer and communicationsystems basedon the stochastic process algebra paradigm. It provides facilities for model creation, reachability analysis, as well as several numerical algorithms for the solution of the underlying Markov chain and the computation of characteristic performance measures. 1 Introduction Stochastic process algebras (SPA) have been introduced as an extension of classical process algebras, like CCS ...
