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

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

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

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