Research Article
Exploiting multiformalism models for testing and performance evaluation in SIMTHESys
@INPROCEEDINGS{10.4108/icst.valuetools.2011.245727, author={Mauro Iacono and Marco Gribaudo and Enrico Barbierato}, title={Exploiting multiformalism models for testing and performance evaluation in SIMTHESys}, proceedings={5th International ICST Conference on Performance Evaluation Methodologies and Tools}, publisher={ICST}, proceedings_a={VALUETOOLS}, year={2012}, month={6}, keywords={multi-formalism modeling tools for performance evaluation}, doi={10.4108/icst.valuetools.2011.245727} }- Mauro Iacono
Marco Gribaudo
Enrico Barbierato
Year: 2012
Exploiting multiformalism models for testing and performance evaluation in SIMTHESys
VALUETOOLS
ICST
DOI: 10.4108/icst.valuetools.2011.245727
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.