公开(公告)号：CN118764541A

公开(公告)日：2024-10-11

申请号：CN202410796780.9

申请日：2024-06-20

Applicant: 哈尔滨工业大学

Inventor： 李文毓 ,  沈昕哲 ,  罗家乐 ,  徐汉川 ,  王忠杰 ,  徐晓飞

IPC: H04L69/00 ,  H04L67/104 ,  G06F40/205 ,  G06F40/211

Abstract: 本发明公开了一种基于模型驱动的多方复杂协议上链模式分析与建模方法，所述方法包括如下步骤：步骤S1、收集、总结和归纳协议中区块链案例的上链模式；步骤S2、上链模式提取；步骤S3、构建符合模型驱动架构的多方服务协议上链模型；步骤S4、可视化工具的实现。该方法能够在系统运行时，对复杂协议文本的区块链部署需求进行分析并提取上链元素，然后根据上链元素对协议进行建模，模型符合模型驱动架构的标准，最后实现模型间的无语义丢失的自动转换，以便智能合约的开发人员能够更好的理解业务需求并减少交流障碍。

公开(公告)号：CN115878112A

公开(公告)日：2023-03-31

申请号：CN202211430181.2

申请日：2022-11-15

Applicant: 哈尔滨工业大学

Inventor： 李文毓 ,  沈昕哲 ,  徐汉川 ,  王忠杰 ,  徐晓飞

IPC: G06F8/36 ,  G06F8/34 ,  G06F21/62 ,  G06F21/64

Abstract: 一种多方复杂商业协议智能合约生成系统及其生成方法，属于计算机服务技术领域。系统包括文本合同提取模块、合同建模模块、BPMN建模模块、代码生成模块、安全性检查和部署模块以及可复用智能合约代码库模块；方法如下：对多方复杂商业协议的服务合同进行分析；生成统一合同模型并表达出外层模型和内层模型的元素：将合同模型转化为能够体现多方之间交互关系的扩展BPMN流程图；将扩展的BPMN流程图与可复用的智能合约代码库形成映射，生成完整的智能合约代码；对生成的智能合约进行安全性检查和本地私链部署测试。本发明能够保证代码的安全性，提高了开发效率，减少了业务上的交流障碍，避免了手工编程造成的错误。