Abstract
As literature witnesses, multiformalism and multisolution have proven their effectiveness in the field of systems performance evaluation. Multiformalism modeling faces complexity of systems by allowing different and coordinated models, written by different formalisms (formal description languages), to coexist. In this way the entire system can be described by using the most suitable formalism for all its components. Multisolution is a model solution approach combining different evaluation methods to: i) obtain the desired evaluation indices about the model, ii) exploit the different features of the considered formalisms, iii) fit different conditions of the model or iv) build complex indices requiring different steps for their computation. Choosing the best combination of formalisms and solvers for a specific need is also a part of the modeling effort, that can sensibly influence the results. In this paper we suggest several successful approaches by presenting different case studies. © 2015 Scrivener Publishing LLC.
| Lingua originale | Inglese |
|---|---|
| Titolo della pubblicazione ospite | Quantitative Assessments of Distributed Systems: Methodologies and Techniques |
| Editor | Salvatore Distefano (Editor) Dario Bruneo (Editor) |
| Pagine | 201-222 |
| Numero di pagine | 22 |
| Volume | Quantitative Assessments of Distributed Systems: Methodologies and Techniques |
| DOI | |
| Stato di pubblicazione | Pubblicato - 2015 |
Keywords
- Multiformalism, performance evaluation