| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 423522 | Electronic Notes in Theoretical Computer Science | 2009 | 14 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
