Abstract
SIMTHESys is a framework for the design of multiformalism performance evaluation models. The modeler can create new formalisms by specifying both the syntax and the dynamic behavior of their atomic elements. Even if other approaches address the same issue, the proposed methodology relies on fewer assumptions, opening new possibilities that allow to consider new types of composition and interaction between formalisms. In this direction, this paper shows how four formalisms belonging to three different classes can interact together in a single environment. The multiformalism proposed is composed of two standard performance evaluation formalisms, a reliability formalism and a verification formalism. The potential of this approach is demonstrated by analyzing a model of an e-government process. Copyright © 2011 ICST.
Lingua originale | English |
---|---|
Titolo della pubblicazione ospite | 5th International ICST Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2011 |
Pagine | 121-130 |
Numero di pagine | 10 |
DOI | |
Stato di pubblicazione | Pubblicato - 2011 |
Evento | VALUETOOLS '11: Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools - Paris Durata: 16 mag 2011 → 20 mag 2011 |
Convegno
Convegno | VALUETOOLS '11: Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools |
---|---|
Città | Paris |
Periodo | 16/5/11 → 20/5/11 |
Keywords
- Multi-formalism modeling
- Tools for performance evaluation