Title | ||
---|---|---|
Enforcing Architectural Styles In Presence Of Unexpected Distributed Reconfigurations |
Abstract | ||
---|---|---|
Architectural Design Rewriting (ADR, for short) is a rule-based formal framework for modelling the evolution of architectures of distributed systems. Rules allow ADR graphs to be refined. After equipping ADR with a simple logic, we equip rules with pre- and post-conditions; the former constraints the applicability of the rules while the later specifies properties of the resulting graphs. We give an algorithm to compute the weakest pre- condition out of a rule and its post-condition. On top of this algorithm, we design a simple methodology that allows us to select which rules can be applied at the architectural level to reconfigure a system so to regain its architectural style when it becomes compromised by unexpected run-time reconfigurations. |
Year | DOI | Venue |
---|---|---|
2012 | 10.4204/EPTCS.104.7 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
Field | DocType | Issue |
Graph,Architectural design,Algorithm,Rewriting,Architectural style,Mathematics | Journal | 104 |
ISSN | Citations | PageRank |
2075-2180 | 4 | 0.43 |
References | Authors | |
10 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kyriakos Poyias | 1 | 5 | 0.78 |
Emilio Tuosto | 2 | 499 | 42.62 |