基于本體的流程知識(shí)庫(kù)研究與設(shè)計(jì).pdf

1、業(yè)務(wù)流程是企業(yè)運(yùn)營(yíng)的核心和本質(zhì)，其重要性毋庸置疑。隨著經(jīng)濟(jì)全球化、信息網(wǎng)絡(luò)化、需求多樣化，市場(chǎng)和客戶需求都在快速變化之中，這必然導(dǎo)致業(yè)務(wù)流程呈現(xiàn)變化、動(dòng)態(tài)的新特點(diǎn)。而傳統(tǒng)業(yè)務(wù)流程管理系統(tǒng)的資源缺少統(tǒng)一的知識(shí)描述結(jié)構(gòu)，導(dǎo)致流程資源在各流程系統(tǒng)間難以交互操作和共享；其基于關(guān)鍵字的知識(shí)信息檢索方式，在語(yǔ)義和語(yǔ)用的揭示上也有很大的局限性，難以滿足用戶的實(shí)際需求。 針對(duì)以上不足，本文提出了基于本體的流程知識(shí)庫(kù)設(shè)計(jì)思想。將本體引入知識(shí)庫(kù)的知

2、識(shí)建模，建立領(lǐng)域本體知識(shí)庫(kù)，通過(guò)術(shù)語(yǔ)或概念對(duì)知識(shí)進(jìn)行表示，同時(shí)揭示這些知識(shí)之間內(nèi)在的關(guān)系。領(lǐng)域本體知識(shí)庫(kù)中的知識(shí)，不僅通過(guò)縱向類屬分類，而且通過(guò)本體的聯(lián)想（語(yǔ)義關(guān)聯(lián)）進(jìn)行組織和關(guān)聯(lián)，推理機(jī)再利用這些知識(shí)進(jìn)行推理，從而也能大大提高用戶檢索的查全率和查準(zhǔn)率。 通過(guò)考察業(yè)務(wù)流程管理的應(yīng)用現(xiàn)狀，指出它們存在的缺點(diǎn)，分析了將本體引入到流程知識(shí)庫(kù)構(gòu)建中的優(yōu)勢(shì)。并針對(duì)現(xiàn)有流程知識(shí)庫(kù)的不足，根據(jù)本課題的業(yè)務(wù)流程模型，設(shè)計(jì)了基于本體的流程知識(shí)庫(kù)的

3、建模方法，將基于本體的流程知識(shí)庫(kù)按照各自的作用分為流程本體、旅游資源本體等四個(gè)部分。并根據(jù)課題需求構(gòu)建了流程知識(shí)庫(kù)的各個(gè)子庫(kù)，并對(duì)其進(jìn)行形式化表示，給出其OWL（Web Ontology Language）語(yǔ)言描述，使其便于進(jìn)行資源的利用和共享。 本文還提出了一種對(duì)知識(shí)庫(kù)生成的基于事件驅(qū)動(dòng)過(guò)程鏈EPCs（Event-driven Process Chains）的流程進(jìn)行合理性驗(yàn)證的算法，以保證流程的正確性并實(shí)現(xiàn)流程的自動(dòng)重組。E

4、PCs在流程建模技術(shù)中比較流行，但也有它的局限性，如它的半形式化的語(yǔ)義，使得基于EPC的流程重組無(wú)法實(shí)現(xiàn)自動(dòng)化。本文針對(duì)流程的自動(dòng)化重組，采用有窮自動(dòng)機(jī)（Fuute State Automata）理論，提出了一種狀態(tài)空間生成算法，以達(dá)到自動(dòng)完成EPC正確性驗(yàn)證，從而能由業(yè)務(wù)人員自行完成流程重組之目的。流程的重組是基于EPC的，針對(duì)得到的EPC，首先利用EPC化簡(jiǎn)規(guī)則進(jìn)行化簡(jiǎn)，然后把化簡(jiǎn)后的EPC轉(zhuǎn)化成形式化的Petri網(wǎng)，通過(guò)有窮自動(dòng)機(jī)

5、理論，狀態(tài)空間分析，人工判斷等技術(shù)進(jìn)行正確性驗(yàn)證，并實(shí)現(xiàn)驗(yàn)證算法。 另外本文詳細(xì)介紹了實(shí)現(xiàn)過(guò)程中的各種關(guān)鍵技術(shù)，比如本體存儲(chǔ)、推理、查詢，利用Jena解析本體知識(shí)庫(kù)，以便訪問(wèn)和維護(hù)知識(shí)庫(kù)，給出了具體實(shí)現(xiàn)代碼，并指出了開發(fā)過(guò)程中的一些問(wèn)題。 本文通過(guò)對(duì)流程知識(shí)庫(kù)的設(shè)計(jì)以及訪問(wèn)，把流程知識(shí)整合到一個(gè)綜合的知識(shí)描述結(jié)構(gòu)，實(shí)現(xiàn)業(yè)務(wù)流程的共享和重用，也在一定程度上解決了異質(zhì)系統(tǒng)進(jìn)行互操作的問(wèn)題。本文的理論研究和實(shí)現(xiàn)方法，有助于實(shí)現(xiàn)