在存在意外分布式重构的情况下强制实施架构风格
计算机科学中的逻辑
2012-12-19 v1 分布式、并行与集群计算
网络与互联网体系结构
软件工程
摘要
架构设计重写（Architectural Design Rewriting，简称 ADR）是一种基于规则的正式框架，用于对分布式系统架构的演化进行建模。规则允许对 ADR 图进行细化。在为 ADR 配备简单逻辑之后，我们为规则配备了前置条件和后置条件；前者约束规则的适用性，后者指定结果图的属性。我们给出了一种算法，用于根据规则及其后置条件计算最弱前置条件。在此算法基础上，我们设计了一种简单的方法论，使我们能够在架构层面选择可应用的规则，以便在系统因意外运行时重构而使其架构风格受损时，重新恢复该架构风格。
引用
@article{arxiv.1212.4444,
title = {Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations},
author = {Kyriakos Poyias and Emilio Tuosto},
journal= {arXiv preprint arXiv:1212.4444},
year = {2012}
}
备注
In Proceedings ICE 2012, arXiv:1212.3458