eprintid: 1020
rev_number: 8
eprint_status: archive
userid: 30
dir: disk0/00/00/10/20
datestamp: 2011-11-22 14:16:35
lastmod: 2011-12-20 12:00:25
status_changed: 2011-11-22 14:16:35
type: article
metadata_visibility: show
creators_name: Bruni, Roberto
creators_name: Lluch-Lafuente, Alberto
creators_name: Montanari, Ugo
creators_name: Tuosto, Emilio
creators_id: 
creators_id: alberto.lluch@imtlucca.it
creators_id: 
creators_id: 
title: Style-Based architectural reconfigurations
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
abstract: 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.
date: 2008-02
date_type: published
publication: Bulletin of the European association for theoretical computer science
volume: 94
publisher: European Association for Theoretical Computer Science 
pagerange: 161-180
refereed: TRUE
issn: 0252-9742
official_url: http://www.eatcs.org/images/bulletin/beatcs94.pdf
citation:   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)  
document_url: http://eprints.imtlucca.it/1020/1/Bruni_llch-lafuente-montanari_tuosto_2008.pdf