[發明專利]一種形式化代碼生成中的效率控制方法及裝置

有效

• 申請號: 201310162876.1
• 申請日: 2013-05-06
• 公開（公告）號: CN103226488A
• 公開（公告）日: 2013-07-31
• 發明（設計）人: 孔亮;廖方平;王皓瑜;劉鵬飛;張延堂;齊誠民;羅茜;曹軼;楊驥東;孫令武;張敬;孫偉;程勇;杜騰飛
• 申請（專利權）人: 中國農業銀行股份有限公司
• 主分類號: G06F9/45
• 分類號: G06F9/45
• 代理公司: 北京集佳知識產權代理有限公司 11227
• 代理人: 王寶筠

1.一種形式化代碼生成中的效率控制方法，其特征在于，所述方法包括：

接收效率控制規則，所述效率控制規則包括輸入過濾規則、輸入過程控制規則以及輸出預判規則；

接收用戶輸入的形式化代碼；

對所述用戶輸入的形式化代碼進行解析，生成解析結果；

判斷所述形式化代碼是否符合所述輸入過濾規則或所述輸入過程控制規則；

根據所述解析結果判斷所述形式化代碼是否通過語法校驗；

如果所述形式化代碼符合所述輸入過濾規則或所述輸入過程控制規則，并且所述形式化代碼通過語法校驗，則保存所述形式化代碼；

如果所述形式化代碼不符合所述輸入過濾規則或所述輸入過程控制規則，或者所述形式化代碼沒有通過語法校驗，則提示錯誤；

在保存所述形式化代碼后，當接收到執行指令時，計算所述形式化代碼的執行結果集，并判斷所述執行結果集是否符合所述輸出預判規則；

如果所述執行結果集符合所述輸出預判規則，則繼續執行所述形式化代碼；如果所述執行結果集不符合所述輸出預判規則，則提示錯誤。

2.根據權利要求1所述的方法，其特征在于，所述接收用戶輸入的形式化代碼，包括：

接收形式化代碼中需要使用的輸入變量；

通過直接文本錄入模式、選擇模式、枚舉模式、給定定義域輸入模式、對象重命名模式中的一種或多種接收用戶輸入的形式化代碼。

3.根據權利要求2所述的方法，其特征在于，所述輸入過濾規則包括輸入數據過濾規則以及特殊句型及其輸入數據過濾規則；所述輸入過程控制規則包括關聯規則以及特殊句型結構規則；所述解析結果中還包括每項所述形式化代碼的句型；

所述判斷所述形式化代碼是否符合所述輸入過濾規則或所述輸入過程控制規則包括：

判斷接收的形式化代碼中需要使用的輸入變量是否符合輸入數據過濾規則；

逐項判斷形式化代碼的句型是否為輸入過濾規則中的特殊句型，如果是，則判斷該項形式化代碼的輸入變量是否符合所述特殊句型及其輸入數據過濾規則；

判斷所述形式化代碼是否符合關聯規則；

逐項判斷形式化代碼的句型是否為輸入過程控制規則中的特殊句型，如果是，則判斷該項形式化代碼是否符合所述特殊句型結構規則。

4.根據權利要求1所述的方法，其特征在于，所述解析結果中還包括每項所述形式化代碼的句型；所述方法還包括：接收預先設定的分步式輸入代碼規則；

所述接收用戶輸入的形式化代碼，包括：

接收形式化代碼中需要使用的輸入變量；

根據所述分步式輸入代碼規則以及每項所述形式化代碼的句型分步通過直接文本錄入模式、選擇模式、枚舉模式、給定定義域輸入模式、對象重命名模式中的一種或多種接收用戶輸入的形式化代碼。

5.根據權利要求1所述的方法，其特征在于，在保存所述形式化代碼之后，接收到執行指令之前，所述方法還包括：

定義矢量變量及所述矢量變量的屬性；

判斷所述形式化代碼中是否包括所述矢量變量；

根據所述矢量變量的屬性，將包括所述矢量變量的一項形式化代碼替換為一組形式化代碼并保存。