本文關(guān)鍵詞：基于Eclipse平臺(tái)的BPMN流程輸人及其結(jié)構(gòu)檢測(cè)

  更多相關(guān)文章： BPM BPMN 模型檢測(cè) 全覆蓋路徑 死鎖、活鎖定位

【摘要】：在計(jì)算機(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)對(duì)流程的控制需要借助許多技術(shù)。近些年來(lái),國(guó)內(nèi)外學(xué)者對(duì)BPM進(jìn)行了深入的研究,主要研究方向包含:流程建模理論和方法、流程的模型轉(zhuǎn)換、流程的形式化描述、流程的驗(yàn)證、流程的仿真等。大多數(shù)研究都是基于對(duì)業(yè)務(wù)流程的形式化描述和模型檢測(cè),尚未見(jiàn)諸報(bào)道一套完整的方法實(shí)現(xiàn)“流程建�！Ｐ娃D(zhuǎn)換→流程執(zhí)行路徑顯示→模型檢測(cè)→結(jié)構(gòu)問(wèn)題定位”。因此本課題提出了能同時(shí)實(shí)現(xiàn)對(duì)流程的仿真和結(jié)構(gòu)檢測(cè)的方法,本文主要做了以下工作:(1)列舉了幾種不同的流程建模符號(hào)和模型檢測(cè)工具,并指出了它們的優(yōu)缺點(diǎn)。通過(guò)對(duì)比選擇了BPMN作為流程建模符號(hào)。(2)分析了由BPMN圖形符號(hào)到對(duì)應(yīng)Java類的轉(zhuǎn)換過(guò)程,并給出幾個(gè)BPMN流程的代碼框架。(3)使用樹(shù)結(jié)構(gòu)存儲(chǔ)BPMN流程中帶索引的每個(gè)元素,結(jié)合棧機(jī)制探索流程的所有路徑,即全覆蓋路徑。(4)對(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)單的可視化界面,可以顯示完整的由BPMN流程的模型轉(zhuǎn)換到模型檢測(cè)過(guò)程,實(shí)現(xiàn)了流程的全路徑覆蓋顯示和結(jié)構(gòu)問(wèn)題定位。本文在基于Eclipse的統(tǒng)一平臺(tái)下,實(shí)現(xiàn)了從流程創(chuàng)建、Java代碼生成、模型檢測(cè)、流程路徑的顯示以及死鎖、活鎖定位的一系列過(guò)程。
【學(xué)位授予單位】：太原理工大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2017
【分類號(hào)】：TP315

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 李宗花;周曉峰;吳克力;陳伏兵;;基于擴(kuò)展Petri網(wǎng)模型的BPMN形式化[J];計(jì)算機(jī)科學(xué);2016年11期

2 潘理;楊勃;;時(shí)間Petri網(wǎng)的隨機(jī)模擬[J];計(jì)算機(jī)科學(xué);2016年11期

3 李雪萍;方賢文;王麗麗;;基于Petri網(wǎng)行為輪廓的醫(yī)療流程挖掘方法[J];長(zhǎng)春師范大學(xué)學(xué)報(bào);2016年10期

4 徐倩;應(yīng)時(shí);賈向陽(yáng);耿江屹;李琳;;基于層次著色Petri網(wǎng)的網(wǎng)構(gòu)軟件性能建模與仿真分析方法[J];小型微型計(jì)算機(jī)系統(tǒng);2016年04期

5 嚴(yán)亞偉;周雁舟;惠文濤;;模型檢測(cè)在完整性形式化驗(yàn)證中的應(yīng)用研究[J];計(jì)算機(jī)工程與應(yīng)用;2017年04期

6 崔競(jìng)松;路昊宇;郭遲;何松;;基于事件驅(qū)動(dòng)機(jī)制的虛擬化故障檢測(cè)恢復(fù)系統(tǒng)[J];計(jì)算機(jī)工程;2015年02期

7 沈滿;趙嵩正;劉婧;;依據(jù)角色權(quán)限的審批工作流模型構(gòu)建[J];計(jì)算機(jī)工程與應(yīng)用;2015年04期

8 侯剛;周寬久;勇嘉偉;任龍濤;王小龍;;模型檢測(cè)中狀態(tài)爆炸問(wèn)題研究綜述[J];計(jì)算機(jī)科學(xué);2013年S1期

9 傅作為;樂(lè)曉波;王慧英;;加權(quán)的時(shí)間Petri網(wǎng)工作流模型研究[J];計(jì)算機(jī)工程與應(yīng)用;2014年15期

10 楊鵬玉;邱錦倫;;基于Pi演算的BPMN編排模式[J];計(jì)算機(jī)工程;2009年23期

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 李向?qū)?業(yè)務(wù)過(guò)程管理理論與若干關(guān)鍵技術(shù)研究[D];西北大學(xué);2007年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前5條

1 王克麗;復(fù)雜信息系統(tǒng)流程驗(yàn)證及統(tǒng)一建模平臺(tái)實(shí)現(xiàn)研究[D];太原理工大學(xué);2016年

2 范章海;基于MDA的Web代碼自動(dòng)生成技術(shù)的研究[D];東北師范大學(xué);2014年

3 馬秦濤;基于MDA的實(shí)時(shí)系統(tǒng)代碼自動(dòng)生成方法研究[D];昆明理工大學(xué);2014年

4 杜玉姣;多Agent工作流模型的研究與實(shí)現(xiàn)[D];西安電子科技大學(xué);2014年

5 馮英英;基于MDA的代碼生成技術(shù)的研究與應(yīng)用[D];西安電子科技大學(xué);2011年

，

本文編號(hào)：1307744