A unified approach to modelling the performance of concurrent systems
| Autor: | Peter G. Harrison, Catalina M. Lladó, Ramon Puigjaner |
|---|---|
| Rok vydání: | 2009 |
| Předmět: |
Class (computer programming)
Theoretical computer science Basis (linear algebra) Quantitative design Computer science Extension (predicate logic) Porting Hardware and Architecture Information and Communications Technology Reversed compound agent theorem Modeling and Simulation Systems engineering Focus (optics) Software |
| Zdroj: | Simulation Modelling Practice and Theory. 17:1445-1456 |
| ISSN: | 1569-190X |
| DOI: | 10.1016/j.simpat.2009.06.003 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect