A new model composer is proposed to automatically generate non-anonymous model replicas in the context of performability and dependability evaluation. It is a state-sharing composer that extends the standard anonymous replication composer in order to share the state of a replica among a set of other specific replicas or among the replica and another external model. This new composition operator aims to improve expressiveness and performance with respect to the standard anonymous replicator, namely the one adopted by the Mobius modeling framework.
Efficient non-anonymous composition operator for modeling complex dependable systems
Chiaradonna S;Di Giandomenico F;
2016
Abstract
A new model composer is proposed to automatically generate non-anonymous model replicas in the context of performability and dependability evaluation. It is a state-sharing composer that extends the standard anonymous replication composer in order to share the state of a replica among a set of other specific replicas or among the replica and another external model. This new composition operator aims to improve expressiveness and performance with respect to the standard anonymous replicator, namely the one adopted by the Mobius modeling framework.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_367417-doc_121552.pdf
accesso aperto
Descrizione: Efficient non-anonymous composition operator for modeling complex dependable systems
Tipologia:
Versione Editoriale (PDF)
Dimensione
103.33 kB
Formato
Adobe PDF
|
103.33 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
