分布式系统的三重分析：IMDS、Petri网与分布式自动机DA3
软件工程
2017-10-10 v1
摘要
集成分布式系统模型（IMDS）用于分布式系统的规约与验证。在该形式体系中，系统被建模为一组服务器状态和代理消息的集合。系统的操作被建模为将全局系统配置（一组状态和消息）转换为新配置的动作。该形式体系用于Dedan验证环境中，在其中执行分布式系统的规约与验证。等价Petri网用于结构分析。为了进行分布式系统的图形化规约与仿真，发明了分布式自治异步自动机（DA3）。此类仿真不需要计算系统的全局配置空间。展示了两种形式的DA3：用于服务器视图的Server-DA3（SDA3）和用于代理视图的Agent-DA3（ADA3）。
引用
@article{arxiv.1710.03168,
title = {Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3},
author = {Wiktor B. Daszczuk},
journal= {arXiv preprint arXiv:1710.03168},
year = {2017}
}
备注
10 pages, 5 figures, 1 table