Abstract | ||
---|---|---|
We propose a monitoring mechanism for recording the evolution of systems after certain computations, maintaining the history in a tree-like structure. Technically, we develop the monitoring mechanism in a variant of ADR (after Architectural Design Rewriting), a rule-based formal framework for modelling the evolution of architectures of systems.The hierarchical nature of ADR allows us to take full advantage of the tree-like structure of the monitoring mechanism. We exploit this mechanism to formally define new rewriting mechanisms for ADR reconfiguration rules. Also, by monitoring the evolution we propose a way of identifying which part of a system has been affected when unexpected run-time behaviours emerge. Moreover, we propose a methodology to suggest reconfigurations that could potentially lead the system in a non-erroneous state. |
Year | DOI | Venue |
---|---|---|
2013 | 10.4204/EPTCS.131.7 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
Field | DocType | Issue |
Architectural design,Computer science,Real-time computing,Exploit,Theoretical computer science,Rewriting,Control reconfiguration,Computation,Distributed computing | Journal | 131 |
ISSN | Citations | PageRank |
2075-2180 | 1 | 0.35 |
References | Authors | |
6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kyriakos Poyias | 1 | 5 | 0.78 |
Emilio Tuosto | 2 | 499 | 42.62 |