In the last years some infrastructures and frameworks have been proposed to enable the compositional development of multiformalism models. The OsMoSys/DrawNET framework allows to develop and analyze complex performability models which are composed by several submodels expressed by means of different formal languages. In this paper we describe the approach to multisolution of multiformalism models in the OsMoSys/DrawNET framework and we introduce the mechanisms used to define the performance indices and generate the required results.

Multisolution of complex performability models in the OsMoSys/DrawNET framework / Mazzocca, Nicola; Vittorini, Valeria; M., Gribaudo; Moscato, Francesco. - STAMPA. - (2005), pp. 85-94. (Intervento presentato al convegno Second International Conference on the Quantitative Evaluation of Systems tenutosi a Torino nel 19-22 settembre 2005) [10.1109/QEST.2005.22].

Multisolution of complex performability models in the OsMoSys/DrawNET framework

MAZZOCCA, NICOLA;VITTORINI, VALERIA;MOSCATO, FRANCESCO
2005

Abstract

In the last years some infrastructures and frameworks have been proposed to enable the compositional development of multiformalism models. The OsMoSys/DrawNET framework allows to develop and analyze complex performability models which are composed by several submodels expressed by means of different formal languages. In this paper we describe the approach to multisolution of multiformalism models in the OsMoSys/DrawNET framework and we introduce the mechanisms used to define the performance indices and generate the required results.
2005
9780769524276
Multisolution of complex performability models in the OsMoSys/DrawNET framework / Mazzocca, Nicola; Vittorini, Valeria; M., Gribaudo; Moscato, Francesco. - STAMPA. - (2005), pp. 85-94. (Intervento presentato al convegno Second International Conference on the Quantitative Evaluation of Systems tenutosi a Torino nel 19-22 settembre 2005) [10.1109/QEST.2005.22].
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/11588/11140
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact