关于从ADR中的运行时间错误行为恢复
On Recovering from Run-time Misbehaviour in ADR
摘要：
我们提出了一种监测机制，用于记录系统的演化后，一定的计算，维护历史的树状结构。从技术上讲，我们开发的监测机制的一个变种的ADR（架构设计重写后），一个基于规则的正式框架建模的体系结构的演变系统。ADR的层次性使我们能够充分利用监测机制的树状结构。我们利用这种机制正式定义新的重写机制ADR重新配置规则。此外，通过监测的演变，我们提出了一种方法来识别系统的哪一部分受到影响时，意外的运行时间的行为出现。此外，我们提出了一种方法来建议重新配置，可能会导致系统在一个非错误的状态。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
