發(fā)布時(shí)間：2018-01-29 02:22

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

【摘要】：針對(duì)項(xiàng)目管理中的工作流控制需求,提出一個(gè)基于頂點(diǎn)活動(dòng)(AOV)網(wǎng)的抽象工作流模型。給出該模型的形式化定義以及各結(jié)點(diǎn)的時(shí)序關(guān)系,闡述工作流的設(shè)計(jì)與執(zhí)行規(guī)則,包括分支設(shè)計(jì)規(guī)則和回路設(shè)計(jì)規(guī)則,定義工作流圖分支結(jié)構(gòu)中匯聚結(jié)點(diǎn)的時(shí)序同步規(guī)則,并給出一個(gè)優(yōu)化的回路檢測(cè)方法。實(shí)例應(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é)計(jì)算機(jī)與信息工程學(xué)院;
【基金】：北京市教委科技發(fā)展計(jì)劃基金資助項(xiàng)目(KM200910011007)
【分類號(hào)】：TP311.52
【正文快照】： 1概述工作流的建模及其正確性檢驗(yàn)在工作流管理中起著重要的作用。近年來(lái),學(xué)術(shù)界提出了多種工作流建模和驗(yàn)證方法,例如,文獻(xiàn)[1]提出一種組件層次的工作流模型;文獻(xiàn)[2]提出一種分布工作流模型;文獻(xiàn)[3]使用霍爾邏輯研究了驗(yàn)證工作流正確性的方法;文獻(xiàn)[4]提出使用霍爾邏輯實(shí)現(xiàn)BPE

【參考文獻(xiàn)】

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

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

【二級(jí)參考文獻(xiàn)】

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

5 朱靜芬;新一代ERP的特點(diǎn)[N];財(cái)會(huì)信報(bào);2007年

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

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

8 ;信息資源管理需要專業(yè)工具[N];中國(guó)計(jì)算機(jī)報(bào);2004年

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

10 本報(bào)記者 諶力;從核心競(jìng)爭(zhēng)力看整合的實(shí)施[N];網(wǎng)絡(luò)世界;2004年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

3 潘紅恩;現(xiàn)代集成制造中基于任務(wù)驅(qū)動(dòng)的工作流管理模型研究[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ù)及其在高校辦公自動(dòng)化系統(tǒng)的應(yīng)用研究[D];重慶大學(xué);2007年

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

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

，

本文編號(hào)：1472236