relation: http://eprints.imtlucca.it/1020/
title: Style-Based architectural reconfigurations
creator: Bruni, Roberto
creator: Lluch-Lafuente, Alberto
creator: Montanari, Ugo
creator: Tuosto, Emilio
subject: QA75 Electronic computers. Computer science
description: We introduce Architectural Design Rewriting (ADR), an approach to the design of reconfigurable software architectures whose key features are: (i) rule-based approach (over graphs); (ii) hierarchical design; (iii) algebraic presentation; and (iv) inductively-defined reconfigurations. Architectures are modelled by graphs whose edges and nodes represent components and connection ports. Architectures are designed hierarchically by a set of edge replacement rules that fix the architectural style. Depending on their reading, productions allow: (i) top-down design by refinement, (ii) bottom-up typing of actual architectures, and (iii) well-formed composition of architectures. The key idea is to encode style proofs as terms and to exploit such information at run-time for guiding reconfigurations. The main advantages of ADR  are that: (i) instead of reasoning on flat architectures, ADR specifications provide a convenient hierarchical structure, by exploiting the architectural classes introduced by the style, (ii) complex reconfiguration schemes can be defined inductively, and (iii) style-preservation is guaranteed.
publisher: European Association for Theoretical Computer Science 
date: 2008-02
type: Article
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/1020/1/Bruni_llch-lafuente-montanari_tuosto_2008.pdf
identifier:   Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio  Style-Based architectural reconfigurations.  Bulletin of the European association for theoretical computer science, 94.  pp. 161-180.  ISSN 0252-9742      (2008)  
relation: http://www.eatcs.org/images/bulletin/beatcs94.pdf