中山大学余阳获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉中山大学申请的专利一种面向BPMN协作图的智能合约自动生成方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN114610319B 。
龙图腾网通过国家知识产权局官网在2025-06-24发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202210278384.8,技术领域涉及:G06F8/41;该发明授权一种面向BPMN协作图的智能合约自动生成方法是由余阳;熊天虹设计研发完成,并于2022-03-21向国家知识产权局提交的专利申请。
本一种面向BPMN协作图的智能合约自动生成方法在说明书摘要公布了:本发明公开了一种面向BPMN协作图的智能合约自动生成方法,涉及智能合约技术领域,包括以下具体步骤:S1.获取BPMN协作图模型;S2.对BPMN协作图模型执行数据流错误检测,若确定数据流不存在错误则执行下一步,否则修改BPMN协作图模型后重复本步骤;S3.将经过数据流错误检测的BPMN协作图模型转换为基于CSP#的形式模型;S4.对形式模型执行控制流错误检测,若确定控制流不存在错误,则执行下一步,否则修改BPMN协作图模型后回到步骤S2;S5.对经过控制流错误检测的形式模型进行形式模型编译,并得到形式模型中元素的逻辑依赖关系;S6.根据得到的模型元素的逻辑依赖关系,生成智能合约。本发明解决了现有技术不能作用于BPMN协作图,而且无法保障其图形模型质量的问题,且考虑了图形化模型的质量问题,能够提前识别出不合格的模型,为生成符合要求的智能合约提供了保障。
本发明授权一种面向BPMN协作图的智能合约自动生成方法在权利要求书中公布了:1.一种面向BPMN协作图的智能合约自动生成方法,其特征在于:包括以下具体步骤: S1.获取BPMN协作图模型; S2.对BPMN协作图模型执行数据流错误检测,若确定数据流不存在错误则执行下一步,否则修改BPMN协作图模型后重复本步骤; S3.将经过数据流错误检测的BPMN协作图模型转换为基于CSP#的形式模型;所述的数据流错误检测采用3种协同业务过程数据流错误模式进行检测,分别包括: 模式1:通过公式: 判断BPMN协作图模型的控制流的协同业务过程中是否存在无法发送消息的错误,其中n表示节点,BP表示参与者,SendBP表示参与者BP中用于发送消息的节点,Inputn表示节点n的输入数据,Outputn:表示节点n的输出数据,ContentSetn表示与节点n关联的消息的内容数据,CorrelationSetn:与节点n关联的消息的关联数据;若检测为存在无法发送消息的错误,则判断数据流存在错误; 模式2:通过公式: 判断BPMN协作图模型的控制流的协同业务过程中是否存在无法接收消息的错误,其中ReceiveBP表示表示参与者BP中用于发送消息的节点;若检测为存在无法接收消息的错误,则判断数据流存在错误; 模式3:通过公式: 判断BPMN协作图模型的控制流的协同业务过程中是否存在无法匹配正确的消息的错误,其中Rmsgn表示节点n所接收到消息,CorrelationDatam表示特定消息m的关联数据;若检测为存在无法匹配正确的消息的错误,则判断数据流存在错误; 将经过数据流错误检测的BPMN协作图模型转换为基于CSP#的形式模型的转换逻辑:从开始节点出发: 当遇到发送任务节点或接收任务节点时,将发送任务节点内容和接收任务节点内容映射为CSP#消息事件和CSP#消息通道; 当遇到独占网关时,遍历该独占网关的所有分支,获取分支上的任务元素,直到遇到该独占网关对应的连接模式点,若分支上包含其它网关,则递归处理,将任务元素映射为CSP#消息事件和CSP#消息通道,将独占网关映射到CSP#通用选择逻辑符; 当遇到并行网关时,遍历该并行网关的所有分支,获取分支上的任务元素,直到遇到该并行网关对应的连接模式点,若分支上包含其它网关,则递归处理,将任务元素映射为CSP#消息事件和CSP#消息通道,将并行网关映射到CSP#并行逻辑符; 当遇到基于事件网关时,遍历该基于事件网关的所有分支,获取分支上的任务元素,直到遇到该基于事件网关对应的连接模式点,若分支上包含其它网关,则递归处理,将任务元素映射为CSP#消息事件和CSP#消息通道,将基于事件网关映射到CSP#外部选择逻辑符; 当遇到结束节点时,结束转换; S4.对形式模型执行控制流错误检测,若确定控制流不存在错误,则执行下一步,否则修改BPMN协作图模型后回到步骤S2; S5.对经过控制流错误检测的形式模型进行形式模型编译,并得到形式模型中元素的逻辑依赖关系; S6.根据得到的模型元素的逻辑依赖关系,生成智能合约。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人中山大学,其通讯地址为:510275 广东省广州市海珠区新港西路135号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。