基于Eclipse平臺(tái)的BPMN流程輸入及其結(jié)構(gòu)檢測(cè).pdf

1、在計(jì)算機(jī)技術(shù)、分布式技術(shù)快速發(fā)展的今天，業(yè)務(wù)流程管理BPM作為一種有效的管理系統(tǒng)，具有高效的調(diào)度特點(diǎn)，可以實(shí)現(xiàn)跨部門(mén)、跨企業(yè)之間的業(yè)務(wù)協(xié)作，備受企業(yè)家、商家和學(xué)者的青睞。BPM實(shí)現(xiàn)業(yè)務(wù)流程的定義、建模、分析、改進(jìn)、執(zhí)行以及管理，但是BPM提出的概念往往是抽象的，要想實(shí)現(xiàn)對(duì)流程的控制需要借助許多技術(shù)。
　　近些年來(lái)，國(guó)內(nèi)外學(xué)者對(duì)BPM進(jìn)行了深入的研究，主要研究方向包含：流程建模理論和方法、流程的模型轉(zhuǎn)換、流程的形式化描述、流程的驗(yàn)證

2、、流程的仿真等。大多數(shù)研究都是基于對(duì)業(yè)務(wù)流程的形式化描述和模型檢測(cè)，尚未見(jiàn)諸報(bào)道一套完整的方法實(shí)現(xiàn)“流程建模→模型轉(zhuǎn)換→流程執(zhí)行路徑顯示→模型檢測(cè)→結(jié)構(gòu)問(wèn)題定位”。因此本課題提出了能同時(shí)實(shí)現(xiàn)對(duì)流程的仿真和結(jié)構(gòu)檢測(cè)的方法，本文主要做了以下工作：
　?。?）列舉了幾種不同的流程建模符號(hào)和模型檢測(cè)工具，并指出了它們的優(yōu)缺點(diǎn)。通過(guò)對(duì)比選擇了BPMN作為流程建模符號(hào)。
　?。?）分析了由BPMN圖形符號(hào)到對(duì)應(yīng)Java類的轉(zhuǎn)換過(guò)程，并給

3、出幾個(gè)BPMN流程的代碼框架。
　　（3）使用樹(shù)結(jié)構(gòu)存儲(chǔ)BPMN流程中帶索引的每個(gè)元素，結(jié)合棧機(jī)制探索流程的所有路徑，即全覆蓋路徑。
　?。?）對(duì)流程節(jié)點(diǎn)進(jìn)行狀態(tài)規(guī)約，結(jié)合模型檢測(cè)算法對(duì)業(yè)務(wù)流程的結(jié)構(gòu)進(jìn)行檢測(cè)，同時(shí)對(duì)流程的死鎖、活鎖進(jìn)行定位。在活鎖出現(xiàn)的地方設(shè)置“cutoff point”，當(dāng)檢測(cè)到該元素是活鎖之后當(dāng)前路徑不再繼續(xù)執(zhí)行，以此用來(lái)減少對(duì)狀態(tài)空間的探索，以免發(fā)生狀態(tài)爆炸。
　　（5）設(shè)計(jì)了一個(gè)簡(jiǎn)單的可視化界