工作流系統(tǒng)中的時(shí)間管理算法研究.pdf

1、缺乏對(duì)時(shí)間管理的支持是當(dāng)今工作流管理系統(tǒng)的一個(gè)重要不足，也是工作流技術(shù)實(shí)施復(fù)雜企業(yè)應(yīng)用的嚴(yán)重局限。開(kāi)展工作流時(shí)間管理的研究，對(duì)于豐富工作流建模理論、開(kāi)發(fā)靈活和實(shí)用的工作流管理系統(tǒng)、確保工作流計(jì)劃的高效執(zhí)行和提高企業(yè)的競(jìng)爭(zhēng)力具有重要意義。本論文對(duì)該領(lǐng)域中的工作流時(shí)間約束一致性驗(yàn)證和時(shí)間約束工作流調(diào)度兩個(gè)部分進(jìn)行了較為深入的研究。 論文工作的主要成果表現(xiàn)在以下幾個(gè)方面： 1) 基于時(shí)間約束網(wǎng)(TCN)的基本理論，提出了時(shí)間約

2、束網(wǎng)“部分交”和“拆分”運(yùn)算的概念，并對(duì)其具有的主要性質(zhì)做了深入的分析，從而擴(kuò)充了時(shí)間約束網(wǎng)的運(yùn)算理論，使其能更好地運(yùn)用于工作流時(shí)間約束的推理。 2) 基于論文中提出的TCN“部分交”和“拆分”運(yùn)算，給出了工作流時(shí)間約束一致性驗(yàn)證算法WFTCCV，從工作流模型的整體上考慮了時(shí)間約束的一致性問(wèn)題，從而保證了工作流模型的時(shí)間可調(diào)度性，彌補(bǔ)了傳統(tǒng)方法中存在的不足。 3) 比較全面地考慮了工作流執(zhí)行期間任一時(shí)刻各活動(dòng)的當(dāng)前狀