一种用于智能合约代码设计生成的EB2S系统及使用方法

摘要

本发明公开了一种用于智能合约代码设计生成的EB2S系统，包括：EB2S插件以及Rodin平台，EB2S插件为Rodin的插件，EB2S插件调用Rodin平台提供的API输入一个Event‑B模型，获取Event‑B模型中的元素，元素包括集合、常量、公理、变量、事件；然后EB2S工具应用转换规则得到对应的Solidity合约文件。还公开了EB2S系统的使用方法，包括：安装Rodin平台，并同时安装该EB2S插件；打开EB2S插件后，会弹出一个交互界面，用户通过中间的下拉菜单选择需要转换的项目名称，然后可以选择“全部转换”或“部分转换”模式；输入指定的项目文件，在项目所在路径上生成一个Solidity文件夹，里面保存着生成的日志文件和Solidity合约文件，通过选择的“全部转换”或“部分转换”模式进行转换。