Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
The expression of graph properties and graph transformations in monadic second-order logic
Handbook of graph grammars and computing by graph transformation
An open graph visualization system and its applications to software engineering
Software—Practice & Experience - Special issue on discrete algorithm engineering
Hyperedge Replacement: Grammars and Languages
Hyperedge Replacement: Grammars and Languages
Documenting Software Architectures: Views and Beyond
Documenting Software Architectures: Views and Beyond
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
A spatial logic for concurrency (part I)
Information and Computation - TACS 2001
Semantic foundations for generalized rewrite theories
Theoretical Computer Science
The rewriting logic semantics project
Theoretical Computer Science
Shaped Hierarchical Architectural Design
Electronic Notes in Theoretical Computer Science (ENTCS)
A Rewriting Semantics for a Software Architecture Description Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Strategy Language for Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Program refactoring, program synthesis, and model-driven development
CC'07 Proceedings of the 16th international conference on Compiler construction
Service oriented architectural design
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Synchronised hyperedge replacement as a model for service oriented computing
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Hierarchical verification in maude of Lf P software architectures
ECSA'07 Proceedings of the First European conference on Software Architecture
On Symbolic Semantics for Name-decorated Contexts
Electronic Notes in Theoretical Computer Science (ENTCS)
Correct Execution of Reconfiguration for Stateful Components
Electronic Notes in Theoretical Computer Science (ENTCS)
A Service-Oriented UML Profile with Formal Support
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
A graph syntax for processes and services
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
An algebra of hierarchical graphs
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Journal of Visual Languages and Computing
A unifying formal basis for the SENSORIA approach: a white paper
Rigorous software engineering for service-oriented systems
A formal support to business and architectural design for service-oriented systems
Rigorous software engineering for service-oriented systems
Hi-index | 0.00 |
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.