<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Style-Based architectural reconfigurations"^^ . "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\r\nare 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."^^ . "2008-02" . . "94" . . "European Association for Theoretical Computer Science "^^ . . . "Bulletin of the European association for theoretical computer science"^^ . . . "02529742" . . . . . . . . . . . . . . . . "Emilio"^^ . "Tuosto"^^ . "Emilio Tuosto"^^ . . "Roberto"^^ . "Bruni"^^ . "Roberto Bruni"^^ . . "Ugo"^^ . "Montanari"^^ . "Ugo Montanari"^^ . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . . . . . "Style-Based architectural reconfigurations (PDF)"^^ . . . . . "Bruni_llch-lafuente-montanari_tuosto_2008.pdf"^^ . . . "Style-Based architectural reconfigurations (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . . "Style-Based architectural reconfigurations (Image (PNG))"^^ . . . . . . "lightbox.jpg"^^ . . . "Style-Based architectural reconfigurations (Image (PNG))"^^ . . . . . . "preview.jpg"^^ . . . "Style-Based architectural reconfigurations (Image (PNG))"^^ . . . . . . "medium.jpg"^^ . . . "Style-Based architectural reconfigurations (Image (PNG))"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #1020 \n\nStyle-Based architectural reconfigurations\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .