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

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

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

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