论去中心化规约的监控：语义、性质、分析与仿真
软件工程
2018-08-09 v1 数据结构与算法
形式语言与自动机理论
摘要
我们定义了两种互补的方法来监控去中心化系统。第一种依赖于集中式规约，即规约为整个系统的行为所写。为此，我们的方法引入了一种数据结构，它 i) 跟踪自动机的执行，ii) 具有可预测的参数与大小，iii) 保证强最终一致性。第二种方法定义了去中心化规约，其中为系统的不同部分提供多个规约。我们研究了去中心化规约的两个性质，涉及可监控性以及规约与架构之间的兼容性。我们还提出了一种用于监控去中心化规约的通用算法。我们将三种现有算法映射到我们的方法中，并提供了一个用于分析其行为的框架。此外，我们介绍了 THEMIS，一个用于设计此类去中心化算法并仿真其行为的框架。我们展示了 THEMIS 的使用，通过研究两个场景（一个合成基准和一个真实示例）来比较多种算法并验证分析所预测的趋向。
引用
@article{arxiv.1808.02692,
title = {On the Monitoring of Decentralized Specifications Semantics, Properties, Analysis, and Simulation},
author = {Antoine El-Hokayem and Yliès Falcone},
journal= {arXiv preprint arXiv:1808.02692},
year = {2018}
}