Rodin 3.x 的 Theory 插件
软件工程
2017-01-31 v1
摘要
Theory 插件使建模者能够扩展 Event-B 的数学建模符号，并附带支持对扩展语言进行推理。先前版本的 Theory 插件基于 Rodin 2.x 实现。本陈述概述了为使 Theory 插件与 Rodin 3.x 兼容而在可靠性和可用性方面的主要改进。我们还将介绍 Rodin 核心中为适配 Theory 插件所需的更改。最后，我们确定了 Theory 插件的未来增强功能和研究方向。
引用
@article{arxiv.1701.08625,
title = {Theory Plug-in for Rodin 3.x},
author = {T. S. Hoang and L. Voisin and A. Salehi and M. Butler and T. Wilkinson and N. Beauger},
journal= {arXiv preprint arXiv:1701.08625},
year = {2017}
}
备注
Event-B day 2016, Tokyo