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

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

3、間映射函數(shù)，定義了擴展時間工作流網(wǎng)概念，分析了擴展時間工作流網(wǎng)的觸發(fā)規(guī)則及運行過程?！　　窀鶕?jù)擴展時間工作流網(wǎng)的基本結(jié)構(gòu)，在線性時間復(fù)雜度內(nèi)建立了擴展時間工作流網(wǎng)的時序一致性分析方法?！　　裢ㄟ^引入變遷觸發(fā)完成概率函數(shù)，定義了擴展時間工作流網(wǎng)性能分析模型，由此可計算模型的吞吐率等性能指標(biāo)?！　”疚牡诙潞偷谌略敿氄撌隽斯ぷ髁髂Ｐ偷亩嗔６燃岸鄷r區(qū)時間約束和同步協(xié)同約束語義描述；第四章給出了時間工作流模型的擴展時間工作流網(wǎng)表示，包括