TY  - JOUR
JF  - Bulletin of the European association for theoretical computer science
UR  - http://www.eatcs.org/images/bulletin/beatcs94.pdf
Y1  - 2008/02//
AV  - public
TI  - Style-Based architectural reconfigurations
SP  - 161
N2  - 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.
PB  - European Association for Theoretical Computer Science 
SN  - 0252-9742
A1  - Bruni, Roberto
A1  - Lluch-Lafuente, Alberto
A1  - Montanari, Ugo
A1  - Tuosto, Emilio
EP  - 180
ID  - eprints1020
VL  - 94
ER  -