AESOP home

Publications

A unified approach to modelling the performance of concurrent systems.

Peter G. Harrison, Catalina Lladó, Ramon Puigjaner

Journal Special Issue Article
Simulation Modelling Practice and Theory
Volume 17
Issue 9
pp.1445–1456
September, 2009
Elsevier
DOI 10.1016/j.simpat.2009.06.003
Abstract

Quantitative design is crucial to ICT and it is therefore important to integrate performance modelling techniques into support environments that facilitate the correct construction of computer systems. We consider Performance Modelling Interchange Formats (PMIFs), which allow models to be specified in a uniform way and ported to a number of tools that solve them. We focus on extending the class of models describable in a PMIF that can be solved analytically - specifically, yielding a product-form solution for their equilibrium state probabilities. We use an extension of an established theorem, called the 'reversed compound agent theorem' (RCAT) as the basis of the analytical modelling tool into which the extended PMIF feeds models. We describe the RCAT methodology in practical terms, how it is integrated into an extended PMIF, and illustrate our methodology with three examples.

Information from pubs.doc.ic.ac.uk/gpmif-pmeo-keynote.