Wright 到 CSP 翻译工具 Wr2fdr 的维护
软件工程
2012-08-02 v1
摘要
形式化 ADL（如 Wright）的使用 critically 依赖于为架构师提供的工具。伴随形式化 Wright ADL 的 Wr2fdr 工具提供了从 Wright 到 CSP 的翻译。Wr2fdr 使用模型检查器 FDR 自动化了关于一致性连接器（属性 2 和 3）、组件（属性 1）和配置管理（属性 8）的四个 Wright 标准属性。在对这一工具进行审计活动后，我们得以修正了与属性 2 和 3 相关的错误。此外，我们提出了属性 1 和 8 的实现方案。最后，我们为 Wr2fdr 工具添加了一个 Wright 语义分析器。
引用
@article{arxiv.1208.0044,
title = {Maintenance de l'outil Wr2fdr de traduction de Wright vers CSP},
author = {Mouti Hammami},
journal= {arXiv preprint arXiv:1208.0044},
year = {2012}
}
备注
arXiv admin note: substantial text overlap with arXiv:1207.7121, arXiv:1207.6831 by other authors