專利名稱：基于xml的規(guī)則定義和執(zhí)行檢查方法
技術(shù)領(lǐng)域：
本發(fā)明涉及一種基于XML格式規(guī)則的定義和通過規(guī)則計(jì)算來判定數(shù)據(jù)正確性的方法。
背景技術(shù)：
在計(jì)算機(jī)應(yīng)用領(lǐng)域，不同的行業(yè)領(lǐng)域存在不同的業(yè)務(wù)規(guī)則，對數(shù)據(jù)也就有著相應(yīng)的要求。業(yè)務(wù)規(guī)則可能會不定期地發(fā)生變化，如果將規(guī)則固化到程序中，編程工作量很大，并且需要根據(jù)規(guī)則的變化不斷地修改程序
發(fā)明內(nèi)容
所要解決的技術(shù)問題針對行業(yè)領(lǐng)域存在的業(yè)務(wù)規(guī)則問題本發(fā)明提供為了一種規(guī)則定義和自動計(jì)算方法，從而實(shí)現(xiàn)數(shù)據(jù)自動校驗(yàn)的基于XML的規(guī)則定義和執(zhí)行檢查方法。技術(shù)方案為了解決以上問題本發(fā)明提供了一種基于XML的規(guī)則定義和執(zhí)行檢查方法，其特征在于包括以下步驟
第I步建立規(guī)則的數(shù)據(jù)表首先進(jìn)行如下定義，
①元數(shù)據(jù)的定義；②算術(shù)運(yùn)算符的定義；③比較運(yùn)算符的定義；④邏輯運(yùn)算符的定義⑤范圍/多值/除外的定義；⑥布爾表達(dá)式的定義；⑦規(guī)則定義
第2步XML業(yè)務(wù)規(guī)則將業(yè)務(wù)規(guī)則按照XML的格式定義到第I步所述的數(shù)據(jù)表中； 業(yè)務(wù)規(guī)則是用戶提供的對業(yè)務(wù)數(shù)據(jù)正確性的判定基礎(chǔ)；
本步驟將用戶提供的所有業(yè)務(wù)規(guī)則翻譯后保存在規(guī)則表里；
第3步通過逐條計(jì)算規(guī)則進(jìn)行校驗(yàn)；
第4步效驗(yàn)結(jié)果根據(jù)返回結(jié)果為假的規(guī)則編號，匯總錯(cuò)誤信息，返回調(diào)用規(guī)則的應(yīng)用程序。所述的①元數(shù)據(jù)的定義元數(shù)據(jù)是指的業(yè)務(wù)中某個(gè)事物的屬性，元數(shù)據(jù)對應(yīng)到一張表的一個(gè)字段，元數(shù)據(jù)的定義保存在數(shù)據(jù)表里；
②算術(shù)運(yùn)算符的定義算術(shù)運(yùn)算符包括了“ + ”、“一”、“ X ” ；
③比較運(yùn)算符的定義比較符包括“！=，，;
④邏輯運(yùn)算符的定義邏輯運(yùn)算符包括“and”、“or”、“not”；
⑤范圍/多值/除外的定義U.· 10，13; 7，9} 范圍之間使用.”表示，多值使用“，”分隔，除外使用“；”分隔，并且寫在最后，H表示一個(gè)集合；
⑥布爾表達(dá)式的定義布爾表達(dá)式就是根據(jù)上述5類定義組合而成的最終結(jié)果是布爾值的表達(dá)式；
⑦規(guī)則定義規(guī)則表示為如下格式
<條件 > 布爾表達(dá)式0〈/條件>
<真 > 布爾表達(dá)式1〈/真>
<假 > 布爾表達(dá)式2〈/假>計(jì)算時(shí)，先計(jì)算布爾表達(dá)式O的值，如果為真，則計(jì)算布爾表達(dá)式I的值返回；否則計(jì)算布爾表達(dá)式2的值返回；
規(guī)則的定義能嵌套多層。所述的業(yè)務(wù)規(guī)則結(jié)構(gòu)如下如果XXXXX條件，則實(shí)體屬性在/不在數(shù)據(jù)范圍。所述第3步包括以下步驟
第3-1步解析XML格式規(guī)則，得到條件表達(dá)式、布爾表達(dá)式真和布爾表達(dá)式假； 所述第3-1步的XML格式為
<條件 > 布爾表達(dá)式〈/條件> <真 > 布爾表達(dá)式真〈/真>
<假 > 布爾表達(dá)式假〈/假>
第3-2步計(jì)算條件表達(dá)式的值，得到真或者假；
第3-3步如果條件表達(dá)式為真，則返回計(jì)算布爾表達(dá)式真，返回計(jì)算結(jié)果值；否則計(jì)算布爾表達(dá)式假，返回計(jì)算結(jié)果值；
所述第3-1步中布爾表達(dá)式真和布爾表達(dá)式假是嵌套的條件表達(dá)式
<條件 > 布爾表達(dá)式〈/條件>
〈真〉
<條件 > 布爾表達(dá)式〈/條件>
<真 > 布爾表達(dá)式真〈/真>
<假 > 布爾表達(dá)式假〈/假>
〈/真〉
<假 > 布爾表達(dá)式假〈/假>
所述第3步的計(jì)算流程為①解析XML規(guī)則，得到條件表達(dá)式，布爾表達(dá)式真和布爾表達(dá)式假；對于條件表達(dá)式②元數(shù)據(jù)值替換；③算術(shù)運(yùn)算符的處理；④比較運(yùn)算符的處理；
⑤邏輯運(yùn)算符的處理；⑥得到條件表達(dá)式的結(jié)果，根據(jù)此結(jié)果的真假，計(jì)算對應(yīng)布爾表達(dá)式真或布爾表達(dá)式假，計(jì)算過程同② ⑤。有益效果本發(fā)明可以很好地適應(yīng)這種變化，通過調(diào)整規(guī)則庫的規(guī)則來適應(yīng)用戶變化的規(guī)則。業(yè)務(wù)數(shù)據(jù)可以先定義元數(shù)據(jù)，規(guī)則中可以利用到這些元數(shù)據(jù)，而不是直接指定數(shù)據(jù)庫內(nèi)表的字段，這樣可以增強(qiáng)一定的靈活性。


圖I為本發(fā)明方法的原理框 圖2為本發(fā)明計(jì)算規(guī)則的流程圖。
具體實(shí)施例方式下面結(jié)合附圖對本發(fā)明作進(jìn)一步的描述。本發(fā)明的基本思想是，利用XML格式定義規(guī)則，根據(jù)對規(guī)則內(nèi)表達(dá)式的計(jì)算來獲取規(guī)則的校驗(yàn)結(jié)果，匯總所有結(jié)果為假的規(guī)則的提示信息，供各個(gè)業(yè)務(wù)系統(tǒng)調(diào)用。如圖I所示，本發(fā)明的基于XML的規(guī)則定義和執(zhí)行檢查方法，包括以下步驟
第I步建立規(guī)則的數(shù)據(jù)表首先進(jìn)行如下定義，①元數(shù)據(jù)的定義。元數(shù)據(jù)是指的業(yè)務(wù)中某個(gè)事物的屬性，例如人的姓名、年齡等等，通常對應(yīng)到一張表的一個(gè)字段。元數(shù)據(jù)的定義保存在數(shù)據(jù)表里。②算術(shù)運(yùn)算符的定義。算術(shù)運(yùn)算符包括了 “ + ”、“ - ”、“ X ”、“ + ”。③比較運(yùn)算符的定義。比較符包括“！=”。④邏輯運(yùn)算符的定義。邏輯運(yùn)算符包括“and”、“or”、“not”。⑤范圍/多值/除外的定義。{I.. 10，13;7，9}范圍之間使用”表示，多值使用“，”分隔，除外使用“；”分隔，并且寫在最后。{}表示一個(gè)集合。⑥布爾表達(dá)式的定義。布爾表達(dá)式就是根據(jù)上述5類定義組合而成的最終結(jié)果是布爾值的表達(dá)式。例如[EAJ.SAAY] = {3102, 3103, 3148} and [EAJ. XTAJLX] = 51·[190.LX] = 5 and [184. YYZL] = 3
其中EAJ. SAAY是EAJ表的SAAY字段值；190. LX表示實(shí)體編號190的LX屬性值。⑦規(guī)則定義。規(guī)則可以表示為如下格式
<條件 > 布爾表達(dá)式0〈/條件>
<真 > 布爾表達(dá)式1〈/真>
<假 > 布爾表達(dá)式2〈/假>
計(jì)算時(shí)，先計(jì)算布爾表達(dá)式O的值，如果為真，則計(jì)算布爾表達(dá)式I的值返回；否則計(jì)算布爾表達(dá)式2的值返回。規(guī)則的定義可以嵌套多層。第2步XML業(yè)務(wù)規(guī)則將業(yè)務(wù)規(guī)則按照XML的格式定義到第I步所述的數(shù)據(jù)表中；
業(yè)務(wù)規(guī)則是用戶提供的對業(yè)務(wù)數(shù)據(jù)正確性的判定基礎(chǔ)。業(yè)務(wù)規(guī)則通常是如下結(jié)構(gòu)
如果XXXXX條件，則實(shí)體屬性在/不在數(shù)據(jù)范圍。例如行政非訴執(zhí)行(立案案由為31 39)的結(jié)案方式不能選I (不予受理)、2 (不予執(zhí)行)、3 (駁回申請)。翻譯成XML 的規(guī)則為〈條件〉[EAJ. XTA幾X] = 34〈/條件 X 真 > [181. JAFS] Φ
{1··3}〈/真〉
本步驟將用戶提供的所有業(yè)務(wù)規(guī)則翻譯后保存在規(guī)則表里。第3步通過逐條計(jì)算規(guī)則進(jìn)行校驗(yàn)；包括以下步驟
第3-1步解析XML格式規(guī)則，得到條件表達(dá)式、布爾表達(dá)式真和布爾表達(dá)式假； 所述第3-1步的XML格式為
<條件 > 布爾表達(dá)式〈/條件>
<真 > 布爾表達(dá)式真〈/真>
<假 > 布爾表達(dá)式假〈/假>
其中，布爾表達(dá)式真和布爾表達(dá)式假可以是嵌套的條件表達(dá)式，例如
<條件 > 布爾表達(dá)式〈/條件>
〈真〉
<條件 > 布爾表達(dá)式〈/條件><真 > 布爾表達(dá)式真〈/真>
<假 > 布爾表達(dá)式假〈/假>
〈/真〉
<假 > 布爾表達(dá)式假〈/假>
第3-2步計(jì)算條件表達(dá)式的值，得到真或者假；
第3-3步如果條件表達(dá)式為真，則返回計(jì)算布爾表達(dá)式真，返回計(jì)算結(jié)果值；否則計(jì) 算布爾表達(dá)式假，返回計(jì)算結(jié)果值；
所述第3步的計(jì)算流程為如圖2單條規(guī)則計(jì)算流程圖所示，①解析XML規(guī)則，得到條件表達(dá)式，布爾表達(dá)式真和布爾表達(dá)式假；對于條件表達(dá)式②元數(shù)據(jù)值替換；③算術(shù)運(yùn)算符的處理；④比較運(yùn)算符的處理；⑤邏輯運(yùn)算符的處理；⑥得到條件表達(dá)式的結(jié)果，根據(jù)此結(jié)果的真假，計(jì)算對應(yīng)布爾表達(dá)式真或布爾表達(dá)式假，計(jì)算過程同② ⑤。第4步效驗(yàn)結(jié)果根據(jù)返回結(jié)果為假的規(guī)則編號，匯總錯(cuò)誤信息，返回調(diào)用規(guī)則的應(yīng)用程序。以上所述僅為本發(fā)明的優(yōu)選實(shí)施例而已，并不限制于本發(fā)明，對于本領(lǐng)域的技術(shù)人員來說，本發(fā)明可以有各種更改和變化。凡在本發(fā)明的精神和原則之內(nèi)，所作的任何修改、等同替換、改進(jìn)等，均應(yīng)包含在本發(fā)明的權(quán)利要求范圍之內(nèi)。
權(quán)利要求
1.基于XML的規(guī)則定義和執(zhí)行檢查方法，其特征在于包括以下步驟第I步建立規(guī)則的數(shù)據(jù)表首先進(jìn)行如下定義，①元數(shù)據(jù)的定義；②算術(shù)運(yùn)算符的定義； ③比較運(yùn)算符的定義邏輯運(yùn)算符的定義⑤范圍/多值/除外的定義；⑥布爾表達(dá)式的定義；⑦規(guī)則定義第2步XML業(yè)務(wù)規(guī)則將業(yè)務(wù)規(guī)則按照XML的格式定義到第I步所述的數(shù)據(jù)表中； 業(yè)務(wù)規(guī)則是用戶提供的對業(yè)務(wù)數(shù)據(jù)正確性的判定基礎(chǔ)；本步驟將用戶提供的所有業(yè)務(wù)規(guī)則翻譯后保存在規(guī)則表里；第3步通過逐條計(jì)算規(guī)則進(jìn)行校驗(yàn)；第4步效驗(yàn)結(jié)果根據(jù)返回結(jié)果為假的規(guī)則編號，匯總錯(cuò)誤信息，返回調(diào)用規(guī)則的應(yīng)用程序。
2.根據(jù)權(quán)利要求I所述的基于XML的規(guī)則定義和執(zhí)行檢查方法，其特征在于所述的①元數(shù)據(jù)的定義元數(shù)據(jù)是指的業(yè)務(wù)中某個(gè)事物的屬性，元數(shù)據(jù)對應(yīng)到一張表的一個(gè)字段，元數(shù)據(jù)的定義保存在數(shù)據(jù)表里；②算術(shù)運(yùn)算符的定義算術(shù)運(yùn)算符包括了“ + ”、“一”、“ X ” ；③比較運(yùn)算符的定義比較符包括“！=，，;④邏輯運(yùn)算符的定義邏輯運(yùn)算符包括“and”、“or”、“not”；⑤范圍/多值/除外的定義U.· 10，13; 7，9} 范圍之間使用“··”表示，多值使用 “，”分隔，除外使用“；”分隔，并且寫在最后，H表示一個(gè)集合；⑥布爾表達(dá)式的定義布爾表達(dá)式就是根據(jù)上述5類定義組合而成的最終結(jié)果是布爾值的表達(dá)式；⑦規(guī)則定義規(guī)則表示為如下格式<條件 > 布爾表達(dá)式0〈/條件><真 > 布爾表達(dá)式1〈/真><假 > 布爾表達(dá)式2〈/假>計(jì)算時(shí)，先計(jì)算布爾表達(dá)式O的值，如果為真，則計(jì)算布爾表達(dá)式I的值返回；否則計(jì)算布爾表達(dá)式2的值返回；規(guī)則的定義能嵌套多層。
3.根據(jù)權(quán)利要求2所述的基于XML的規(guī)則定義和執(zhí)行檢查方法，其特征在于所述的業(yè)務(wù)規(guī)則結(jié)構(gòu)如下如果XXXXX條件，則實(shí)體屬性在/不在數(shù)據(jù)范圍。
4.根據(jù)權(quán)利要求I所述的基于XML的規(guī)則定義和執(zhí)行檢查方法，其特征在于所述第3 步包括以下步驟第3-1步格式規(guī)則，得到條件表達(dá)式、布爾表達(dá)式真和布爾表達(dá)式假； 所述第3-1步的XML格式為<條件 > 布爾表達(dá)式〈/條件><真 > 布爾表達(dá)式真〈/真><假 > 布爾表達(dá)式假〈/假>第3-2步計(jì)算條件表達(dá)式的值，得到真或者假；第3-3步如果條件表達(dá)式為真，則返回計(jì)算布爾表達(dá)式真，返回計(jì)算結(jié)果值；否則計(jì)算布爾表達(dá)式假，返回計(jì)算結(jié)果值。
5.根據(jù)權(quán)利要求4所述的基于XML的規(guī)則定義和執(zhí)行檢查方法，其特征在于所述第 3-1步中布爾表達(dá)式真和布爾表達(dá)式假是嵌套的條件表達(dá)式<條件 > 布爾表達(dá)式〈/條件><條件 > 布爾表達(dá)式〈/條件><真 > 布爾表達(dá)式真〈/真><假 > 布爾表達(dá)式假〈/假>〈/真〉<假 > 布爾表達(dá)式假〈/假>。
6.根據(jù)權(quán)利要求I或4所述的基于XML的規(guī)則定義和執(zhí)行檢查方法，其特征在于所述第3步的計(jì)算流程為①解析XML規(guī)則，得到條件表達(dá)式，布爾表達(dá)式真和布爾表達(dá)式假； 對于條件表達(dá)式②元數(shù)據(jù)值替換；③算術(shù)運(yùn)算符的處理；④比較運(yùn)算符的處理邏輯運(yùn)算符的處理；⑥得到條件表達(dá)式的結(jié)果，根據(jù)此結(jié)果的真假，計(jì)算對應(yīng)布爾表達(dá)式真或布爾表達(dá)式假，計(jì)算過程同② ⑤。
全文摘要
本發(fā)明涉及一種基于XML的規(guī)則定義和執(zhí)行檢查方法包括第1步建立規(guī)則的數(shù)據(jù)表首先進(jìn)行如下定義，元數(shù)據(jù)的定義元數(shù)據(jù)是指的業(yè)務(wù)中某個(gè)事物的屬性，元數(shù)據(jù)對應(yīng)到一張表的一個(gè)字段，元數(shù)據(jù)的定義保存在數(shù)據(jù)表里；算術(shù)運(yùn)算符的定義;比較運(yùn)算符的定義；邏輯運(yùn)算符的定義范圍/多值/除外的定義；規(guī)則定義第2步XML業(yè)務(wù)規(guī)則將業(yè)務(wù)規(guī)則按照XML的格式定義到第1步所述的數(shù)據(jù)表中；業(yè)務(wù)規(guī)則是用戶提供的對業(yè)務(wù)數(shù)據(jù)正確性的判定基礎(chǔ)；本步驟將用戶提供的所有業(yè)務(wù)規(guī)則翻譯后保存在規(guī)則表里；第3步通過逐條計(jì)算規(guī)則進(jìn)行校驗(yàn)；第4步效驗(yàn)結(jié)果根據(jù)返回結(jié)果為假的規(guī)則編號，匯總錯(cuò)誤信息，返回調(diào)用規(guī)則的應(yīng)用程序。
文檔編號G06F17/30GK102929973SQ20121039128
公開日2013年2月13日 申請日期2012年10月16日 優(yōu)先權(quán)日2012年10月16日
發(fā)明者周小偉 申請人:南京通達(dá)海信息技術(shù)有限公司