工作流動態(tài)構(gòu)建技術(shù)研究及應(yīng)用.pdf

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

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

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