PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bucchiarone A., Gnesi S., Dennis G. A graph-based design framework for global computing systems. In: Electronic Notes in Theoretical Computer Science, vol. 236 pp. 117 - 130. Special issue: VODCA 2008 - 3rd International Workshop on Views on Designing Comples Architecture (Bertinoro, Italy, 30-31 August 2008). Proceedings. A. Aldini, M. ter Beek, F. Gadducci (eds.). Elsevier, 2009.
 
 
Abstract
(English)
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.
URL: http://www.sciencedirect.com/science?_ob=PublicationURL&_tockey=%23TOC%2313109%232009%23997639999%231007080%23FLP%23&_cdi=13109&_pubType=J&_auth=y&_acct=C000061181&_version=1&_urlVersion=0&_userid=3967543&md5=eca38b215db8261b0007d549fbe9255b
DOI: 10.1016/j.entcs.2009.03.018
Subject Component-based software systems
Dynamic software architectures
Graph grammars
Alloy
D.2 SOFTWARE ENGINEERING
D.2.2 Design Tools and Techniques


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional