Literature and practice offer a wide range of modeling formalisms, either general (such as Petri Nets, Fault Trees, Queuing Networks) or for special domains. Some examples of formalisms combination techniques (multiformalism) exploit the possibility of using different formal languages to specify different portions of a model, to be eventually solved by integrating different existing performance evaluation tools (multisolution). However every tool is still limited in some respect, and the topic remains an ongoing research issue. This article presents SIMTHESysER, a valuable support for the rapid generation of multiformalism performance evaluation tools and useful for researchers and practitioners willing to exploit flexibility in their models.
SIMTHESysER: a tool generator for the performance evaluation of multiformalism models
IACONO, Mauro
2012
Abstract
Literature and practice offer a wide range of modeling formalisms, either general (such as Petri Nets, Fault Trees, Queuing Networks) or for special domains. Some examples of formalisms combination techniques (multiformalism) exploit the possibility of using different formal languages to specify different portions of a model, to be eventually solved by integrating different existing performance evaluation tools (multisolution). However every tool is still limited in some respect, and the topic remains an ongoing research issue. This article presents SIMTHESysER, a valuable support for the rapid generation of multiformalism performance evaluation tools and useful for researchers and practitioners willing to exploit flexibility in their models.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
