基于Eclipse平臺的BPMN流程輸入及其結構檢測.pdf

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

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

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