分布式協(xié)同工作環(huán)境中時(shí)間工作流建模技術(shù)研究.pdf

1、分布式協(xié)同工作環(huán)境中時(shí)間工作流建模存在兩大挑戰(zhàn)：首先是時(shí)間語(yǔ)義和同步協(xié)同語(yǔ)義的復(fù)雜性；其次是時(shí)間性能分析的復(fù)雜性。盡管近年來(lái)工作流中時(shí)間建模研究取得了很大進(jìn)展，基于時(shí)間Petri網(wǎng)的工作流表示也取得了較好的效果，但時(shí)間工作流建模仍是當(dāng)前一個(gè)極具挑戰(zhàn)性的研究課題。本文研究目標(biāo)就是要建立一個(gè)適合分布式協(xié)同工作環(huán)境中業(yè)務(wù)過(guò)程特點(diǎn)的、具有良好形式化描述的、統(tǒng)一的時(shí)間工作流模型。　　本文分別從語(yǔ)義層、表示層及性能分析層，建立了支持分布式協(xié)同工作

2、環(huán)境中業(yè)務(wù)過(guò)程特點(diǎn)的時(shí)間工作流模型?！　】傮w上說(shuō)，本文貢獻(xiàn)如下：　　●通過(guò)引入時(shí)間空間概念，提出了工作流模型的多粒度及多時(shí)區(qū)時(shí)間約束語(yǔ)義表達(dá)，給出了多粒度及多時(shí)區(qū)時(shí)間約束一致性算法，從而可以在模型靜態(tài)建立階段檢測(cè)和動(dòng)態(tài)運(yùn)行階段預(yù)測(cè)時(shí)間約束一致性?！　　裢ㄟ^(guò)引入?yún)f(xié)作子概念，提出了時(shí)間工作流模型的同步協(xié)同約束語(yǔ)義表達(dá)，分析了同步協(xié)同約束語(yǔ)義中的數(shù)據(jù)依賴及協(xié)作活動(dòng)中狀態(tài)依賴?！　　窀鶕?jù)時(shí)間工作流網(wǎng)特點(diǎn)及其不足，引入靜態(tài)觸發(fā)時(shí)間間隔及時(shí)

3、間映射函數(shù)，定義了擴(kuò)展時(shí)間工作流網(wǎng)概念，分析了擴(kuò)展時(shí)間工作流網(wǎng)的觸發(fā)規(guī)則及運(yùn)行過(guò)程。　　●根據(jù)擴(kuò)展時(shí)間工作流網(wǎng)的基本結(jié)構(gòu)，在線性時(shí)間復(fù)雜度內(nèi)建立了擴(kuò)展時(shí)間工作流網(wǎng)的時(shí)序一致性分析方法。　　●通過(guò)引入變遷觸發(fā)完成概率函數(shù)，定義了擴(kuò)展時(shí)間工作流網(wǎng)性能分析模型，由此可計(jì)算模型的吞吐率等性能指標(biāo)。　　本文第二章和第三章詳細(xì)論述了工作流模型的多粒度及多時(shí)區(qū)時(shí)間約束和同步協(xié)同約束語(yǔ)義描述；第四章給出了時(shí)間工作流模型的擴(kuò)展時(shí)間工作流網(wǎng)表示，包括