We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented in Alloy; ii) a process algebraic presentation of graph transformation implemented in Maude. The two approaches are compared by showing how different aspects can be tackled, including representation issues, modelling phases, property specification and analysis.
Graph-based design and analysis of dynamic software architectures
Gnesi S;
2008
Abstract
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented in Alloy; ii) a process algebraic presentation of graph transformation implemented in Maude. The two approaches are compared by showing how different aspects can be tackled, including representation issues, modelling phases, property specification and analysis.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_179732-doc_16297.pdf
solo utenti autorizzati
Descrizione: bruni
Tipologia:
Versione Editoriale (PDF)
Dimensione
684.78 kB
Formato
Adobe PDF
|
684.78 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
