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.

Exploiting multiformalism models for testing and performance evaluation in SIMTHESys

GRIBAUDO, MARCO;BARBIERATO, ENRICO
2011-01-01

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.
2011
VALUETOOLS 2011 - 5th International ICST Conference on Performance Evaluation Methodologies and Tools
9781936968091
9781936968091
Multi-formalism modeling; Tools for performance evaluation; Instrumentation
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/1004878
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 28
  • ???jsp.display-item.citation.isi??? ND
social impact