We present a framework for designing and analyzing Global Computing Systems using Dynamic Software Architectures. The framework, called TGGA, integrates typed graph grammars and the Alloy modeling language to specify Programmed Dynamic Software Architectures that represent systems that evolve their topology at runtime. We demonstrate the benefits of the framework by applying it to the study of an Automotive Software System.
A graph-based design framework for global computing systems
Gnesi S;
2009
Abstract
We present a framework for designing and analyzing Global Computing Systems using Dynamic Software Architectures. The framework, called TGGA, integrates typed graph grammars and the Alloy modeling language to specify Programmed Dynamic Software Architectures that represent systems that evolve their topology at runtime. We demonstrate the benefits of the framework by applying it to the study of an Automotive Software System.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_68468-doc_131510.pdf
solo utenti autorizzati
Descrizione: A graph-based design framework for global computing systems
Tipologia:
Versione Editoriale (PDF)
Dimensione
656.23 kB
Formato
Adobe PDF
|
656.23 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.
