本文關(guān)鍵詞：基于Petri-Net的流程驗(yàn)證新方法

  更多相關(guān)文章： 業(yè)務(wù)流程模型 Petri-Net 工作流 模型驗(yàn)證

【摘要】：為解決業(yè)務(wù)流程管理應(yīng)用系統(tǒng)中模型可驗(yàn)證性支持不足的問題,提出一種面向應(yīng)用系統(tǒng)的流程驗(yàn)證新方法。該方法利用Petri-Net網(wǎng)絡(luò)分析原理,聚焦于工作流網(wǎng)絡(luò)模型,在關(guān)聯(lián)矩陣、回歸態(tài)、變遷序列等網(wǎng)絡(luò)特征量的基礎(chǔ)上推導(dǎo)出工作流網(wǎng)流程驗(yàn)證思路,形成了以Petri-Net網(wǎng)絡(luò)不變量求解為根本的驗(yàn)證算法。設(shè)計(jì)了實(shí)驗(yàn)對算法進(jìn)行理論分析驗(yàn)證和應(yīng)用仿真驗(yàn)證,證明了算法的有效性。對算法進(jìn)行了效率分析實(shí)驗(yàn),實(shí)驗(yàn)結(jié)果表明,算法在驗(yàn)證效率上要明顯優(yōu)于覆蓋圖和因果足跡法。最后,開發(fā)了驗(yàn)證算法的實(shí)用工具程序包,并對其應(yīng)用效果進(jìn)行了展示。本文設(shè)計(jì)的流程驗(yàn)證方法合理高效,適合在實(shí)際系統(tǒng)中應(yīng)用。
【作者單位】： 西北工業(yè)大學(xué)現(xiàn)代設(shè)計(jì)與集成制造技術(shù)教育部重點(diǎn)實(shí)驗(yàn)室;
【關(guān)鍵詞】： 業(yè)務(wù)流程模型 Petri-Net 工作流 模型驗(yàn)證
【基金】：國家自然科學(xué)基金資助項(xiàng)目(51375395)
【分類號】：F273;TP301.1
【正文快照】： 業(yè)務(wù)流程模型作為業(yè)務(wù)流程管理的主體,在企業(yè)發(fā)展過程中具有舉足輕重的作用,對企業(yè)發(fā)展的推動力和影響力正在逐步提升。因此,業(yè)務(wù)流程建模方法及模型驗(yàn)證一直是流程管理研究的一個核心領(lǐng)域。至今為止,業(yè)務(wù)流程的研究人員出于不同目的從不同的角度對業(yè)務(wù)建模問題展開研究,形成

【相似文獻(xiàn)】

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

1 李紅信,范玉順;分布式工作流執(zhí)行服務(wù)的設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)工程與應(yīng)用;2003年24期

2 劉向前,王曉琳,曾廣周;基于協(xié)調(diào)機(jī)制的多工作流過程合并方法[J];計(jì)算機(jī)工程;2003年02期

3 吳世貴;淺談工作流技術(shù)[J];建材技術(shù)與應(yīng)用;2003年05期

4 李紅玲,朱錦泉;基于工作流技術(shù)圖書館自動化管理系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[J];長春理工大學(xué)學(xué)報;2005年02期

5 ;你工作流了嗎?[J];軟件世界;2006年23期

6 蘇軍;薛順利;李尊朝;;工作流項(xiàng)目的代理安全機(jī)制[J];西安工程科技學(xué)院學(xué)報;2006年06期

7 付偉;;工作流技術(shù)綜述[J];河北北方學(xué)院學(xué)報(自然科學(xué)版);2007年01期

8 李燕;馮玉強(qiáng);;工作流挖掘:一種新型工作流自動化建模方法[J];計(jì)算機(jī)工程;2007年04期

9 楊洪波;;工作流:三分天下[J];軟件世界;2007年10期

10 藺楊;戚國強(qiáng);孫培昕;;電子政務(wù)系統(tǒng)中工作流技術(shù)的應(yīng)用研究[J];信息技術(shù);2007年09期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 常群;王海洋;;基于長短事務(wù)分離的工作流事務(wù)模型[A];第十九屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集（研究報告篇）[C];2002年

2 馬帥;王海洋;王文;;事務(wù)工作流及其錯誤處理策略[A];第十七屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集（研究報告篇）[C];2000年

3 劉慶;劉英博;王建民;;基于工作流日志的層次化角色挖掘[A];第二十四屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（技術(shù)報告篇）[C];2007年

4 王飛;李郴;薛清龍;胡曉鑫;;基于工作流技術(shù)的銀行影像系統(tǒng)的研究和開發(fā)[A];煤礦自動化與信息化——第19屆全國煤礦自動化與信息化學(xué)術(shù)會議暨中國礦業(yè)大學(xué)（北京）百年校慶學(xué)術(shù)會議論文集[C];2009年

5 劉建勛;陳海燕;;工作流管理系統(tǒng)中基于組織結(jié)構(gòu)約束的授權(quán)研究[A];全國第16屆計(jì)算機(jī)科學(xué)與技術(shù)應(yīng)用（CACIS）學(xué)術(shù)會議論文集[C];2004年

6 魏連;許榕生;;基于工作流技術(shù)的手機(jī)取證系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[A];第13屆全國計(jì)算機(jī)、網(wǎng)絡(luò)在現(xiàn)代科學(xué)技術(shù)領(lǐng)域的應(yīng)用學(xué)術(shù)會議論文集[C];2007年

7 鄒盟軍;黃煒;;基于組件的工作流管理平臺的設(shè)計(jì)與實(shí)現(xiàn)[A];廣東省電機(jī)工程學(xué)會2003-2004年度優(yōu)秀論文集[C];2005年

8 張博;楊帆;;基于表單的工作流管理系統(tǒng)設(shè)計(jì)[A];第十四屆中國科協(xié)年會第5分會場：綠色船舶與海洋裝備創(chuàng)新發(fā)展及產(chǎn)業(yè)化論壇論文集[C];2012年

9 張博;楊帆;;基于表單的工作流管理系統(tǒng)設(shè)計(jì)[A];2012年MIS/S&A學(xué)術(shù)交流會議論文集[C];2012年

10 張琪;趙霽;;工作流技術(shù)在信息管理系統(tǒng)中的應(yīng)用[A];2005全國自動化新技術(shù)學(xué)術(shù)交流會論文集（三）[C];2005年

中國重要報紙全文數(shù)據(jù)庫 前10條

1 何進(jìn)偉;還工作流管理一個說法[N];中國計(jì)算機(jī)報;2003年

2 胡長城;工作流:國內(nèi)國際兩極分化[N];計(jì)算機(jī)世界;2007年

3 工作流資深專家 游青華;如何選擇一個適合的工作流平臺[N];中國計(jì)算機(jī)報;2007年

4 沈建苗 編譯;基于Spring創(chuàng)建工作流引擎[N];計(jì)算機(jī)世界;2006年

5 ;工作流仍為重點(diǎn) 孤島依舊存在[N];中國計(jì)算機(jī)報;2007年

6 劉琦;MapReduce:亞馬遜云服務(wù)再添新援[N];中國計(jì)算機(jī)報;2009年

7 陳友梅;工作流與EAI的博弈[N];中國計(jì)算機(jī)報;2004年

8 通文;Adobe新品實(shí)現(xiàn)工作流根本性突破[N];中國電子報;2008年

9 ;工作流集成不能少[N];中國計(jì)算機(jī)報;2002年

10 田穎 高媛慧;基于工作流的鋼鐵行業(yè)ERP[N];財(cái)會信報;2007年

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

1 王朝霞;數(shù)據(jù)感知工作流的建模與驗(yàn)證[D];清華大學(xué);2012年

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

1 侯美玲;基于工作流技術(shù)的管理信息系統(tǒng)開發(fā)研究[D];太原理工大學(xué);2006年

2 王艷艷;基于工作流的企業(yè)辦公自動化系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];電子科技大學(xué);2015年

3 汪新超;基于工作流的OA系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];中國石油大學(xué)(華東);2014年

4 郭宇澄;混合租賃方式的云服務(wù)工作流調(diào)度優(yōu)化[D];東南大學(xué);2015年

5 張躍;帶截止期約束的多模態(tài)云服務(wù)工作流調(diào)度方法[D];東南大學(xué);2015年

6 張經(jīng)晶;面向廣電行業(yè)媒體資產(chǎn)管理系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];吉林大學(xué);2016年

7 王玉科;基于接口設(shè)計(jì)的工作流研究與實(shí)現(xiàn)[D];中國海洋大學(xué);2008年

8 陳仁宇;工作流技術(shù)在企業(yè)物料控制系統(tǒng)中的應(yīng)用研究[D];東華大學(xué);2009年

9 林治宇;基于工作流的教務(wù)管理系統(tǒng)的研究與實(shí)現(xiàn)[D];北京郵電大學(xué);2006年

10 賈楠;基于樹編輯距離的工作流聚類應(yīng)用研究[D];昆明理工大學(xué);2013年

，

本文編號：904536