A Graph-based Design Framework for Global Computing Systems

Autor: Greg Dennis, Antonio Bucchiarone, Stefania Gnesi
Rok vydání: 2009
Předmět:
Zdroj: Electronic Notes in Theoretical Computer Science. 236:117-130
ISSN: 1571-0661
Popis: 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.
Databáze: OpenAIRE