本文關鍵詞：基于Petri-Net的流程驗證新方法

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

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

【相似文獻】

中國期刊全文數據庫 前10條

1 李紅信,范玉順;分布式工作流執(zhí)行服務的設計與實現[J];計算機工程與應用;2003年24期

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

3 吳世貴;淺談工作流技術[J];建材技術與應用;2003年05期

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

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

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

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

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

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

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

中國重要會議論文全文數據庫 前10條

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

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

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

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

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

6 魏連;許榕生;;基于工作流技術的手機取證系統(tǒng)的設計與實現[A];第13屆全國計算機、網絡在現代科學技術領域的應用學術會議論文集[C];2007年

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

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

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

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

中國重要報紙全文數據庫 前10條

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

2 胡長城;工作流:國內國際兩極分化[N];計算機世界;2007年

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

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

5 ;工作流仍為重點 孤島依舊存在[N];中國計算機報;2007年

6 劉琦;MapReduce:亞馬遜云服務再添新援[N];中國計算機報;2009年

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

8 通文;Adobe新品實現工作流根本性突破[N];中國電子報;2008年

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

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

中國博士學位論文全文數據庫 前1條

1 王朝霞;數據感知工作流的建模與驗證[D];清華大學;2012年

中國碩士學位論文全文數據庫 前10條

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

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

3 汪新超;基于工作流的OA系統(tǒng)的設計與實現[D];中國石油大學(華東);2014年

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

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

6 張經晶;面向廣電行業(yè)媒體資產管理系統(tǒng)的設計與實現[D];吉林大學;2016年

7 王玉科;基于接口設計的工作流研究與實現[D];中國海洋大學;2008年

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

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

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

，

本文編號：904536