[發明專利]一種基于公共謂詞邏輯的語義固化和派生方法

在審

• 申請號: 202011102058.9
• 申請日: 2020-10-15
• 公開（公告）號: CN114372471A
• 公開（公告）日: 2022-04-19
• 發明（設計）人: 史興國;陳光宇;楊垂柏
• 申請（專利權）人: 蘇州超塊鏈信息科技有限公司
• 主分類號: G06F40/30
• 分類號: G06F40/30;G06F40/284;G06F16/31
• 代理公司: 北京君尚知識產權代理有限公司 11200
• 代理人: 司立彬

1.一種基于公共謂詞邏輯的語義固化和派生方法，其步驟包括：

1)為自動機A選取或設計多個用于程序開發的語義單元X，構成一語義單元集{X}；其中，語義單元集{X}包括語義單元X(1)、X(2)、…、X(N)，X(N)為第N個語義單元；不同語義單元根據需求設計不同而實現不同的邏輯功能；該語義單元集{X}對應的數據狀態集{D}包括數據狀態D(1)、D(2)、…、D(K)；D(K)為語義單元X處理的第K個數據對應的數據狀態；

2)對語義單元集{X}中各語義單元進行數字特征獲取并計算每一語義單元的索引值，得到一語義單元索引集{H_X}及數字特征值集{Sign_X}；其中，數字特征集{Sign_X}包括Sign_X(1)、Sign_X(2)、…、Sign_X(N)，語義單元索引集{H_X}包括H_X(1)、H_X(2)、…、H_X(N)，語義單元X(N)對應的數字特征為Sign_X(N)，語義單元X(N)對應的索引值為H_X(N)；對數據狀態集{D}中各數據狀態進行數字特征獲取并計算每一數據狀態的索引值，得到一數據狀態索引集{H_D}及數字特征集{Sign_D}；其中，數據狀態索引集{H_D}包括數據狀態索引值H_D(1)、H_D(2)、…、H_D(K)，簽名集{Sign_D}包括Sign_D(1)、Sign_D(2)、…、Sign_D(K)，H_D(K)為數據狀態D(K)的索引值，Sign_D(K)為數據狀態D(K)的數字特征；

3)以語義單元索引集{H_X}作為輸入通過計算模式獲得語義根Root_X，以數據狀態索引集{H_D}作為輸入通過計算模式獲得狀態根Root_D；以該語義根Root_X和該狀態根Root_D值作為輸入通過計算模式得到自動機A的根Root_A；

4)自動機A’通過該自動機根Root_A啟動該自動機A，利用該語義根Root_X獲取該自動機A的所有語義單元，并利用該狀態根Root_D獲取該自動機A執行語義所對應的數據狀態；然后利用語義單元對應的數字特征對對應的語義單元進行驅動、利用數據狀態對應的數字特征對對應的數據進行驅動，利用語義單元中的謂詞邏輯對相應的命題邏輯進行處理，從而自動機A’獲得對自動機A的需求。

2.如權利要求1所述的方法，其特征在于，所述數字特征為數字簽名。

3.如權利要求1所述的方法，其特征在于，所述語義單元X的輸入參數類型、種類由具體業務場景設定，輸入參數為業務參數或與功能應用相關的約束條件。

4.如權利要求1所述的方法，其特征在于，所述語義單元為經過設定專業機構安全審計或長期執行驗證的可編程代碼，或者是經過長期驗證的執行高效率的可編程代碼，或者是長期驗證的穩定執行的可編程代碼，或者兼而有之的代碼。

5.如權利要求1所述的方法，其特征在于，所述數據狀態D由具體業務場景設定，數據狀態為數據塊或數據集，數據狀態的數據結構為結構化數據形式、非結構化數據形式或半結構化數據形式。

6.如權利要求1所述的方法，其特征在于，所述計算模式為梅克樹或字典樹，用于獲取輸入數據的數據根。

7.如權利要求1所述的方法，其特征在于，自動機A為程序模板、函數、框架或計算機軟件程序。

8.如權利要求1所述的方法，其特征在于，自動機A’與自動機A為相同類型或不同類型。