一种面向BPMN协作图的智能合约自动生成方法
公开
摘要
本发明公开了一种面向BPMN协作图的智能合约自动生成方法，涉及智能合约技术领域，包括以下具体步骤：S1.获取BPMN协作图模型；S2.对BPMN协作图模型执行数据流错误检测，若确定数据流不存在错误则执行下一步，否则修改BPMN协作图模型后重复本步骤；S3.将经过数据流错误检测的BPMN协作图模型转换为基于CSP#的形式模型；S4.对形式模型执行控制流错误检测，若确定控制流不存在错误，则执行下一步，否则修改BPMN协作图模型后回到步骤S2；S5.对经过控制流错误检测的形式模型进行形式模型编译，并得到形式模型中元素的逻辑依赖关系；S6.根据得到的模型元素的逻辑依赖关系，生成智能合约。本发明解决了现有技术不能作用于BPMN协作图，而且无法保障其图形模型质量的问题，且考虑了图形化模型的质量问题，能够提前识别出不合格的模型，为生成符合要求的智能合约提供了保障。
基本信息
专利标题 ：
一种面向BPMN协作图的智能合约自动生成方法
专利标题（英）：
暂无
公开（公告）号 ：
CN114610319A
申请号 ：
CN202210278384.8
公开（公告）日 ：
2022-06-10
申请日 ：
2022-03-21
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
余阳熊天虹
申请人 ：
中山大学
申请人地址 ：
广东省广州市海珠区新港西路135号
代理机构 ：
广州粤高专利商标代理有限公司
代理人 ：
刘俊
优先权 ：
CN202210278384.8
主分类号 ：
G06F8/41
IPC分类号 ：
G06F8/41 G06F9/54
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F8/00
软件工程设计
G06F8/40
程序代码转换
G06F8/41
编译
法律状态
2022-06-10 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
