[发明专利]一种用于智能合约代码设计生成的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/,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code