本文關(guān)鍵詞： 工作流模型 頂點活動網(wǎng) 形式化描述 工作流管理系統(tǒng)　出處：《計算機工程》2011年09期 　論文類型：期刊論文

【摘要】：針對項目管理中的工作流控制需求,提出一個基于頂點活動(AOV)網(wǎng)的抽象工作流模型。給出該模型的形式化定義以及各結(jié)點的時序關(guān)系,闡述工作流的設(shè)計與執(zhí)行規(guī)則,包括分支設(shè)計規(guī)則和回路設(shè)計規(guī)則,定義工作流圖分支結(jié)構(gòu)中匯聚結(jié)點的時序同步規(guī)則,并給出一個優(yōu)化的回路檢測方法。實例應(yīng)用結(jié)果證明了該模型的有效性。
[Abstract]:An abstract workflow model based on vertex activity AOV net is proposed to meet the requirements of workflow control in project management. The formal definition of the model and the temporal relationships of each node are given. The design and execution rules of workflow are described, including branch design rules and loop design rules, and the timing synchronization rules of convergence nodes in branch structure of workflow graph are defined. An optimized loop detection method is presented and the effectiveness of the model is proved by an example.
【作者單位】： 北京工商大學(xué)計算機與信息工程學(xué)院;
【基金】：北京市教委科技發(fā)展計劃基金資助項目(KM200910011007)
【分類號】：TP311.52
【正文快照】： 1概述工作流的建模及其正確性檢驗在工作流管理中起著重要的作用。近年來,學(xué)術(shù)界提出了多種工作流建模和驗證方法,例如,文獻[1]提出一種組件層次的工作流模型;文獻[2]提出一種分布工作流模型;文獻[3]使用霍爾邏輯研究了驗證工作流正確性的方法;文獻[4]提出使用霍爾邏輯實現(xiàn)BPE

【參考文獻】

相關(guān)期刊論文 前2條

1 陳天影;周伯生;邢少敏;;基于過程模型的工作流執(zhí)行語義研究[J];計算機工程;2009年06期

2 褚紅偉;趙銀亮;葛瑋;;分布工作流過程模型及其實現(xiàn)[J];計算機工程;2009年14期

【共引文獻】

相關(guān)期刊論文 前3條

1 劉俊莉;歐陽松;;基于約束理論的工作流適應(yīng)性改進[J];計算機工程;2010年11期

2 周春燕;李緒蓉;周良;;UML活動圖模型正確性診斷方法[J];計算機工程;2011年14期

3 高捷;吳華瑞;;基于矩陣模型的工作流合理性驗證算法研究[J];計算機工程與設(shè)計;2010年11期

相關(guān)碩士學(xué)位論文 前5條

1 張曉星;高技術(shù)虛擬企業(yè)談判支持系統(tǒng)模型庫研究[D];哈爾濱理工大學(xué);2010年

2 余弦;Symbian智能手機固件剖析技術(shù)研究[D];解放軍信息工程大學(xué);2010年

3 曹連安;警用執(zhí)法辦案信息系統(tǒng)技術(shù)研究與實現(xiàn)[D];天津大學(xué);2009年

4 陳鐵東;基于工作流的港口基礎(chǔ)軟件平臺的研究[D];北京交通大學(xué);2010年

5 周春燕;基于MDA的元模型軟件生成方法研究[D];南京航空航天大學(xué);2011年

【二級參考文獻】

相關(guān)期刊論文 前2條

1 趙志],盛秋戩,史忠植;UML活動圖描述工作流模型的執(zhí)行語義[J];計算機研究與發(fā)展;2005年02期

2 王聰;王智學(xué);;UML活動圖的操作語義[J];計算機研究與發(fā)展;2007年10期

【相似文獻】

相關(guān)期刊論文 前10條

1 歐陽元新,熊璋;工作流模型的擴展及其形式化描述[J];計算機工程與應(yīng)用;2005年31期

2 劉軍;湯曉安;干哲;李曉慧;;基于活動網(wǎng)絡(luò)圖的工作流模型研究[J];微計算機信息;2009年09期

3 汪勇;熊前興;;基于多Agent的智能電子商務(wù)系統(tǒng)研究[J];武漢理工大學(xué)學(xué)報(信息與管理工程版);2005年06期

4 張新誼;常國棟;奚宏生;;基于XML的組件化工作流模型研究[J];計算機應(yīng)用與軟件;2007年04期

5 郭靖;郭敏;;基于四級訪問控制策略的工作流模型[J];武漢理工大學(xué)學(xué)報(信息與管理工程版);2006年02期

6 王振武;陳明;;一種子任務(wù)和動作分解的可擴展工作流模型[J];小型微型計算機系統(tǒng);2008年06期

7 汪宏海;龍世榮;;基于ECA規(guī)則的動態(tài)工作流建模方法研究[J];麗水學(xué)院學(xué)報;2008年05期

8 鐵菊紅;彭輝;阿都建華;;基于并行組合模擬退火算法的過程挖掘[J];計算機應(yīng)用;2009年05期

9 侯秀萍,姜卓,張偉,袁秀麗;醫(yī)院管理工作流模型研究[J];微機發(fā)展;2005年04期

10 林琳;詹永照;年軼;;基于組織機構(gòu)圖的改進RBAC模型[J];江蘇大學(xué)學(xué)報(自然科學(xué)版);2006年02期

相關(guān)會議論文 前10條

1 黃慧;邊馥苓;;基于層次建模法的柔性工作流管理系統(tǒng)研究[A];中國地理信息系統(tǒng)協(xié)會第八屆年會論文集[C];2004年

2 鄭曉娟;金英;;基于Seal演算形式化描述移動Agent安全[A];2006年全國理論計算機科學(xué)學(xué)術(shù)年會論文集[C];2006年

3 郭雄輝;趙保華;周顥;屈玉貴;;基于構(gòu)造類別代數(shù)的數(shù)據(jù)流和控制流相結(jié)合的協(xié)議測試[A];2003年通信軟件技術(shù)學(xué)術(shù)年會論文集[C];2003年

4 徐春香;黃雨;王捍貧;;工作流邏輯模型分析[A];2006年全國理論計算機科學(xué)學(xué)術(shù)年會論文集[C];2006年

5 夏遠強;王沖;;信息化背景下基于工作流的政府危機管理模式研究[A];中國災(zāi)害防御協(xié)會風(fēng)險分析專業(yè)委員會第二屆年會論文集（二）[C];2006年

6 賀曉燕;劉小龍;辛公正;周斌;張燕;;螺旋槳設(shè)計集成系統(tǒng)平臺開發(fā)[A];第四屆全國船舶與海洋工程學(xué)術(shù)會議論文集[C];2009年

7 王沖;夏遠強;;信息化背景下基于工作流的政府危機管理模式研究[A];現(xiàn)代工業(yè)工程與管理研討會會議論文集[C];2006年

8 蔣宇;陳佳;崔淼;;連鎖經(jīng)營模式下工作流的應(yīng)用[A];全國第十屆企業(yè)信息化與工業(yè)工程學(xué)術(shù)年會論文集[C];2006年

9 謝一;張為群;;基于Petri網(wǎng)的并發(fā)沖突工作流建模及驗證[A];2006年全國理論計算機科學(xué)學(xué)術(shù)年會論文集[C];2006年

10 霍金健;徐春香;屈婉玲;袁崇義;;SimNet——一種新型的工作流仿真模型[A];2006年全國理論計算機科學(xué)學(xué)術(shù)年會論文集[C];2006年

相關(guān)重要報紙文章 前10條

1 湯大權(quán) 張維明 鄧蘇 肖衛(wèi)東 李勇;主動信息服務(wù)[N];計算機世界;2001年

2 淮安市地方稅務(wù)局信息管理處 王中明 許金國;人機結(jié)合 建設(shè)現(xiàn)代化地稅[N];中國計算機報;2006年

3 何吟;“行業(yè)”標(biāo)簽讓SunFlow更醒目[N];計算機世界;2004年

4 蔣明煒、戴寶純、吳英;工作流管理與ERP的應(yīng)用[N];中國計算機報;2003年

5 朱靜芬;新一代ERP的特點[N];財會信報;2007年

6 山西焦煤集團駐深圳辦事處 劉鵬;基于企業(yè)過程建模的工作流管理系統(tǒng)研究[N];山西科技報;2002年

7 中國工程院院士 沈昌祥;大力發(fā)展我國可信計算技術(shù)及產(chǎn)業(yè)[N];計算機世界;2007年

8 ;信息資源管理需要專業(yè)工具[N];中國計算機報;2004年

9 博文 編譯;工作流應(yīng)用平臺WWF[N];計算機世界;2006年

10 本報記者 諶力;從核心競爭力看整合的實施[N];網(wǎng)絡(luò)世界;2004年

相關(guān)博士學(xué)位論文 前10條

1 汪文元;基于工作流的兵力調(diào)度技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2005年

2 朱錦泉;可適應(yīng)工作流模型及其實現(xiàn)機制研究[D];吉林大學(xué);2005年

3 史玉良;Web服務(wù)合成的若干關(guān)鍵技術(shù)研究[D];復(fù)旦大學(xué);2006年

4 李瑞欣;基于網(wǎng)絡(luò)和狀態(tài)監(jiān)測的設(shè)備管理理論與方法研究[D];天津大學(xué);2004年

5 袁逸萍;制造網(wǎng)格工作流研究及實現(xiàn)[D];上海大學(xué);2006年

6 馮毅萍;石化生產(chǎn)過程多分辨率物流模型的建模方法[D];浙江大學(xué);2008年

7 林民;漢字字形形式化描述方法及應(yīng)用研究[D];北京工業(yè)大學(xué);2009年

8 解放;并行工程中產(chǎn)品開發(fā)過程的工作流管理研究[D];南京航空航天大學(xué);2002年

9 朱家誠;基于Web Services的客戶定制產(chǎn)品設(shè)計系統(tǒng)研究[D];合肥工業(yè)大學(xué);2005年

10 陳彥海;產(chǎn)品設(shè)計與工藝設(shè)計過程建模及其并行技術(shù)研究[D];哈爾濱工業(yè)大學(xué);2006年

相關(guān)碩士學(xué)位論文 前10條

1 郭李華;工作流模型的CSP語義描述與分析研究[D];華東師范大學(xué);2008年

2 劉軍;基于領(lǐng)域組件的教務(wù)管理信息系統(tǒng)研究與設(shè)計[D];南華大學(xué);2006年

3 潘紅恩;現(xiàn)代集成制造中基于任務(wù)驅(qū)動的工作流管理模型研究[D];南京理工大學(xué);2003年

4 夏曉東;基于Web和CORBA的工作流系統(tǒng)的研究[D];華北電力大學(xué)（河北）;2004年

5 彭剛;ESSP工作流模型及其應(yīng)用研究[D];華中科技大學(xué);2005年

6 楊葉勇;基于四色Petri網(wǎng)的物流系統(tǒng)建模[D];江南大學(xué);2005年

7 盧珊;工作流技術(shù)在電力調(diào)度兩票系統(tǒng)中的研究與應(yīng)用[D];華北電力大學(xué)（河北）;2007年

8 楊子江;工作流技術(shù)及其在高校辦公自動化系統(tǒng)的應(yīng)用研究[D];重慶大學(xué);2007年

9 戰(zhàn)世格;基于工作流技術(shù)的應(yīng)急救援指揮系統(tǒng)的研究[D];北京交通大學(xué);2008年

10 李勇;繼電保護定值管理系統(tǒng)的設(shè)計與開發(fā)[D];華北電力大學(xué)（河北）;2008年

，

本文編號：1472236