Exploiting multiformalism models for testing and performance evaluation in SIMTHESys

M. Iacono, M. Gribaudo, Enrico Barbierato

Risultato della ricerca: Contributo in libroContributo a convegno

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 originaleEnglish
Titolo della pubblicazione ospite5th International ICST Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2011
Pagine121-130
Numero di pagine10
DOI
Stato di pubblicazionePubblicato - 2011
EventoVALUETOOLS '11: Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools - Paris
Durata: 16 mag 201120 mag 2011

Convegno

ConvegnoVALUETOOLS '11: Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
CittàParis
Periodo16/5/1120/5/11

Keywords

  • Multi-formalism modeling
  • Tools for performance evaluation

Fingerprint

Entra nei temi di ricerca di 'Exploiting multiformalism models for testing and performance evaluation in SIMTHESys'. Insieme formano una fingerprint unica.

Cita questo