A graph-based design framework for global computing systems

Bucchiarone A, Gnesi S, Dennis G

Software Engineering  Design Tools and Techniques  Component-based software systems  Dynamic software architectures  Graph grammars 

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.

Source: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 236, pp. 117-130