工作流系統(tǒng)中時(shí)間建模及其一致性驗(yàn)證研究.pdf

1、時(shí)間管理是工作流管理系統(tǒng)的重要組成部分。企業(yè)應(yīng)用越復(fù)雜，對(duì)工作流時(shí)間管理技術(shù)的要求越高。由于時(shí)間概念表示、分析的復(fù)雜性，以及缺乏統(tǒng)一的時(shí)間建模規(guī)范與標(biāo)準(zhǔn)，對(duì)工作流中的時(shí)間信息的有效建模成為當(dāng)前的研究熱點(diǎn)。開展工作流時(shí)間建模及時(shí)間管理研究對(duì)于豐富工作流建模理論、確保工作流計(jì)劃的高效執(zhí)行和有效實(shí)施企業(yè)復(fù)雜應(yīng)用具有重要意義。 工作流模式理論形成之后并沒有進(jìn)一步地突破，只有很少幾種建模方法有意識(shí)地運(yùn)用了工作流模式來作為重要的設(shè)計(jì)準(zhǔn)則。Y

2、AWL(Yet Another WorkflowLanguage)工作流語言雖然可以全面地直接支持工作流模式并且具有圖形化、形式化的優(yōu)點(diǎn)，但是在工作流時(shí)間管理方面比較薄弱。另外，傳統(tǒng)的工作流系統(tǒng)因?yàn)槿鄙龠m應(yīng)性而備受質(zhì)疑。 本論文針對(duì)以上問題，展開以下方面的研究： 首先，在分析時(shí)間約束的基礎(chǔ)上，深入研究工作流模式及其包含的時(shí)間信息，結(jié)合區(qū)間時(shí)間表達(dá)方法和點(diǎn)時(shí)間表達(dá)方法提出一種工作流模式的時(shí)間建模方法，并將它用于經(jīng)典工作流模

3、式的時(shí)間約束建模過程中。 其次，在工作流時(shí)間約束網(wǎng)絡(luò)的建立和時(shí)間約束一致性驗(yàn)證兩個(gè)方面進(jìn)行了較為深入的研究。結(jié)合工作流時(shí)間約束的表示及其轉(zhuǎn)換給出工作流時(shí)間約束網(wǎng)絡(luò)WTCN(Worlaaow Temporal Constraint Networks)的定義及其相關(guān)運(yùn)算。在此基礎(chǔ)上，基于工作流模式的時(shí)間約束分析給出一種WTCN的建立方案，進(jìn)而使用時(shí)間約束一致性驗(yàn)證算法完成過程沖突檢測任務(wù)。之后以簽證辦理過程為實(shí)例，給出了具體實(shí)現(xiàn)過程