基于本體的流程知識庫研究與設計.pdf

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

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

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

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

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