專利名稱：規(guī)則遵守狀況檢測(cè)方法以及相關(guān)檢測(cè)系統(tǒng)的制作方法
技術(shù)領(lǐng)域：
本發(fā)明涉及對(duì)是否遵守規(guī)則的檢測(cè)，更特別地，涉及對(duì)業(yè)務(wù)流程是否遵守預(yù)定規(guī)則的檢測(cè)方法、裝置以及實(shí)現(xiàn)檢測(cè)方法的計(jì)算機(jī)程序產(chǎn)品。
背景技術(shù)：
無(wú)論處在哪個(gè)行業(yè)，幾乎每個(gè)企業(yè)都需要面對(duì)眾多可能影響其企業(yè)決策的規(guī)則。例如，任何企業(yè)在業(yè)務(wù)運(yùn)營(yíng)中都需要遵守其所在國(guó)家的法律法規(guī)以及所屬行業(yè)制定的行規(guī)慣例等；企業(yè)通常也會(huì)為其自身制定一些具體規(guī)定以便更加有效地管理運(yùn)營(yíng)；此外，如果企業(yè)需要進(jìn)行國(guó)際貿(mào)易，還必須遵守一些國(guó)際協(xié)定或準(zhǔn)則。企業(yè)在運(yùn)營(yíng)過(guò)程中應(yīng)該保證遵守這些規(guī)則，這不僅是由于企業(yè)的監(jiān)管部門經(jīng)常會(huì)審查其對(duì)法律法規(guī)等的遵守情況，還由于遵守這些規(guī)則能夠保護(hù)企業(yè)自身的合法利益。因此，是否遵守這些規(guī)則對(duì)企業(yè)的業(yè)務(wù)運(yùn)營(yíng)十分重要。
目前，通常由人手動(dòng)檢測(cè)企業(yè)的業(yè)務(wù)運(yùn)營(yíng)是否遵守各種規(guī)則。在檢測(cè)過(guò)程中，需要一個(gè)或一組精通各種法律法規(guī)以及企業(yè)業(yè)務(wù)運(yùn)營(yíng)的專職人員，采用某種方法以手動(dòng)的方式對(duì)業(yè)務(wù)運(yùn)營(yíng)和預(yù)定規(guī)則進(jìn)行逐一比對(duì)或判斷。
這種依賴于人的經(jīng)驗(yàn)和判斷的傳統(tǒng)方法每次只能檢測(cè)一個(gè)業(yè)務(wù)運(yùn)營(yíng)過(guò)程對(duì)相應(yīng)規(guī)則(法律法規(guī))的遵守狀況，因此不利于對(duì)多個(gè)業(yè)務(wù)運(yùn)營(yíng)過(guò)程進(jìn)行多次檢測(cè)。而且，這種手動(dòng)的檢測(cè)很難或者根本無(wú)法有效地復(fù)用此前檢測(cè)中產(chǎn)生的信息資源。例如，同一條規(guī)則在對(duì)不同的業(yè)務(wù)運(yùn)營(yíng)過(guò)程進(jìn)行遵守狀況檢測(cè)的過(guò)程中可能會(huì)被重復(fù)地分析。此外，最關(guān)鍵的是，手動(dòng)進(jìn)行的檢測(cè)會(huì)受到人為因素的影響。由于具體操作人員在經(jīng)驗(yàn)、認(rèn)知以及熟練程度上的差異，所得出的遵守檢測(cè)報(bào)告的結(jié)果可能不盡相同。這使得該報(bào)告的可信度和準(zhǔn)確度大打折扣。
綜上所述，現(xiàn)有技術(shù)中檢測(cè)業(yè)務(wù)運(yùn)營(yíng)是否遵守預(yù)定規(guī)則的手動(dòng)機(jī)制存在很多固有的缺陷，它不能滿足現(xiàn)代企業(yè)在規(guī)則遵守檢測(cè)報(bào)告的準(zhǔn)確性以及檢測(cè)過(guò)程的高效性等方面的更高需求。

發(fā)明內(nèi)容
為了克服現(xiàn)有技術(shù)中存在的缺陷，本發(fā)明提供一種能夠自動(dòng)檢測(cè)業(yè)務(wù)運(yùn)營(yíng)是否遵守預(yù)定規(guī)則的方法、裝置以及實(shí)現(xiàn)該方法的計(jì)算機(jī)程序產(chǎn)品。
根據(jù)本發(fā)明的一個(gè)方面提供一種規(guī)則遵守狀況檢測(cè)方法，其中包括以下步驟a)為預(yù)定的規(guī)則建立規(guī)則模型，并且為業(yè)務(wù)流程建立業(yè)務(wù)運(yùn)營(yíng)模型；b)對(duì)規(guī)則模型和業(yè)務(wù)運(yùn)營(yíng)模型中的詞匯進(jìn)行標(biāo)準(zhǔn)化；c)檢測(cè)規(guī)則模型是否被業(yè)務(wù)運(yùn)營(yíng)模型所滿足；d)輸出檢測(cè)結(jié)果報(bào)告。
根據(jù)本發(fā)明的另一個(gè)方面，提供一種規(guī)則遵守狀況檢測(cè)系統(tǒng)，包括規(guī)則模型庫(kù)，用于存儲(chǔ)為預(yù)定規(guī)則建立的規(guī)則模型；業(yè)務(wù)運(yùn)營(yíng)模型庫(kù)，用于存儲(chǔ)為業(yè)務(wù)流程建立的業(yè)務(wù)運(yùn)營(yíng)模型；標(biāo)準(zhǔn)化裝置，用于對(duì)規(guī)則模型和業(yè)務(wù)運(yùn)營(yíng)模型的詞匯進(jìn)行標(biāo)準(zhǔn)化；檢測(cè)引擎，用于檢測(cè)規(guī)則模型是否被業(yè)務(wù)運(yùn)營(yíng)模型所滿足；以及報(bào)告裝置，用于產(chǎn)生并輸出檢測(cè)結(jié)果報(bào)告。
利用根據(jù)本發(fā)明的規(guī)則遵守狀況檢測(cè)方法和系統(tǒng)，用戶可以實(shí)現(xiàn)快速有效的規(guī)則遵守狀況自動(dòng)檢測(cè)，極大程度地避免了檢測(cè)過(guò)程中人為因素的干擾，從而保證了檢測(cè)結(jié)果的準(zhǔn)確性。業(yè)務(wù)運(yùn)營(yíng)和預(yù)定規(guī)則經(jīng)過(guò)計(jì)算機(jī)建模和處理保存在相應(yīng)的存儲(chǔ)庫(kù)中，使得用戶可以對(duì)同一個(gè)業(yè)務(wù)運(yùn)營(yíng)模型進(jìn)行不同的規(guī)則遵守檢測(cè)，還可以利用同一個(gè)規(guī)則模型多次檢測(cè)不同的業(yè)務(wù)運(yùn)營(yíng)模型。因此，這種可以多次重復(fù)利用模型的優(yōu)點(diǎn)大大節(jié)約了檢測(cè)所耗費(fèi)的人力和時(shí)間。此外，基于計(jì)算機(jī)平臺(tái)的規(guī)則遵守檢測(cè)，易于進(jìn)行策略的調(diào)整，能夠方便快捷的支持用戶多變的需求。
本發(fā)明還提供編有機(jī)器可讀計(jì)算機(jī)程序的存儲(chǔ)介質(zhì)，該計(jì)算機(jī)程序包括用于使處理器實(shí)現(xiàn)根據(jù)本發(fā)明方法的指令。
結(jié)合附圖閱讀本發(fā)明實(shí)施方式的詳細(xì)描述后，本發(fā)明的其他特點(diǎn)和優(yōu)點(diǎn)將變得更加清楚。


圖1是本發(fā)明一個(gè)實(shí)施例的規(guī)則遵守狀況檢測(cè)的概要性流程圖；圖2是本發(fā)明一個(gè)實(shí)施例的建立規(guī)則模型的示意性流程圖；圖3是規(guī)則模型化簡(jiǎn)后對(duì)應(yīng)的可視化規(guī)則樹(shù)的示意圖；圖4示出了本發(fā)明一個(gè)實(shí)施例的業(yè)務(wù)運(yùn)營(yíng)模型、其形式化模型以及其化簡(jiǎn)模型的示意圖；圖5是本發(fā)明一個(gè)實(shí)施例檢測(cè)規(guī)則模型是否能被業(yè)務(wù)運(yùn)營(yíng)模型所滿足的處理流程圖；圖6示出了本發(fā)明一個(gè)實(shí)施例的基于規(guī)則模型給出的可視化檢測(cè)結(jié)果報(bào)告；圖7是本發(fā)明一個(gè)實(shí)施例的規(guī)則遵守狀況檢測(cè)系統(tǒng)的示意性結(jié)構(gòu)框圖。
具體實(shí)施例方式
下面結(jié)合附圖詳細(xì)描述本發(fā)明的具體實(shí)施方式
。
圖1是本發(fā)明一個(gè)實(shí)施例的規(guī)則遵守狀況檢測(cè)的概要性流程圖。
在步驟100中，該處理開(kāi)始。
在步驟101中，將以自然語(yǔ)言描述的諸如法律法規(guī)等預(yù)定規(guī)則抽象為計(jì)算機(jī)易于處理的數(shù)學(xué)或邏輯化模型；并且利用業(yè)務(wù)運(yùn)營(yíng)建模工具為現(xiàn)實(shí)世界中的企業(yè)、政府部門等組織機(jī)構(gòu)建立業(yè)務(wù)運(yùn)營(yíng)模型。
在步驟102中，將模型中所用的詞匯標(biāo)準(zhǔn)化，也即對(duì)步驟101中所建立的規(guī)則模型及業(yè)務(wù)運(yùn)營(yíng)模型進(jìn)行語(yǔ)義上的標(biāo)準(zhǔn)化，以便針對(duì)其二者的概念和關(guān)系進(jìn)行匹配檢測(cè)。
在步驟103中，檢測(cè)上述規(guī)則模型是否能夠被上述業(yè)務(wù)運(yùn)營(yíng)模型所滿足，以判斷該業(yè)務(wù)運(yùn)營(yíng)是否遵守預(yù)定的規(guī)則。
在步驟104中，自動(dòng)生成并輸出反映該業(yè)務(wù)對(duì)規(guī)則遵守狀況的檢測(cè)結(jié)果報(bào)告。
在步驟105中，該處理流程結(jié)束。
以下將按照?qǐng)D1所示流程圖的步驟順序，對(duì)各個(gè)步驟進(jìn)行詳細(xì)的說(shuō)明。
首先，說(shuō)明在圖1中如何分別為法律法規(guī)等預(yù)定規(guī)則和業(yè)務(wù)運(yùn)營(yíng)建立相應(yīng)的模型(步驟101)。這里應(yīng)該理解，雖然此處按一定先后順序說(shuō)明了兩種模型的建立過(guò)程，但是實(shí)際上可以并行地或者按任何需要的順序來(lái)建立模型。
諸如法律法規(guī)等規(guī)則，通常是用自然語(yǔ)言描述的。在計(jì)算機(jī)自動(dòng)化處理中，很難對(duì)這種自然語(yǔ)言進(jìn)行直接處理。因此，需要將這種自然語(yǔ)言描述的規(guī)則重新定義為計(jì)算機(jī)易于處理的形式。例如，可以利用一種定義語(yǔ)言，從規(guī)則中提取各種基本概念，以及各概念之間的邏輯關(guān)系，進(jìn)而將該規(guī)則抽象為一種邏輯化公式。在本發(fā)明的一種實(shí)施例中，該定義語(yǔ)言定義了用于抽象規(guī)則的11種概念，包括行為、參與者、資源、組織、時(shí)間、費(fèi)用、觸發(fā)、事物、位置、原則以及目的；以及這11種概念之間的各種可能發(fā)生的關(guān)系。實(shí)際上，并不存在絕對(duì)的標(biāo)準(zhǔn)來(lái)限制這些概念的選擇，用戶可以根據(jù)不同的需求在其語(yǔ)言中定義不同的概念，并且定義不同的關(guān)系來(lái)說(shuō)明各個(gè)概念之間的含義。
圖2是本發(fā)明一個(gè)實(shí)施例的建立規(guī)則模型的示意性流程圖。
這里，可以利用一條具體法規(guī)來(lái)詳細(xì)說(shuō)明規(guī)則建模。例如，對(duì)“公開(kāi)發(fā)行證券，必須符合法律、行政法規(guī)規(guī)定的條件，并依法報(bào)經(jīng)國(guó)務(wù)院證券監(jiān)督管理機(jī)構(gòu)或者國(guó)務(wù)院授權(quán)的部門核準(zhǔn)或者審批；未經(jīng)依法核準(zhǔn)或者審批，任何單位和個(gè)人不得向社會(huì)公開(kāi)發(fā)行證券”(《中華人民共和國(guó)證券法》第二章，第十條)進(jìn)行建模。
首先，在步驟200中，開(kāi)始對(duì)規(guī)則建模的處理。
在步驟201中，找出包括在該規(guī)則中的所有概念。例如，上述的法規(guī)中包括的概念有行為“公開(kāi)發(fā)行證券”、“上報(bào)發(fā)行證券申請(qǐng)”；觸發(fā)事件“核準(zhǔn)或者審批”；組織“國(guó)務(wù)院證券監(jiān)督管理機(jī)構(gòu)”、“國(guó)務(wù)院授權(quán)的部門”；原則“法律、行政法規(guī)規(guī)定的條件”、“法”；目的“核準(zhǔn)或者審批”。
在步驟202中，定義出現(xiàn)在該規(guī)則中的在概念之間的關(guān)系。下面用函數(shù)的形式來(lái)表示上述概念之間的關(guān)系概念1概念2關(guān)系(概念1(內(nèi)容)，概念2(內(nèi)容))該函數(shù)表示，“概念1”與“概念2”的具體內(nèi)容之間的相互關(guān)系。
例如，上述的法規(guī)中包括的關(guān)系有行為_(kāi)原則_符合(行為(“公開(kāi)發(fā)行證券”)，原則(“法律、行政法規(guī)規(guī)定的條件”))，表示“公開(kāi)發(fā)行證券”要符合“法律、行政法規(guī)規(guī)定的條件”的條件；行為_(kāi)觸發(fā)事件_導(dǎo)致(行為(“上報(bào)發(fā)行證券申請(qǐng)”)，觸發(fā)事件(“核準(zhǔn)或者審批”))，表示“上報(bào)發(fā)行證券申請(qǐng)”導(dǎo)致“核準(zhǔn)或者審批”的邏輯關(guān)系；觸發(fā)事件_組織_來(lái)自(觸發(fā)事件(“核準(zhǔn)或者審批”)，組織(“國(guó)務(wù)院證券監(jiān)督管理機(jī)構(gòu)”))，表示由“國(guó)務(wù)院證券監(jiān)督管理機(jī)構(gòu)”來(lái)“核準(zhǔn)或者審批”的規(guī)定；觸發(fā)事件_組織_來(lái)自(觸發(fā)事件(“核準(zhǔn)或者審批”)，組織(“國(guó)務(wù)院授權(quán)的部門”))，表示由“國(guó)務(wù)院授權(quán)的部門”來(lái)“核準(zhǔn)或者審批”的規(guī)定；行為_(kāi)行為_(kāi)直到(行為(“上報(bào)發(fā)行證券申請(qǐng)”)，行為(“公開(kāi)發(fā)行證券”))，表示“上報(bào)發(fā)行證券申請(qǐng)”直到“公開(kāi)發(fā)行證券”的時(shí)間次序；
行為_(kāi)原則_符合(行為(“上報(bào)發(fā)行證券申請(qǐng)”)，原則(“法”))，表示“上報(bào)發(fā)行證券申請(qǐng)”要符合“法”的條件；行為_(kāi)目的_具有(行為(“上報(bào)發(fā)行證券申請(qǐng)”)，目的(“核準(zhǔn)或者審批”))，表示“上報(bào)發(fā)行證券申請(qǐng)”的目的是獲得“核準(zhǔn)或者審批”。
在步驟203中，確定該規(guī)則(例如法律法規(guī))所對(duì)應(yīng)的形式化的規(guī)則模型。例如，上述的法規(guī)可以定義為IF發(fā)生(行為(“公開(kāi)發(fā)行證券”)THEN行為_(kāi)原則_符合(行為(“公開(kāi)發(fā)行證券”)，原則(“法律、行政法規(guī)規(guī)定的條件”))AND行為_(kāi)觸發(fā)事件_導(dǎo)致(行為(“上報(bào)發(fā)行證券申請(qǐng)”)，觸發(fā)事件(“核準(zhǔn)或者審批”))AND{觸發(fā)事件_組織_來(lái)自(觸發(fā)事件(“核準(zhǔn)或者審批”)，組織(“國(guó)務(wù)院證券監(jiān)督管理機(jī)構(gòu)”))OR觸發(fā)事件_組織_來(lái)自(觸發(fā)事件(“核準(zhǔn)或者審批”)，組織(“國(guó)務(wù)院授權(quán)的部門”))}AND行為_(kāi)行為_(kāi)直到(行為(“上報(bào)發(fā)行證券申請(qǐng)”)，行為(“公開(kāi)發(fā)行證券”))AND行為_(kāi)原則_符合(行為(“上報(bào)發(fā)行證券申請(qǐng)”)，原則(“法”))AND行為_(kāi)目的_具有(行為(“上報(bào)發(fā)行證券申請(qǐng)”)，目的(“核準(zhǔn)或者審批”))。
在步驟204中，對(duì)所定義的規(guī)則模型進(jìn)行化簡(jiǎn)。例如，對(duì)于上述的法規(guī)，其規(guī)則模型可以化簡(jiǎn)為IF 發(fā)生(行為(“公開(kāi)發(fā)行證券”)THEN行為_(kāi)行為_(kāi)直到(行為(“上報(bào)發(fā)行證券申請(qǐng)”)符合(原則(“法律、行政法規(guī)規(guī)定的條件”)AND原則(“法”))具有目的(“核準(zhǔn)或者審批”)導(dǎo)致觸發(fā)事件(“核準(zhǔn)或者審批”)來(lái)自(組織(“國(guó)務(wù)院證券監(jiān)督管理機(jī)構(gòu)”)OR組織(“國(guó)務(wù)院授權(quán)的部門”))，行為(“公開(kāi)發(fā)行證券”))。
在步驟205中，結(jié)束對(duì)規(guī)則建模的處理。
以上具體說(shuō)明了為規(guī)則建模的過(guò)程，應(yīng)該注意到的是，在步驟204中對(duì)所定義的規(guī)則模型進(jìn)行化簡(jiǎn)的步驟是可選的，而不是必須執(zhí)行的。但是，本領(lǐng)域技術(shù)人員可以理解這樣的化簡(jiǎn)使得以后的處理更加簡(jiǎn)便和直觀。
此外，為了更加直觀地顯示該規(guī)則模型，優(yōu)選地，還可以將該模型可視化為一種規(guī)則樹(shù)。
在圖3中示出了在步驟204中化簡(jiǎn)后的規(guī)則模型的可視化規(guī)則樹(shù)。如圖3所示，根節(jié)點(diǎn)300表示“IF…THEN”的邏輯結(jié)構(gòu)；節(jié)點(diǎn)301、302表示在該規(guī)則中概念之間的關(guān)系；節(jié)點(diǎn)303、304、305、307、308、309、310、312和313表示上述規(guī)則中的概念；節(jié)點(diǎn)306、311是連接概念的邏輯運(yùn)算符；在箭頭上標(biāo)注的是表示概念之間關(guān)系的謂詞。
以下參照附圖詳細(xì)說(shuō)明業(yè)務(wù)運(yùn)營(yíng)模型的建立。
圖4示出了本發(fā)明一個(gè)實(shí)施例的業(yè)務(wù)運(yùn)營(yíng)模型、其形式化模型以及其化簡(jiǎn)模型的示意圖。其中，參考標(biāo)號(hào)40表示所建立的公開(kāi)發(fā)行證券的業(yè)務(wù)運(yùn)營(yíng)模型；參考標(biāo)號(hào)41表示對(duì)該模型Petri網(wǎng)絡(luò)形式化模型；參考標(biāo)號(hào)42表示形式化模型41的化簡(jiǎn)模型。
如圖4所示，可以利用現(xiàn)有的計(jì)算機(jī)業(yè)務(wù)運(yùn)營(yíng)建模工具來(lái)建立業(yè)務(wù)運(yùn)營(yíng)模型40。在業(yè)務(wù)運(yùn)營(yíng)模型40中包括用箭頭邏輯連接的起始節(jié)點(diǎn)400、任務(wù)節(jié)點(diǎn)401、402、403、404、405、406、決策節(jié)點(diǎn)407以及多個(gè)結(jié)束節(jié)點(diǎn)408。起始節(jié)點(diǎn)表示該業(yè)務(wù)過(guò)程的開(kāi)始。結(jié)束節(jié)點(diǎn)表示該業(yè)務(wù)過(guò)程的各個(gè)可能的結(jié)束。任務(wù)節(jié)點(diǎn)表示一個(gè)當(dāng)前需要執(zhí)行的任務(wù)。決策節(jié)點(diǎn)表示根據(jù)當(dāng)前的狀態(tài)執(zhí)行判斷，并且根據(jù)判斷結(jié)果從緊臨的多個(gè)后續(xù)任務(wù)節(jié)點(diǎn)表示的任務(wù)中選擇一個(gè)作為下一步執(zhí)行的任務(wù)。
每一個(gè)任務(wù)節(jié)點(diǎn)都對(duì)應(yīng)一個(gè)用于描述該任務(wù)的屬性列表。在屬性列表中記載有該節(jié)點(diǎn)對(duì)應(yīng)于預(yù)先定義的各種屬性的相應(yīng)屬性值。在該實(shí)施例中，為每個(gè)任務(wù)節(jié)點(diǎn)定義了“行為”、“組織”、“觸發(fā)事件”、“原則”、“目的”等屬性。舉例來(lái)說(shuō)，“行為”屬性限定了該任務(wù)節(jié)點(diǎn)執(zhí)行的行為，并且可以作為標(biāo)識(shí)該任務(wù)節(jié)點(diǎn)的名稱；“組織”屬性限定了執(zhí)行該任務(wù)的主體；“觸發(fā)事件”限定了執(zhí)行該任務(wù)的前提，其值可以默認(rèn)為前一個(gè)任務(wù)節(jié)點(diǎn)“行為”的發(fā)生；“原則”屬性限定了執(zhí)行該任務(wù)要符合的原則；“目的”屬性限定了執(zhí)行該任務(wù)所具有的目的；等等。對(duì)于特定任務(wù)節(jié)點(diǎn)，無(wú)意義或者無(wú)需具體限定的屬性可以設(shè)為空值。例如，任務(wù)節(jié)點(diǎn)401的“行為”屬性值為“收到公開(kāi)發(fā)行申請(qǐng)”，限定了當(dāng)前執(zhí)行的任務(wù)；其“組織”屬性為“證監(jiān)會(huì)”，限定了執(zhí)行“收到公開(kāi)發(fā)行申請(qǐng)”的任務(wù)的主體；其“原則”屬性和“目的”屬性，沒(méi)有設(shè)置相應(yīng)的限定值，被置為空值。
本領(lǐng)域的技術(shù)人員可以理解，可以根據(jù)當(dāng)前業(yè)務(wù)運(yùn)營(yíng)模型的領(lǐng)域增加或者減少限定任務(wù)節(jié)點(diǎn)的屬性。為了能夠更加有效的進(jìn)行業(yè)務(wù)運(yùn)營(yíng)模型和規(guī)則模型之間的比對(duì)，更佳地，可以將任務(wù)節(jié)點(diǎn)的屬性的類型定義為與規(guī)則模型中的概念類型相應(yīng)。
更佳地，還可以將上述業(yè)務(wù)運(yùn)營(yíng)模型40進(jìn)行形式化，轉(zhuǎn)換成易于利用計(jì)算機(jī)處理的形式化模型。可以利用諸如Petri網(wǎng)、進(jìn)程代數(shù)、Z方法、B方法、通信有限狀態(tài)機(jī)(Communicating Finite StateMachine)等多種方法將業(yè)務(wù)運(yùn)營(yíng)模型40進(jìn)行形式化。圖4中僅示意性示出了業(yè)務(wù)運(yùn)營(yíng)模型40的Petri網(wǎng)形式化模型41及其化簡(jiǎn)模型42。
應(yīng)該理解到，雖然對(duì)業(yè)務(wù)運(yùn)營(yíng)模型41進(jìn)行了形式化和化簡(jiǎn)的處理，形式化和化簡(jiǎn)后的模型仍然保持有原來(lái)業(yè)務(wù)運(yùn)營(yíng)模型的邏輯關(guān)系，并且其中的每個(gè)節(jié)點(diǎn)仍然受限于對(duì)應(yīng)任務(wù)節(jié)點(diǎn)的屬性。也就是說(shuō)，形式化和化簡(jiǎn)的處理并不改變業(yè)務(wù)運(yùn)營(yíng)模型的實(shí)質(zhì)性內(nèi)容，而是使得該業(yè)務(wù)運(yùn)營(yíng)模型能夠在后續(xù)步驟中變得更容易處理。
接下來(lái)，說(shuō)明在圖1所示流程圖中對(duì)規(guī)則模型和業(yè)務(wù)運(yùn)營(yíng)模型進(jìn)行標(biāo)準(zhǔn)化的步驟(步驟102)。
在建立模型時(shí)由于模型所屬領(lǐng)域、偏重角度以及建模者主觀描述方式的差異，很可能會(huì)出現(xiàn)這種情況在規(guī)則模型和業(yè)務(wù)運(yùn)營(yíng)模型中對(duì)于同一種概念、關(guān)系或者當(dāng)前可以視為相同的概念、關(guān)系所使用的術(shù)語(yǔ)(詞匯、描述方式等)會(huì)不同。例如，在上述規(guī)則模型中概念“組織”包括“國(guó)務(wù)院證券監(jiān)督管理機(jī)構(gòu)”和“國(guó)務(wù)院授權(quán)的部門”；而在業(yè)務(wù)運(yùn)營(yíng)模型任務(wù)節(jié)點(diǎn)的“組織”屬性中卻表述為“證監(jiān)會(huì)”。雖然，“國(guó)務(wù)院證券監(jiān)督管理機(jī)構(gòu)”或“國(guó)務(wù)院授權(quán)的部門”與“證監(jiān)會(huì)”在所處的上下文環(huán)境中含義和作用上是相同的，但是其表述形式是不同的。在這種情況下，對(duì)規(guī)則模型和業(yè)務(wù)運(yùn)營(yíng)模型進(jìn)行規(guī)則遵守狀況檢測(cè)是非常困難的。因此在檢測(cè)之前，需要將規(guī)則模型和業(yè)務(wù)運(yùn)營(yíng)模型標(biāo)準(zhǔn)化，以實(shí)現(xiàn)二者在術(shù)語(yǔ)上的統(tǒng)一，也即認(rèn)定“國(guó)務(wù)院證券監(jiān)督管理機(jī)構(gòu)”或“國(guó)務(wù)院授權(quán)的部門”與“證監(jiān)會(huì)”為同一概念。而且，即使在建模之初就將兩種模型中使用的術(shù)語(yǔ)進(jìn)行統(tǒng)一(這通常非常困難，而且由于詞匯量巨大，十分費(fèi)時(shí)費(fèi)力)，在進(jìn)行檢測(cè)之前也需要對(duì)這些術(shù)語(yǔ)的統(tǒng)一性進(jìn)行認(rèn)定。因此，這種認(rèn)定兩種模型間術(shù)語(yǔ)統(tǒng)一性的標(biāo)準(zhǔn)化步驟對(duì)于整個(gè)規(guī)則遵守狀況檢測(cè)方法是十分必要和關(guān)鍵的。
一種可行的模型語(yǔ)義標(biāo)準(zhǔn)化的機(jī)制是，建立當(dāng)前領(lǐng)域的標(biāo)準(zhǔn)詞匯庫(kù)，利用該標(biāo)準(zhǔn)詞匯庫(kù)對(duì)兩種模型的語(yǔ)義進(jìn)行統(tǒng)一或者進(jìn)行統(tǒng)一性的認(rèn)定。在這種方案中，可以采用類似于同義詞庫(kù)的編排方式，將多種不同的詞匯和表述方式歸為同義，并且在模型中分別出現(xiàn)同義詞時(shí)認(rèn)定其統(tǒng)一。這樣的標(biāo)準(zhǔn)化機(jī)制允許一定的模糊處理。例如，通過(guò)規(guī)定近義詞，并有選擇的將近義詞認(rèn)定為統(tǒng)一，實(shí)現(xiàn)模型語(yǔ)義標(biāo)準(zhǔn)化的模糊處理。
當(dāng)然，對(duì)模型執(zhí)行嚴(yán)格的標(biāo)準(zhǔn)化過(guò)程會(huì)使得后續(xù)的規(guī)則遵守狀況檢測(cè)相對(duì)變得苛刻，反之，過(guò)度模糊的標(biāo)準(zhǔn)化雖然會(huì)讓檢測(cè)環(huán)境變得寬松，但有時(shí)甚至?xí)贸鰶](méi)有參考價(jià)值的檢測(cè)結(jié)果。這就需要在標(biāo)準(zhǔn)化過(guò)程中進(jìn)行有效的平衡。因此，一種更佳的模型標(biāo)準(zhǔn)化方法是在利用標(biāo)準(zhǔn)詞匯庫(kù)的同時(shí)引入人為的選擇和判斷。例如，可以通過(guò)與人交互進(jìn)一步判斷是否將兩個(gè)近義詞認(rèn)定為統(tǒng)一，或者指示將兩個(gè)不同的表述認(rèn)定為統(tǒng)一，等等。
通過(guò)以上的說(shuō)明，本領(lǐng)域的技術(shù)人員可以理解，上述的模型標(biāo)準(zhǔn)化處理以及其改進(jìn)型可以利用軟件程序和人機(jī)接口的結(jié)合等本領(lǐng)域熟悉的方式實(shí)現(xiàn)，這里不再對(duì)此贅述。
接下來(lái)，參照?qǐng)D5利用上述描述的規(guī)則模型和業(yè)務(wù)運(yùn)營(yíng)模型示例具體說(shuō)明在圖1所示流程圖中檢測(cè)規(guī)則模型是否被業(yè)務(wù)運(yùn)營(yíng)模型所滿足的步驟(步驟103)。
圖5是說(shuō)明本發(fā)明一個(gè)實(shí)施例的規(guī)則模型是否能被業(yè)務(wù)運(yùn)營(yíng)模型所滿足的檢測(cè)流程圖。
在步驟500中，開(kāi)始該處理流程。
在步驟501中，執(zhí)行檢測(cè)引擎加載已經(jīng)建立的規(guī)則模型和業(yè)務(wù)運(yùn)營(yíng)模型。
在步驟502中，解析上述加載的規(guī)則模型。例如，可以按照上述建立規(guī)則模型時(shí)的優(yōu)選步驟對(duì)其進(jìn)行化簡(jiǎn)并且建立規(guī)則樹(shù)。如上所述，解析的規(guī)則模型所得的規(guī)則樹(shù)可以包括三種節(jié)點(diǎn)概念節(jié)點(diǎn)、關(guān)系謂詞節(jié)點(diǎn)以及邏輯運(yùn)算符節(jié)點(diǎn)(參見(jiàn)圖3)。
在步驟503中，在業(yè)務(wù)運(yùn)營(yíng)模型中定位規(guī)則模型所涉及的所有概念。如果存在，則在規(guī)則樹(shù)相應(yīng)概念上標(biāo)記為“真”；如果不存在，則在規(guī)則樹(shù)相應(yīng)概念上標(biāo)記“未知”。
例如，在圖3所示規(guī)則模型的規(guī)則樹(shù)中，概念節(jié)點(diǎn)包括行為“公開(kāi)發(fā)行證券”303、305，目的“核準(zhǔn)或者審批”307，原則“法”309，原則“法律、行政法規(guī)規(guī)定的條件”310，組織“國(guó)務(wù)院證券監(jiān)督管理機(jī)構(gòu)”312以及組織“國(guó)務(wù)院授權(quán)部門”313。在圖4所示的業(yè)務(wù)運(yùn)營(yíng)模型中，對(duì)上述概念節(jié)點(diǎn)一一定位。概念行為“公開(kāi)發(fā)行證券”與任務(wù)節(jié)點(diǎn)404的屬性行為-“公開(kāi)發(fā)行證券”相匹配，因此在規(guī)則樹(shù)中將該概念節(jié)點(diǎn)303、305標(biāo)記為“真”。由上文可知，組織“國(guó)務(wù)院證券監(jiān)督管理機(jī)構(gòu)”312和組織“國(guó)務(wù)院授權(quán)部門”313在執(zhí)行模型標(biāo)準(zhǔn)化的步驟之后語(yǔ)義統(tǒng)一為組織“證監(jiān)會(huì)”，其與任務(wù)節(jié)點(diǎn)401、402、403、405、406的屬性組織-“證監(jiān)會(huì)”相匹配，因此在規(guī)則樹(shù)中將該概念節(jié)點(diǎn)312、313標(biāo)記為“真”。而目的“核準(zhǔn)或者審批”307，原則“法”309以及原則“法律、行政法規(guī)規(guī)定的條件”310在業(yè)務(wù)運(yùn)營(yíng)模型中沒(méi)有找到相匹配的屬性項(xiàng)，因此將這些節(jié)點(diǎn)標(biāo)記為“未知”。這樣，就完成了規(guī)則模型中所有概念節(jié)點(diǎn)在業(yè)務(wù)運(yùn)營(yíng)模型中的定位。
在步驟504中，計(jì)算邏輯運(yùn)算符和關(guān)系謂詞。
邏輯運(yùn)算符包括“AND”、“OR”以及“NOT”?？梢远x每種邏輯運(yùn)算有“真”、“假”和“未知”三種計(jì)算結(jié)果返回值。例如可以根據(jù)以下各表計(jì)算對(duì)應(yīng)邏輯運(yùn)算符的返回值，其中X和Y分別表示該邏輯運(yùn)算符節(jié)點(diǎn)在規(guī)則樹(shù)中的可能的葉子節(jié)點(diǎn)。
表1 邏輯運(yùn)算符“AND”的返回值

表2 邏輯運(yùn)算符“NOT”的返回值

表3 邏輯運(yùn)算符“OR”的返回值

相對(duì)于邏輯運(yùn)算符的計(jì)算，關(guān)系謂詞的計(jì)算要相對(duì)復(fù)雜。類似地，可以定義每個(gè)關(guān)系謂詞具有“真”、“假”和“未知”三種計(jì)算結(jié)果返回值，其中如果檢測(cè)的業(yè)務(wù)運(yùn)營(yíng)模型滿足關(guān)系謂詞表達(dá)的關(guān)系，則計(jì)算返回值為“真”，否則返回值為“假”；如果關(guān)系謂詞的任何一個(gè)參數(shù)在當(dāng)前業(yè)務(wù)運(yùn)營(yíng)模型中未知(即在步驟503中關(guān)系謂詞節(jié)點(diǎn)的任何葉子節(jié)點(diǎn)標(biāo)記為“未知”)，則關(guān)系謂詞計(jì)算結(jié)果返回值也為“未知”。從以上的描述中可以看出，由于每一種謂詞都表明一種特殊的關(guān)系，其表達(dá)和含義十分靈活，這使得無(wú)法為所有的謂詞定義統(tǒng)一的運(yùn)算。因此，在檢測(cè)業(yè)務(wù)運(yùn)營(yíng)模型是否遵守某種關(guān)系時(shí)，需要針對(duì)不同的關(guān)系謂詞預(yù)先定義并采用不同的算法計(jì)算其返回值。
例如，在圖3所示的規(guī)則樹(shù)中邏輯運(yùn)算符“OR”節(jié)點(diǎn)311的兩個(gè)葉子概念節(jié)點(diǎn)312和313的值均為“真”。根據(jù)表2，節(jié)點(diǎn)311的返回值也為“真”。而邏輯運(yùn)算符“AND”節(jié)點(diǎn)306的兩個(gè)概念葉子節(jié)點(diǎn)309、310的值均為“未知”。根據(jù)表1，節(jié)點(diǎn)306的返回值為“未知”。又例如，在處理圖3所示的規(guī)則樹(shù)中謂詞節(jié)點(diǎn)“行為行為直到”302時(shí)，可到業(yè)務(wù)流程模型中檢查任務(wù)“公開(kāi)發(fā)行證券”之前是否已經(jīng)存在任務(wù)“上報(bào)發(fā)行證券申請(qǐng)”，如果是，則該節(jié)點(diǎn)的值為“真”；如果不存在，則該節(jié)點(diǎn)的值為“假”。這樣就確定了在圖3所示規(guī)則模型中的所有邏輯運(yùn)算符節(jié)點(diǎn)和謂詞節(jié)點(diǎn)的返回值。
在步驟505中，依據(jù)上述的計(jì)算結(jié)果判斷規(guī)則模型是否被業(yè)務(wù)運(yùn)營(yíng)模型所滿足，在本實(shí)施例中也即，判斷規(guī)則樹(shù)中根節(jié)點(diǎn)的返回值。類似地，該根節(jié)點(diǎn)的返回值同樣包括“真”，表示業(yè)務(wù)運(yùn)營(yíng)模型遵守規(guī)則模型代表的規(guī)則；“假”，表示業(yè)務(wù)運(yùn)營(yíng)模型沒(méi)有遵守規(guī)則模型代表的規(guī)則；“未知”，表示該業(yè)務(wù)運(yùn)營(yíng)模型相對(duì)于該規(guī)定的遵守狀況是不明確的，需要更多信息才能進(jìn)一步明確。
例如，在圖3中由于根節(jié)點(diǎn)“IF…THEN”300的兩個(gè)葉子節(jié)點(diǎn)，即關(guān)系謂詞“發(fā)生”節(jié)點(diǎn)301和關(guān)系謂詞“行為_(kāi)行為_(kāi)直到”節(jié)點(diǎn)302的檢測(cè)返回值均為“真”，則根節(jié)點(diǎn)300的返回值為“真”。
在步驟506中，結(jié)束該處理。
以上解釋了如何檢查分析業(yè)務(wù)運(yùn)營(yíng)模型是否滿足規(guī)則樹(shù)。但是應(yīng)該理解到，這種具體的檢測(cè)機(jī)制可以根據(jù)用戶的需求加以調(diào)整和改進(jìn)，以滿足對(duì)于不同規(guī)則、不同業(yè)務(wù)進(jìn)行檢測(cè)所產(chǎn)生的多層次要求。例如，雖然在上述實(shí)施例中僅給出了“真”、“假”和“未知”3種節(jié)點(diǎn)返回值類型，但是可以為每個(gè)節(jié)點(diǎn)增加更多種的節(jié)點(diǎn)返回值類型，以便表示業(yè)務(wù)運(yùn)營(yíng)模型對(duì)規(guī)則模型的不同的遵守程度。
除了所說(shuō)明的實(shí)施例之外，還可以利用本領(lǐng)域技術(shù)人員所熟悉的其他的檢測(cè)方法來(lái)實(shí)現(xiàn)這一步驟(步驟103)。例如，檢測(cè)引擎利用語(yǔ)義解析程序代碼對(duì)規(guī)則模型和業(yè)務(wù)運(yùn)營(yíng)模型進(jìn)行語(yǔ)義解析的方式，而直接執(zhí)行語(yǔ)義匹配檢測(cè)，以得出業(yè)務(wù)運(yùn)營(yíng)模型是否滿足規(guī)則模型的判斷，等等。
最后，基于上述檢測(cè)結(jié)果自動(dòng)生成并輸出該規(guī)則遵守情況的檢測(cè)結(jié)果報(bào)告(步驟104)。
這種自動(dòng)報(bào)告機(jī)制可以設(shè)計(jì)為不僅支持產(chǎn)生書(shū)面的文本報(bào)告，還可以支持根據(jù)所建立的規(guī)則模型、業(yè)務(wù)運(yùn)營(yíng)模型或者其二者的組合給出多層次可視化的檢測(cè)報(bào)告。用戶可以定義業(yè)務(wù)對(duì)于規(guī)則的不同的違反和遵守程度，然后將其體現(xiàn)在檢測(cè)報(bào)告中。當(dāng)然，可以理解到，用戶的自定義自由度取決于具體的檢測(cè)機(jī)制是否支持復(fù)雜的判斷過(guò)程以及是否能夠產(chǎn)生更加細(xì)密的多層次檢測(cè)結(jié)果數(shù)據(jù)。
例如，圖6示出了本發(fā)明一個(gè)實(shí)施例基于規(guī)則模型給出的可視化檢測(cè)報(bào)告。如圖6所示，利用規(guī)則樹(shù)的形式顯示了在上述實(shí)施例中業(yè)務(wù)運(yùn)營(yíng)模型對(duì)規(guī)則中的各種關(guān)系、邏輯等的遵守情況。其中，示例性的利用不同的圖形符號(hào)標(biāo)識(shí)出各個(gè)節(jié)點(diǎn)不同的規(guī)則遵守程度。
圖7是根據(jù)本發(fā)明的一個(gè)實(shí)施例的規(guī)則遵守檢測(cè)狀況系統(tǒng)的示意性結(jié)構(gòu)框圖。
在圖7中，參考標(biāo)號(hào)700表示本發(fā)明一個(gè)實(shí)施例的規(guī)則遵守狀況檢測(cè)系統(tǒng)；參考標(biāo)號(hào)701表示業(yè)務(wù)運(yùn)營(yíng)模型庫(kù)；參考標(biāo)號(hào)702表示規(guī)則模型庫(kù)；參考標(biāo)號(hào)703表示標(biāo)準(zhǔn)化裝置；參考標(biāo)號(hào)704表示標(biāo)準(zhǔn)詞匯庫(kù)；參考標(biāo)號(hào)705表示變換裝置；參考標(biāo)號(hào)706表示規(guī)則解釋裝置；參考標(biāo)號(hào)707表示檢測(cè)引擎；參考標(biāo)號(hào)708表示報(bào)告裝置。
如圖7所示，用戶通過(guò)業(yè)務(wù)運(yùn)營(yíng)模型建模工具(未示出)建立需要檢測(cè)的業(yè)務(wù)運(yùn)營(yíng)模型，并將其存儲(chǔ)在業(yè)務(wù)運(yùn)營(yíng)模型庫(kù)701中；并且通過(guò)規(guī)則建模工具(未示出)建立規(guī)則模型，并將其存儲(chǔ)在規(guī)則模型庫(kù)702中。
標(biāo)準(zhǔn)化裝置703利用標(biāo)準(zhǔn)詞匯庫(kù)704所提供的當(dāng)前檢測(cè)領(lǐng)域內(nèi)的標(biāo)準(zhǔn)詞匯，對(duì)業(yè)務(wù)運(yùn)營(yíng)模型庫(kù)701中的要檢測(cè)的業(yè)務(wù)運(yùn)營(yíng)模型和規(guī)則模型庫(kù)702中的要檢測(cè)的規(guī)則模型進(jìn)行語(yǔ)義標(biāo)準(zhǔn)化。在圖7所示的系統(tǒng)中，標(biāo)準(zhǔn)化后的業(yè)務(wù)運(yùn)營(yíng)模型和規(guī)則模型仍分別存儲(chǔ)在業(yè)務(wù)運(yùn)營(yíng)模型庫(kù)701和規(guī)則模型庫(kù)702中，以便能夠多次使用已標(biāo)準(zhǔn)化的模型。
將標(biāo)準(zhǔn)化后的業(yè)務(wù)運(yùn)營(yíng)模型輸入變換裝置705，進(jìn)行業(yè)務(wù)運(yùn)營(yíng)模型的形式化處理。之后，將形式化的業(yè)務(wù)運(yùn)營(yíng)模型輸入檢測(cè)引擎707。
與此同時(shí)，將標(biāo)準(zhǔn)化后的規(guī)則模型輸入規(guī)則解釋裝置706，對(duì)其進(jìn)行有效的化簡(jiǎn)，并且優(yōu)選地生成規(guī)則樹(shù)。之后，將處理后的規(guī)則模型輸入檢測(cè)引擎707。
這里需要指出的是，雖然在圖7所示的檢測(cè)系統(tǒng)中，業(yè)務(wù)運(yùn)營(yíng)模型和規(guī)則模型被標(biāo)準(zhǔn)化裝置703標(biāo)準(zhǔn)化之后才分別輸入變換裝置705和規(guī)則解釋裝置706進(jìn)行處理，但是如前所述，本領(lǐng)域的技術(shù)人員可以理解到，也可以先由變換裝置705和規(guī)則解釋裝置706分別對(duì)業(yè)務(wù)運(yùn)營(yíng)模型和規(guī)則模型進(jìn)行處理，然后再由標(biāo)準(zhǔn)化裝置703對(duì)這兩種模型進(jìn)行標(biāo)準(zhǔn)化。上述處理的先后順序以及相應(yīng)裝置的之間的可能的連接關(guān)系不對(duì)本發(fā)明構(gòu)成限制。
在圖7所示的實(shí)施例中，檢測(cè)引擎707是可以執(zhí)行如圖5所示處理流程的裝置，用于對(duì)輸入的業(yè)務(wù)運(yùn)營(yíng)模型是否滿足輸入的規(guī)則模型進(jìn)行檢測(cè)，并將檢測(cè)數(shù)據(jù)輸入報(bào)告裝置708。
報(bào)告裝置708根據(jù)檢測(cè)引擎707報(bào)告的檢測(cè)數(shù)據(jù)，更佳地，還根據(jù)檢測(cè)中間數(shù)據(jù)生成并輸出檢測(cè)報(bào)告。報(bào)告裝置708可以同時(shí)支持文本報(bào)告以及圖形化報(bào)告的生成和輸出。
以上結(jié)合本發(fā)明的一個(gè)實(shí)施例描述了規(guī)則遵守狀況檢測(cè)系統(tǒng)的結(jié)構(gòu)。根據(jù)上文所述的其他實(shí)施例，該遵守狀況檢測(cè)系統(tǒng)還可以具有其他的結(jié)構(gòu)。例如，可以將標(biāo)準(zhǔn)化后的業(yè)務(wù)運(yùn)營(yíng)模型和規(guī)則模型直接輸入檢測(cè)引擎，利用語(yǔ)義解析程序代碼對(duì)規(guī)則模型和業(yè)務(wù)運(yùn)營(yíng)模型進(jìn)行語(yǔ)義解析，而直接執(zhí)行規(guī)則遵守檢測(cè)。因此，根據(jù)本發(fā)明的規(guī)則遵守檢測(cè)系統(tǒng)并不限于圖7所示的形式。
本發(fā)明的一部分可以作為一序列或一組存儲(chǔ)在計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)上的計(jì)算機(jī)可執(zhí)行指令(計(jì)算機(jī)軟件)而實(shí)現(xiàn)。該計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)可以是諸如硬盤、只讀存儲(chǔ)器(ROM)裝置、CD或DVD光盤、磁帶等那樣的持續(xù)性存儲(chǔ)介質(zhì)。
雖然結(jié)合附圖描述了本發(fā)明的實(shí)施方式，但是本領(lǐng)域技術(shù)人員可以在所附權(quán)利要求的范圍內(nèi)做出各種變形或修改。
權(quán)利要求
1.一種規(guī)則遵守狀況檢測(cè)方法，其中包括以下步驟a)為預(yù)定的規(guī)則建立規(guī)則模型，并且為業(yè)務(wù)流程建立業(yè)務(wù)運(yùn)營(yíng)模型；b)對(duì)所述規(guī)則模型和所述業(yè)務(wù)運(yùn)營(yíng)模型的詞匯進(jìn)行標(biāo)準(zhǔn)化；c)檢測(cè)所述規(guī)則模型是否被所述業(yè)務(wù)運(yùn)營(yíng)模型所滿足；d)產(chǎn)生并輸出檢測(cè)結(jié)果報(bào)告。
2.根據(jù)權(quán)利要求1所述的方法，其中步驟a)包括至少利用概念、關(guān)系將所述預(yù)定的規(guī)則描述為邏輯公式形式的規(guī)則模型。
3.根據(jù)權(quán)利要求2所述的方法，其中所述概念包括行為、參與者、資源、組織、時(shí)間、費(fèi)用、觸發(fā)、事物、位置、原則以及目的，所述關(guān)系包括所述概念之間可能發(fā)生的關(guān)系。
4.根據(jù)權(quán)利要求2所述的方法，其中步驟a)包括將所述規(guī)則模型化簡(jiǎn)為由邏輯關(guān)系符和謂詞所連接的邏輯表達(dá)式。
5.根據(jù)權(quán)利要求4所述的方法，其中步驟a)包括將化簡(jiǎn)后的規(guī)則模型表示為規(guī)則樹(shù)形式。
6.根據(jù)權(quán)利要求1所述的方法，其中所述步驟a)包括對(duì)所述業(yè)務(wù)運(yùn)營(yíng)模型進(jìn)行形式化。
7.根據(jù)權(quán)利要求6所述的方法，其中所述步驟a)包括對(duì)形式化后的所述業(yè)務(wù)運(yùn)營(yíng)模型進(jìn)行化簡(jiǎn)。
8.根據(jù)權(quán)利要求1所述的方法，其中所述步驟b)包括利用標(biāo)準(zhǔn)詞匯庫(kù)對(duì)所述規(guī)則模型和所述業(yè)務(wù)運(yùn)營(yíng)模型中使用的表達(dá)進(jìn)行統(tǒng)一或者對(duì)其統(tǒng)一性進(jìn)行認(rèn)定。
9.根據(jù)權(quán)利要求8所述的方法，其中所述步驟b)進(jìn)一步包括根據(jù)用戶輸入的信息，對(duì)所述規(guī)則模型和所述業(yè)務(wù)運(yùn)營(yíng)模型中的表達(dá)進(jìn)行統(tǒng)一或者對(duì)其統(tǒng)一性進(jìn)行認(rèn)定。
10.根據(jù)權(quán)利要求4所述的方法，其中所述步驟c)包括以下步驟加載所述化簡(jiǎn)的規(guī)則模型和所述業(yè)務(wù)運(yùn)營(yíng)模型；在所述業(yè)務(wù)運(yùn)營(yíng)模型中定位所述規(guī)則模型所涉及的所有概念；基于所述業(yè)務(wù)運(yùn)營(yíng)模型計(jì)算所述化簡(jiǎn)的規(guī)則模型中的邏輯運(yùn)算符和謂詞；確定所述規(guī)則模型是否被所述業(yè)務(wù)運(yùn)營(yíng)模型所滿足。
11.根據(jù)權(quán)利要求1所述的方法，其中步驟c)包括以下步驟解析所述規(guī)則模型的語(yǔ)義；解析所述業(yè)務(wù)運(yùn)營(yíng)模型的語(yǔ)義；對(duì)解析后的規(guī)則模型和業(yè)務(wù)運(yùn)營(yíng)模型執(zhí)行語(yǔ)義匹配檢測(cè)，以確定所述規(guī)則模型是否被所述業(yè)務(wù)運(yùn)營(yíng)模型所滿足。
12.根據(jù)權(quán)利要求1所述的方法，其中所述步驟d)所述檢測(cè)結(jié)果報(bào)告定義了所述業(yè)務(wù)對(duì)于所述規(guī)則的違反和/或遵守程度。
13.根據(jù)權(quán)利要求1所述的方法，其中所述步驟d)所述檢測(cè)結(jié)果報(bào)告為可視化圖形報(bào)告。
14.一種規(guī)則遵守狀況檢測(cè)系統(tǒng)，包括規(guī)則模型庫(kù)，用于存儲(chǔ)為預(yù)定的規(guī)則建立的規(guī)則模型；業(yè)務(wù)運(yùn)營(yíng)模型庫(kù)，用于存儲(chǔ)為業(yè)務(wù)流程建立的業(yè)務(wù)運(yùn)營(yíng)模型；標(biāo)準(zhǔn)化裝置，用于對(duì)所述規(guī)則模型和所述業(yè)務(wù)運(yùn)營(yíng)模型的詞匯進(jìn)行標(biāo)準(zhǔn)化；檢測(cè)引擎，用于檢測(cè)所述規(guī)則模型是否被所述業(yè)務(wù)運(yùn)營(yíng)模型所滿足；以及報(bào)告裝置，用于產(chǎn)生并輸出檢測(cè)結(jié)果報(bào)告。
15.根據(jù)權(quán)利要求14所述的系統(tǒng)，其中所述規(guī)則模型是至少利用概念、關(guān)系將所述預(yù)定的規(guī)則描述為邏輯公式形式的規(guī)則模型。
16.根據(jù)權(quán)利要求15所述的系統(tǒng)，其中所述概念包括行為、參與者、資源、組織、時(shí)間、費(fèi)用、觸發(fā)、事物、位置、原則以及目的，所述關(guān)系包括所述概念之間可能發(fā)生的關(guān)系。
17.根據(jù)權(quán)利要求15所述的系統(tǒng)，進(jìn)一步包括規(guī)則解釋裝置，用于將所述規(guī)則模型化簡(jiǎn)為由邏輯關(guān)系符和謂詞所連接的邏輯表達(dá)式，并且輸出到所述檢測(cè)引擎；以及轉(zhuǎn)換裝置，用于對(duì)所述業(yè)務(wù)運(yùn)營(yíng)模型進(jìn)行形式化，并輸出到所述檢測(cè)引擎。
18.根據(jù)權(quán)利要求17所述的系統(tǒng)，其中所述規(guī)則解釋裝置，進(jìn)一步用于將化簡(jiǎn)后的規(guī)則模型表示為規(guī)則樹(shù)形式。
19.根據(jù)權(quán)利要求17所述的系統(tǒng)，其中所述轉(zhuǎn)換裝置，進(jìn)一步用于對(duì)形式化后的所述業(yè)務(wù)運(yùn)營(yíng)模型進(jìn)行化簡(jiǎn)。
20.根據(jù)權(quán)利要求14所述的系統(tǒng)，進(jìn)一步包括標(biāo)準(zhǔn)詞匯庫(kù)，用于向所述標(biāo)準(zhǔn)化裝置提供當(dāng)前領(lǐng)域的標(biāo)準(zhǔn)詞匯，并且所述標(biāo)準(zhǔn)化裝置利用所述提供的標(biāo)準(zhǔn)詞匯對(duì)所述規(guī)則模型和業(yè)務(wù)運(yùn)營(yíng)模型中所使用的表達(dá)進(jìn)行統(tǒng)一或者對(duì)其統(tǒng)一性進(jìn)行認(rèn)定。
21.根據(jù)權(quán)利要求20所述的系統(tǒng)，其中所述標(biāo)準(zhǔn)化裝置還根據(jù)用戶輸入的信息，對(duì)所述規(guī)則模型和所述業(yè)務(wù)運(yùn)營(yíng)模型中的表達(dá)進(jìn)行統(tǒng)一。
22.根據(jù)權(quán)利要求17所述的系統(tǒng)，其中所述檢測(cè)引擎用于加載所述化簡(jiǎn)的規(guī)則模型并且加載所述形式化的業(yè)務(wù)運(yùn)營(yíng)模型，而后在所述業(yè)務(wù)運(yùn)營(yíng)模型中定位所述規(guī)則模型所涉及的所有概念，并且基于所述業(yè)務(wù)運(yùn)營(yíng)模型計(jì)算所述規(guī)則模型中的邏輯運(yùn)算符和謂詞，最后確定所述規(guī)則模型是否被所述業(yè)務(wù)運(yùn)營(yíng)模型所滿足，將檢測(cè)數(shù)據(jù)輸出給所述報(bào)告裝置。
23.根據(jù)權(quán)利要求14所述的系統(tǒng)，其中所述檢測(cè)引擎用于加載并解析所述規(guī)則模型的語(yǔ)義，加載并解析所述業(yè)務(wù)運(yùn)營(yíng)模型的語(yǔ)義，之后對(duì)解析后的規(guī)則模型和業(yè)務(wù)運(yùn)營(yíng)模型執(zhí)行語(yǔ)義匹配檢測(cè)，以確定所述規(guī)則模型是否被所述業(yè)務(wù)運(yùn)營(yíng)模型所滿足，并且將檢測(cè)數(shù)據(jù)輸出給所述報(bào)告裝置。
24.根據(jù)權(quán)利要求14所述的系統(tǒng)，其中所述報(bào)告裝置還用于在所述檢測(cè)結(jié)果報(bào)告中定義所述業(yè)務(wù)對(duì)于所述規(guī)則的違反和/或遵守程度。
25.根據(jù)權(quán)利要求14所述的系統(tǒng)，其中所述報(bào)告裝置還用于生成可視化圖形檢測(cè)結(jié)果報(bào)告。
全文摘要
本發(fā)明提供一種規(guī)則遵守狀況檢測(cè)方法，其中包括以下步驟a)為預(yù)定的規(guī)則建立規(guī)則模型，并且為業(yè)務(wù)流程建立業(yè)務(wù)運(yùn)營(yíng)模型；b)對(duì)規(guī)則模型和業(yè)務(wù)運(yùn)營(yíng)模型的詞匯進(jìn)行標(biāo)準(zhǔn)化；c)檢測(cè)規(guī)則模型是否被業(yè)務(wù)運(yùn)營(yíng)模型所滿足；d)產(chǎn)生并輸出檢測(cè)結(jié)果報(bào)告。本發(fā)明還提供一種相應(yīng)的規(guī)則遵守檢測(cè)系統(tǒng)。通過(guò)本發(fā)明的規(guī)則遵守檢測(cè)允許用戶快速有效的完成規(guī)則遵守自動(dòng)檢測(cè)，并且極大程度上地避免了檢測(cè)過(guò)程中人為因素的干擾，從而保證了檢測(cè)結(jié)果的準(zhǔn)確性。
文檔編號(hào)G06Q10/00GK1924908SQ200510093480
公開(kāi)日2007年3月7日 申請(qǐng)日期2005年8月30日 優(yōu)先權(quán)日2005年8月30日
發(fā)明者劉 英, 王健, 周欣, 朱俊, 布爾吉特·菲茲曼, 梁海奇, 黃英 申請(qǐng)人:國(guó)際商業(yè)機(jī)器公司