工作流動態(tài)構建技術研究及應用.pdf

1、工作流管理系統(tǒng)是實現(xiàn)業(yè)務過程的部分或全部在計算機應用環(huán)境中自動化的重要技術，工作流管理系統(tǒng)的廣泛應用，提高了企業(yè)生產(chǎn)水平和工作效率。然而，新的技術、新的法規(guī)和新的市場需求都可能導致工作流結構化的變更，業(yè)務流程更多的表現(xiàn)為一種動態(tài)的流程。為了提高工作流管理系統(tǒng)的柔性，本文通過形式化的本體語言描述工作流，應用領域知識形式化建模的方法對工作流動態(tài)構建。該方法從語義上支持了工作流管理系統(tǒng)的動態(tài)性，使得工作流的動態(tài)構建具有自主性和智能性。因此，本

2、文的研究工作具有重要的理論價值和實際意義。
　　目前，國內外對工作流動態(tài)構建的方法主要分為三大類：建立工作流元模型、模型演進和基于知識驅動的方法。它們?yōu)橹С謩討B(tài)性的工作流管理系統(tǒng)的研發(fā)起到了重要的促進作用。本文綜合分析了它們的優(yōu)缺點，并在這些方法的啟發(fā)下，通過分析現(xiàn)有本體語言的語義以及表達能力，提出并研究了一種能同時描述動作和時序特性的知識表示語言——動態(tài)時序描述邏輯。論文運用該語言構建領域流程模型并對工作流進行描述，從而從語義上

3、支持了對具有時序特性的工作流的動態(tài)構建。本文的主要工作表現(xiàn)在如下幾個方面：
　　(1)針對當前本體語言缺乏對時序特性的描述，無法提供對動態(tài)行為的推導，提出了一種動態(tài)時序描述邏輯；研究了動態(tài)時序描述邏輯中的基本推理問題——公式可滿足性，并給出了動態(tài)時序描述邏輯中動作推理問題的判定方法。
　　(2)基于動態(tài)時序描述邏輯對工作流進行描述，將工作流中活動的匹配問題歸結為動態(tài)時序描述邏輯中的公式的可滿足性判定問題。給出了一種工作流本體