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.
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: http://hdl.handle.net/11591/215018
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact