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

在審

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

本發明公開了一種基于公共謂詞邏輯的語義固化和派生方法，其步驟包括：1)為自動機A選取或設計語義單元X，構成一語義單元集{X}及其對應的數據狀態集{D}；2)對{X}中各語義單元進行數字特征獲取并計算每一語義單元的索引值，得到一語義單元索引集{H_X}及數字特征集{Sign_X}；對{D}中各數據狀態進行數字特征獲取并計算每一數據狀態的索引值，得到一數據狀態索引集{H_D}及數字特征集{Sign_D}；3)分別以{H_X}、{H_D}作為輸入進行計算模式得到自動機A的根Root_A；4)A’通過Root_A啟動自動機A，獲取自動機A的所有語義單元、數據狀態進行驅動，從而獲得對自動機A的需求。

技術領域

本發明涉及區塊鏈技術及分布式計算領域，具體涉及互聯網環境下一種基于公共謂詞邏輯的語義固化和派生方法。

背景技術

運行在開放的互聯網環境下的系統，諸如區塊鏈系統等，存在著大量以合約自動機為典型案例的公共腳本形式的數據狀態結合謂詞邏輯進行驅動處理的場景，分布式多節點等特性需要腳本語義的唯一準確性，同時多層次粒度語義固化。公共腳本開發過程中，進行語義和數據狀態分層次粒度進行固化、派生復用，從而提高腳本開發的便捷性及效率。

由于腳本在內的各類程序的數據狀態的自動機機制存在著業務場景升級、結構復雜、安全難控之類情形，都可以造成對于程序編寫錯誤或溢出之類的風險。

因此，本發明提出一種基于公共語義和公共狀態復用的網絡公共謂詞邏輯的語義固化和派生方法，從而提高計算機程序開發的便捷性和唯一確定性。

發明內容

針對現有技術中存在的技術問題，本發明的目的在于提供一種基于公共語義和公共狀態復用的計算機語義固化和派生方法，本發明通過基于共同基礎狀態的謂詞邏輯和命題邏輯進行固化，實現語義及狀態的適合業務需要的粒度層級的封裝固化，適用于廣大計算機從業人員進行包括區塊鏈、并行區塊鏈及分布式存儲在內的各類公共腳本在內的程序開發的應用場合，是一種應用在公共場合下的開發網絡程序的便捷性、確定性更強的方法。

本發明的技術方案為：

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

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；