Tools for the analysis and modeling of complex systems must be able to support the extensibility of formalisms, reusability of models and customization of formalism compositions. From this perspective, SIMTHESys (Structured Infrastructure for Multiformalism modeling and Testing of Heterogeneous formalisms and Extensions for SYStems) is a new approach to the specification of performability oriented formalisms and the evaluation of models. Its originality emerges from the explicit definition of both syntax and evolution semantics of the considered formalism elements. The solution of models is made possible by using a set of non-specialized solving engines used to generate automatically formalism-specific reusable solvers. This paper explains how formalisms can be created in SIMTHESys by showing how three widely known modeling languages are successfully implemented.

Barbierato, E., Gribaudo, M., Iacono, M., Defining Formalisms for Performance Evaluation With SIMTHESys, <<ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE>>, 2011; 275 (1): 37-51 [http://hdl.handle.net/10807/155017]

Defining Formalisms for Performance Evaluation With SIMTHESys

Barbierato, Enrico;
2011

Abstract

Tools for the analysis and modeling of complex systems must be able to support the extensibility of formalisms, reusability of models and customization of formalism compositions. From this perspective, SIMTHESys (Structured Infrastructure for Multiformalism modeling and Testing of Heterogeneous formalisms and Extensions for SYStems) is a new approach to the specification of performability oriented formalisms and the evaluation of models. Its originality emerges from the explicit definition of both syntax and evolution semantics of the considered formalism elements. The solution of models is made possible by using a set of non-specialized solving engines used to generate automatically formalism-specific reusable solvers. This paper explains how formalisms can be created in SIMTHESys by showing how three widely known modeling languages are successfully implemented.
2011
Inglese
Barbierato, E., Gribaudo, M., Iacono, M., Defining Formalisms for Performance Evaluation With SIMTHESys, <<ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE>>, 2011; 275 (1): 37-51 [http://hdl.handle.net/10807/155017]
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/10807/155017
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact