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

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

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

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