eprintid: 151
rev_number: 10
eprint_status: archive
userid: 30
dir: disk0/00/00/01/51
datestamp: 2011-05-17 14:56:11
lastmod: 2014-10-08 09:36:46
status_changed: 2011-05-17 14:56:11
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: Bruni, Roberto
creators_name: Lluch-Lafuente, Alberto
creators_name: Montanari, Ugo
creators_id: 
creators_id: alberto.lluch@imtlucca.it
creators_id: 
title: Hierarchical design rewriting with Maude
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Maude; Rewriting Logic; SOS; Graphs; Software Architectures
abstract: Architectural Design Rewriting (ADR) is a rule-based approach for the design of dynamic software architectures. The key features that make ADR a suitable and expressive framework are the algebraic presentation and the use of conditional rewrite rules. These features enable, e.g. hierarchical (top-down, bottom-up or composition-based) design and inductively-defined reconfigurations. The contribution of this paper is twofold: we define Hierarchical Design Rewriting (HDR) and present our prototypical tool support. HDR is a flavour of ADR that exploits the concept of hierarchical graph to deal with system specifications combining both symbolic and interpreted parts. Our prototypical implementation is based on Maude and its presentation serves several purposes. First, we show that HDR is not only a well-founded formal approach but also a tool-supported framework for the design and analysis of software architectures. Second, our illustration tailored to a particular algebra of designs and a particular scenario traces a general methodology for the reuse and exploitation of ADR concepts in other scenarios.


date: 2009
date_type: published
publication: Electronic Notes in Theoretical Computer Science
volume: 238
number: 3
publisher: Elsevier
pagerange: 45-62
id_number: 10.1016/j.entcs.2009.05.012
refereed: TRUE
issn: 1571-0661
official_url: http://www.sciencedirect.com/science/article/B75H1-4WJB479-4/2/0433f4323a2a553bd49d0575856b572a
funders: This work has been partly supported by the EU within the FETPI Global Computing, project IST-2005-016004 SENSORIA (Software Engineering for Service-Oriented Overlay Computers) and by the Italian FIRB Project Tocai.it.
citation:   Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo  Hierarchical design rewriting with Maude.  Electronic Notes in Theoretical Computer Science, 238 (3).  pp. 45-62.  ISSN 1571-0661      (2009)  
document_url: http://eprints.imtlucca.it/151/1/Bruni_lluch-lafuente-montanari.pdf