[發(fā)明專利]業(yè)務(wù)流程驗(yàn)證方法及系統(tǒng)

無效

• 申請(qǐng)?zhí)枺?/td>: 201110421827.6
• 申請(qǐng)日: 2011-12-15
• 公開（公告）號(hào): CN102591641A
• 公開（公告）日: 2012-07-18
• 發(fā)明（設(shè)計(jì)）人: 劉旭東;懷文佳;陳鍇鋒;懷進(jìn)鵬
• 申請(qǐng)（專利權(quán)）人: 北京航空航天大學(xué)
• 主分類號(hào): G06F9/44
• 分類號(hào): G06F9/44
• 代理公司: 北京同立鈞成知識(shí)產(chǎn)權(quán)代理有限公司 11205
• 代理人: 劉芳

技術(shù)領(lǐng)域

本發(fā)明涉及模型驗(yàn)證技術(shù)，尤其涉及一種業(yè)務(wù)流程驗(yàn)證方法及系統(tǒng)。

背景技術(shù)

面向服務(wù)計(jì)算(Service?Oriented?Computing，簡(jiǎn)稱SOC)和面向服務(wù)體系結(jié)構(gòu)(Service?Oriented?Architecture，簡(jiǎn)稱SOA)已成為當(dāng)今網(wǎng)絡(luò)化軟件構(gòu)建和應(yīng)用模式的主流。組合服務(wù)技術(shù)體系以組件服務(wù)引用式復(fù)用為基礎(chǔ)，設(shè)計(jì)服務(wù)建模、編排、驗(yàn)證等多種技術(shù)，已成為當(dāng)前的研究熱點(diǎn)。

業(yè)務(wù)流程建模標(biāo)注(Business?Process?Modeling?Notation，簡(jiǎn)稱BPMN)作為一種業(yè)務(wù)流程建模語言，提供了一套既符合業(yè)務(wù)人員直觀需求又能表現(xiàn)復(fù)雜流程語義的標(biāo)記法，使建模人員無需關(guān)心底層的實(shí)現(xiàn)細(xì)節(jié)，在組合服務(wù)建模領(lǐng)域得到廣泛的應(yīng)用。它提供了基于業(yè)務(wù)流程的服務(wù)組合方法，是目前組合服務(wù)應(yīng)用方面最重要的標(biāo)準(zhǔn)之一。

現(xiàn)有技術(shù)中存在下述問題：由于BPMN本身的特點(diǎn)所以需要借助形式化模型對(duì)組合服務(wù)進(jìn)行驗(yàn)證。對(duì)此問題現(xiàn)有技術(shù)有幾種解決方式，一是將BPMN模型轉(zhuǎn)換成企業(yè)社會(huì)績(jī)效(Corporate?Social?Performance，簡(jiǎn)稱CSP)進(jìn)行分析，但是所生成的模型不能維持原有業(yè)務(wù)流程模型結(jié)構(gòu)且缺乏圖形化展現(xiàn)。二是將BPMN模型轉(zhuǎn)換為業(yè)務(wù)流程執(zhí)行語言(Business?Process?Execution?Language，簡(jiǎn)稱BPEL)模型，通過檢驗(yàn)BPEL模型達(dá)到驗(yàn)證BPMN模型的目的，但由于BPEL的結(jié)構(gòu)塊特性，一些出現(xiàn)在BPMN模型中的死鎖、無線循環(huán)問題可能不會(huì)出現(xiàn)在BPEL模型中，從而無法檢驗(yàn)出這些錯(cuò)誤。所以現(xiàn)有技術(shù)尚缺乏能夠有效驗(yàn)證BPMN模型錯(cuò)誤的方法。

發(fā)明內(nèi)容

本發(fā)明提供一種業(yè)務(wù)流程驗(yàn)證方法及系統(tǒng)，用以解決現(xiàn)有技術(shù)中無法驗(yàn)證BPMN模型是否出現(xiàn)錯(cuò)誤的缺陷。

本發(fā)明一方面提供一種業(yè)務(wù)流程驗(yàn)證方法，包括：

將BPMN模型下的原始業(yè)務(wù)流程按照映射策略映射到Petri網(wǎng)模型下，形成映射業(yè)務(wù)流程；

對(duì)所述映射業(yè)務(wù)流程進(jìn)行驗(yàn)證，以判斷所述原始業(yè)務(wù)流程是否出錯(cuò)。

如上所述的業(yè)務(wù)流程驗(yàn)證方法，優(yōu)選地，將BPMN模型下的原始業(yè)務(wù)流程按照映射策略映射到Petri網(wǎng)模型下，形成映射業(yè)務(wù)流程包括：

a：從所述BPMN模型下的所述原始業(yè)務(wù)流程中獲取待轉(zhuǎn)換圖元，轉(zhuǎn)為步驟b；

b：識(shí)別所述待轉(zhuǎn)換圖元的類型，轉(zhuǎn)為步驟c；

c：當(dāng)判斷出所述圖元為起始事件圖元時(shí)，將所述起始事件圖元映射為Petri網(wǎng)模型下映射業(yè)務(wù)流程中的第一圓形圖元、與所述第一圓形圖元連接并指向第一矩形圖元的第一順序流、以及與所述第一順序流連接的所述第一矩形圖元；

當(dāng)判斷出所述圖元為中間事件圖元時(shí)，將所述中間事件圖元映射為Petri網(wǎng)模型下映射業(yè)務(wù)流程中的第二圓形圖元、與所述第二圓形圖元連接并指向第二矩形圖元的第二順序流、以及與所述第二順序流連接的所述第二矩形圖元；

當(dāng)判斷出所述圖元為結(jié)束事件圖元時(shí)，將所述結(jié)束事件圖元映射為Petri網(wǎng)模型下映射業(yè)務(wù)流程中的第三圓形圖元、與所述第三圖元連接且指向第三矩形圖元的第三順序流、與所述第三順序流連接的所述第三矩形圖元、與所述第三矩形圖元連接且指向第四圓形圖元的第四順序流、以及與所述第四順序流連接的所述第四圓形圖元；

當(dāng)判斷出所述圖元為并發(fā)分支圖元時(shí)，將所述并發(fā)分支圖元映射為Petri網(wǎng)模型下映射業(yè)務(wù)流程中的第五圓形圖元、與所述第五圓形圖元連接并指向第四矩形圖元的第五順序流、與所述第五順序流連接的所述第四矩形圖元、與所述第四矩形圖元連接指向第六圓形圖元的第六順序流、以及指向第七圓形圖元的第七順序流；

當(dāng)判斷出所述圖元為選擇分支圖元時(shí)，將所述選擇分支圖元映射為Petri網(wǎng)模型下映射業(yè)務(wù)流程中的第八圓形圖元、與所述第八圓形圖元連接并指向第五矩形圖元的第八順序流、與所述第八圓形圖元連接并指向第六矩形圖元的第九順序流、與所述第八順序流連接的所述第五矩形圖元、與所述第九順序流連接的所述第六矩形圖元、與所述第五矩形圖元連接且指向第九圓形圖元的第十順序流、以及與所述第六矩形圖元連接且指向第十圓形圖元的第十一順序流；

當(dāng)判斷出所述圖元為順序圖元時(shí)，將所述順序圖元映射為Petri網(wǎng)模型下映射業(yè)務(wù)流程中的順序圖元；

當(dāng)判斷出所述圖元為任務(wù)圖元時(shí)，將所述任務(wù)圖元映射為Petri網(wǎng)模型下映射業(yè)務(wù)流程中的第十一圓形圖元、與所述第十一圓形圖元連接的且指向第七矩形圖元的第十二順序流、以及與所述第七矩形圖元；