Logo eprints

Hierarchical design rewriting with Maude

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)

PDF - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (855kB) | Preview


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.

Item Type: Article
Identification Number: 10.1016/j.entcs.2009.05.012
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.
Uncontrolled Keywords: Maude; Rewriting Logic; SOS; Graphs; Software Architectures
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 30 not found.
Date Deposited: 17 May 2011 14:56
Last Modified: 08 Oct 2014 09:36
URI: http://eprints.imtlucca.it/id/eprint/151

Actions (login required)

Edit Item Edit Item