[发明专利]一种用于智能合约代码设计生成的EB2S系统及使用方法在审
申请号: | 202111438865.2 | 申请日: | 2021-11-29 |
公开(公告)号: | CN114153435A | 公开(公告)日: | 2022-03-08 |
发明(设计)人: | 胡凯;朱健;李洁 | 申请(专利权)人: | 北京航空航天大学 |
主分类号: | G06F8/30 | 分类号: | G06F8/30;G06F8/20 |
代理公司: | 暂无信息 | 代理人: | 暂无信息 |
地址: | 100191*** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种用于智能合约代码设计生成的EB2S系统,包括:EB2S插件以及Rodin平台,EB2S插件为Rodin的插件,EB2S插件调用Rodin平台提供的API输入一个Event‑B模型,获取Event‑B模型中的元素,元素包括集合、常量、公理、变量、事件;然后EB2S工具应用转换规则得到对应的Solidity合约文件。还公开了EB2S系统的使用方法,包括:安装Rodin平台,并同时安装该EB2S插件;打开EB2S插件后,会弹出一个交互界面,用户通过中间的下拉菜单选择需要转换的项目名称,然后可以选择“全部转换”或“部分转换”模式;输入指定的项目文件,在项目所在路径上生成一个Solidity文件夹,里面保存着生成的日志文件和Solidity合约文件,通过选择的“全部转换”或“部分转换”模式进行转换。 | ||
搜索关键词: | 一种 用于 智能 合约 代码 设计 生成 eb2s 系统 使用方法 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于北京航空航天大学,未经北京航空航天大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202111438865.2/,转载请声明来源钻瓜专利网。