The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - May (2001 vol.27)
pp: 449-464
ABSTRACT
<p><b>Abstract</b>—Performance Evaluation Process Algebra (PEPA) is a formal language for performance modeling based on process algebra. It has previously been shown that, by using the process algebra apparatus, compact performance models can be derived which retain the essential behavioral characteristics of the modeled system. However, no efficient algorithm for this derivation was given. In this paper, we present an efficient algorithm which recognizes and takes advantage of symmetries within the model and avoids unnecessary computation. The algorithm is illustrated by a multiprocessor example.</p>
INDEX TERMS
Performance modeling, model aggregation, performance evaluation tools, stochastic process algebras.
CITATION
Stephen Gilmore, Jane Hillston, Marina Ribaudo, "An Efficient Algorithm for Aggregating PEPA Models", IEEE Transactions on Software Engineering, vol.27, no. 5, pp. 449-464, May 2001, doi:10.1109/32.922715
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool