[發(fā)明專利]一種多方復(fù)雜商業(yè)協(xié)議智能合約生成系統(tǒng)及其生成方法

在審

• 申請?zhí)枺?/td>: 202211430181.2
• 申請日: 2022-11-15
• 公開（公告）號: CN115878112A
• 公開（公告）日: 2023-03-31
• 發(fā)明（設(shè)計）人: 李文毓;沈昕哲;徐漢川;王忠杰;徐曉飛
• 申請（專利權(quán)）人: 哈爾濱工業(yè)大學
• 主分類號: G06F8/36
• 分類號: G06F8/36;G06F8/34;G06F21/62;G06F21/64
• 代理公司: 哈爾濱龍科專利代理有限公司 23206
• 代理人: 王瑩

1.一種多方復(fù)雜商業(yè)協(xié)議智能合約生成系統(tǒng)，其特征在于：所述系統(tǒng)包括文本合同提取模塊、合同建模模塊、BPMN建模模塊、代碼生成模塊、安全性檢查和部署模塊以及可復(fù)用智能合約代碼庫模塊；

所述文本合同提取模塊負責提取文本合同的條款語句；

所述合同建模模塊負責將合同的條款語句構(gòu)建成統(tǒng)一合同模型，并將統(tǒng)一合同模型分為外層模型以及內(nèi)層模型，所述外層模型即為鏈外部分，所述內(nèi)層模型即為鏈上部分；

所述BPMN建模模塊負責支持復(fù)雜場景建模后生成智能合約代碼，同時支持將統(tǒng)一合同模型構(gòu)建成可以表達交互關(guān)系的BPMN流程圖；

所述代碼生成模塊負責形成BPMN流程圖到可復(fù)用智能合約庫的映射，進而生成智能合約代碼；

所述安全性檢查和部署模塊負責對生成的智能合約進行安全性檢查并將其部署在本地私鏈上；

所述可復(fù)用智能合約代碼庫模塊負責按照領(lǐng)域維護可復(fù)用的基本功能單元，并且支持Blockly可視化編程solidity代碼以高效率、低門檻的方式維護復(fù)用庫。

2.一種根據(jù)權(quán)利要求1所述的多方復(fù)雜商業(yè)協(xié)議智能合約生成系統(tǒng)的生成方法，其特征在于：所述方法包括如下步驟：

S1：對多方復(fù)雜商業(yè)協(xié)議的服務(wù)合同進行分析；

S2：生成統(tǒng)一合同模型，并表達出外層模型和內(nèi)層模型的元素：

S3：將合同模型轉(zhuǎn)化為能夠體現(xiàn)多方之間交互關(guān)系的擴展BPMN流程圖；

S4：將擴展的BPMN流程圖與可復(fù)用的智能合約代碼庫形成映射，生成完整的智能合約代碼；

S5：對生成的智能合約進行安全性檢查和本地私鏈部署測試。

3.根據(jù)權(quán)利要求2所述的方法，其特征在于：所述S1包括如下步驟：

S101：利用自然語言處理提取文本合同中所有條款的句子；

S102：使用多標簽分類將提取的句子分為多種類型；

S103：對分類后的每個句子均進行句法分析，得到句子中的主體成份。

4.根據(jù)權(quán)利要求3所述的方法，其特征在于：所述S2包括如下步驟：

S201：構(gòu)建統(tǒng)一合同模型的外層模型；

S202：根據(jù)S201所得外層模型，識別出需要部署在區(qū)塊鏈上的成份；

S203：構(gòu)建統(tǒng)一合同模型的內(nèi)層模型；

S204：將內(nèi)層模型和外層模型結(jié)合生成統(tǒng)一的合同模型。

5.根據(jù)權(quán)利要求4所述的方法，其特征在于：所述S3包括如下步驟：

S301：提取合同模型中的利益相關(guān)方、鏈外的數(shù)據(jù)輸入或規(guī)則觸發(fā)以及鏈上的數(shù)據(jù)存儲行為或規(guī)則執(zhí)行行為；

S302：將S301所述提取內(nèi)容映射到擴展的BPMN元素中；

S303：根據(jù)合同的規(guī)則執(zhí)行流程和交互關(guān)系，補充完善BPMN流程圖，形成完整的交互流程模型。

6.根據(jù)權(quán)利要求5所述的方法，其特征在于：所述S4包括如下步驟：

S401：解析BPMN流程圖，將BPMN流程圖中代表智能合約任務(wù)的元素與可復(fù)用代碼庫進行匹配，并將代表智能合約任務(wù)的元素映射成一個或多個solidity函數(shù)；

S402：引入當前智能合約所需要的外部智能合約的路徑或庫的路徑，并定義智能合約的名字和繼承關(guān)系；

S403：生成完整的可執(zhí)行的智能合約代碼。

7.根據(jù)權(quán)利要求6所述的方法，其特征在于：所述S5包括如下步驟：

S501：使用靜態(tài)檢查工具對生成的智能合約進行安全性檢查，并記錄檢查的結(jié)果；

S502：對通過安全性檢查的智能合約進行私鏈的部署。