Informatics Report Series
|
|
|
|
|
|
Title:An efficient algorithm for aggregating PEPA models |
Authors:
Stephen Gilmore
; Jane Hillston
; Marina Ribaudo
|
Date:May 2001 |
Publication Title:IEEE Transactions on Software Engineering |
Publisher:IEEE Computer Society |
Publication Type:Journal Article
Publication Status:Published
|
Volume No:27(5)
Page Nos:449-464
|
DOI:10.1109/32.922715
|
- Abstract:
-
Performance Evaluation Process Algebra (PEPA) is a formal language for performance modelling based on process algebra. It has previously been shown that using the process algebra apparatus compact performance models can be derived which retain the essential behavioural characteristics of the modelled system. However no efficient algorithm for this derivation was given. In this paper we present an efficient algorithm which recognises and takes advantage of symmetries within the model and avoids unnecessary computation. The algorithm is illustrated by a multiprocessor example.
- Links To Paper
- 1st Link
- 2nd Link
- Bibtex format
- @Article{EDI-INF-RR-0605,
- author = {
Stephen Gilmore
and Jane Hillston
and Marina Ribaudo
},
- title = {An efficient algorithm for aggregating PEPA models},
- journal = {IEEE Transactions on Software Engineering},
- publisher = {IEEE Computer Society},
- year = 2001,
- month = {May},
- volume = {27(5)},
- pages = {449-464},
- doi = {10.1109/32.922715},
- url = {http://www.dcs.ed.ac.uk/pepa/canonical.pdf},
- }
|