Defining Formalisms for Performance Evaluation With SIMTHESys

Enrico Barbierato, Marco Gribaudo, Mauro Iacono

Risultato della ricerca: Contributo in rivistaArticolo

Abstract

Tools for the analysis and modeling of complex systems must be able to support\r\nthe extensibility of formalisms, reusability of models and customization\r\nof formalism compositions. From this perspective, SIMTHESys (Structured\r\nInfrastructure for Multiformalism modeling and Testing of Heterogeneous\r\nformalisms and Extensions for SYStems) is a new approach to the specification\r\nof performability oriented formalisms and the evaluation of models. Its\r\noriginality emerges from the explicit definition of both syntax and evolution\r\nsemantics of the considered formalism elements. The solution of models is\r\nmade possible by using a set of non-specialized solving engines used to generate\r\nautomatically formalism-specific reusable solvers. This paper explains\r\nhow formalisms can be created in SIMTHESys by showing how three widely\r\nknown modeling languages are successfully implemented.
Lingua originaleInglese
pagine (da-a)37-51
Numero di pagine15
RivistaElectronic Notes in Theoretical Computer Science
Volume275
Numero di pubblicazione1
Stato di pubblicazionePubblicato - 2011

Keywords

  • Performance evaluation

Fingerprint

Entra nei temi di ricerca di 'Defining Formalisms for Performance Evaluation With SIMTHESys'. Insieme formano una fingerprint unica.

Cita questo