發(fā)布時間：2020-08-20 15:45

【摘要】：隨著經(jīng)濟(jì)活動的全球化,分布式協(xié)同工作環(huán)境成為現(xiàn)代企業(yè)業(yè)務(wù)過程運(yùn)作環(huán)境的必然選 擇。目前,作為支持業(yè)務(wù)過程建模、過程優(yōu)化和過程實現(xiàn)的工作流管理技術(shù),為分布式協(xié)同 工作環(huán)境中業(yè)務(wù)過程管理提供了非常適合的解決方案。建立計算機(jī)可理解和處理的、形式化 定義和描述業(yè)務(wù)過程的工作流模型,是企業(yè)應(yīng)用工作流管理技術(shù)的關(guān)鍵。由于企業(yè)的業(yè)務(wù)過 程漸趨分布性、協(xié)同性和依賴性,工作流模型應(yīng)該能夠描述分布式協(xié)同工作環(huán)境中業(yè)務(wù)過程 的多粒度與多時區(qū)時間約束和同步協(xié)同約束。近十多年來,研究者們提出了多種工作流模型 來滿足不同的應(yīng)用需求,如基于活動網(wǎng)絡(luò)圖模型、基于IDEF模型、基于Petri網(wǎng)模型和基 于對話模型等,然而,它們主要集中于對異步結(jié)構(gòu)化流程的支持,尤其缺乏對分布式協(xié)同工 作環(huán)境中時間約束和同步協(xié)同約束信息的有效表達(dá)。 分布式協(xié)同工作環(huán)境中時間工作流建模存在兩大挑戰(zhàn):首先是時間語義和同步協(xié)同約束 語義的復(fù)雜性,時間具有多粒度性、時區(qū)性、相對性和絕對性等特點(diǎn),需要建立靜態(tài)和動態(tài) 一致性檢測算法,同時,同步協(xié)同活動的各個參與者之間存在復(fù)雜的依賴關(guān)系,需要建立有 效的控制機(jī)制;其次是時間性能分析的復(fù)雜性,工作流中時間約束不具備排隊論和Markov 隨機(jī)過程所要求的活動時延服從指數(shù)分布函數(shù)的條件,不適用于經(jīng)典的性能分析方法。盡管 近年來工作流中時間建模研究取得了很大進(jìn)展,基于時間Petri網(wǎng)的工作流表示也取得了較 好的效果,但時間工作流建模仍是當(dāng)前一個極具挑戰(zhàn)性的研究課題。本文研究目標(biāo)就是要建 立一個適合分布式協(xié)同工作環(huán)境中業(yè)務(wù)過程特點(diǎn)的、具有良好形式化描述的、統(tǒng)一的時間工 作流模型。 本文分別從語義層、表示層和性能分析層,建立了支持分布式協(xié)同工作環(huán)境中業(yè)務(wù)過程 特點(diǎn)的時間工作流模型。模型從語義層著手,分析分布式協(xié)同工作環(huán)境中業(yè)務(wù)過程對工作流 模型的要求,定義了適合于業(yè)務(wù)過程特點(diǎn)的約束概念集合;以此為依據(jù),用擴(kuò)展時間工作流 網(wǎng)表示具有該約束的業(yè)務(wù)過程;然后根據(jù)分析策略,從時間計算到合理性分析,再到處理能 力評價,完成了模型的性能分析,為分布式協(xié)同工作環(huán)境中時間約束信息的描述和分析提供 了集成框架。 總體上說,本文貢獻(xiàn)如下: 通過引入時間空間概念,提出了工作流模型的多粒度與多時區(qū)時間約束語義,給出 了多粒度與多時區(qū)時間約束一致性算法,從而可以在模型靜態(tài)建立階段檢測和動態(tài) 運(yùn)行階段預(yù)測時間約束一致性。 通過引入?yún)f(xié)作子概念,提出了時間工作流模型的同步協(xié)同約束語義,分析了同步協(xié)
【學(xué)位授予單位】：浙江大學(xué)
【學(xué)位級別】：博士
【學(xué)位授予年份】：2004
【分類號】：TH164
【圖文】：

示經(jīng)過任意日期D的下一個和前一個有效日期:.TPerotd表示有效日期的最大時間間隔。M叫naov[0ci，健義了有限延遲約束、截止期限約束和時間距離約束，并引入延遲空間和實例空間，分別對流程的靜態(tài)和動態(tài)時間約束信息描述。圖1一6為()a為活動的延遲空間D={(m，M)任R’:m‘M}，坐標(biāo)軸分別表示活動的靜態(tài)設(shè)定最小、最大延遲;圖1一6(b)和(c)為活動的實例空間3={(b，)e任AZ，b吠}e，坐標(biāo)軸分別表示活動的實際執(zhí)行開始和結(jié)束時間，b()中i點(diǎn)為3空間中活動i的起始時刻，(c)中i點(diǎn)為3空間中活動i的終止時刻。卜(a)(b)(e)圖1一6時間約束的可視化描述zhugel’49)顯式定義了與時區(qū)相關(guān)的時間約束

流程圖、狀態(tài)圖等，這一類基于有向圖模型的優(yōu)點(diǎn)是直觀、容易理解。許多研究者同樣基于有向圖方法給出了時間工作流的表示層描述。Eder[3]s在基本工作流圖中的活動節(jié)點(diǎn)引入時間約束信息，構(gòu)造了賦時工作流圖，圖1一7為賦時活動節(jié)點(diǎn)，圖l一8為由圖l一7節(jié)點(diǎn)構(gòu)成的賦時工作流圖。圖1一8賦時工作流圖時間Perti網(wǎng)也被用來描述時間工作流。Ling8sIl對協(xié)一netl，’31進(jìn)行擴(kuò)充，加入時間語義，提出TWF一net模型(TimeWF一neo，對每項活動分配一相對時間段，分別表示活動的靜態(tài)設(shè)定最早執(zhí)行和最晚執(zhí)行相對時間，任務(wù)實際執(zhí)行期間應(yīng)在該時間段內(nèi)。圖卜9為TWF一net示例。圖卜9TWF一nat示例-一。一一一一一一一一一一一一一-一一一--·!7.

軟軟件工具具與與應(yīng)用用圖7一1工作流管理系統(tǒng)主要功能之間的關(guān)系為此，本章首先對目前工作流管理系統(tǒng)及相關(guān)研究進(jìn)行了簡要介紹;其次，針對大規(guī)模定制設(shè)計中的業(yè)務(wù)過程特點(diǎn)，以及前面章節(jié)建立的時間工作流模型，設(shè)計并開發(fā)了一個工作流管理系統(tǒng)，系統(tǒng)提供了對大規(guī)模定制設(shè)計中業(yè)務(wù)過程建模階段與運(yùn)行階段的全面支持，并具有方便的人機(jī)交互形式;最后結(jié)合應(yīng)用實例，對系統(tǒng)主要功能進(jìn)行了簡要闡述。7.2工作流管理系統(tǒng)概況隨著工作流軟件產(chǎn)品需求不斷擴(kuò)大，許多公司推出了不同的工作流產(chǎn)品。由于缺乏統(tǒng)一的標(biāo)準(zhǔn)，這些工作流產(chǎn)品都有自己的特點(diǎn)，也有自己的協(xié)議和接口標(biāo)準(zhǔn)，它們應(yīng)用于不同的領(lǐng)域

【引證文獻(xiàn)】

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

1 龐輝;方宗德;趙勇;;時間約束工作流模型的簡化分析與可調(diào)度性驗證[J];計算機(jī)集成制造系統(tǒng);2008年11期

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

1 崔衛(wèi)華;產(chǎn)品多領(lǐng)域協(xié)同設(shè)計過程的CCM-A建模技術(shù)研究[D];武漢理工大學(xué);2007年

2 馬晨華;面向協(xié)同工作環(huán)境的多層級訪問控制模型研究及應(yīng)用[D];浙江大學(xué);2011年

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

1 王筍;基于時間Petri網(wǎng)的分布式協(xié)同工作流研究[D];山東科技大學(xué);2007年

本文編號：2798148