業(yè)務過程管理理論與若干關(guān)鍵技術(shù)研究.pdf

1、業(yè)務過程管理作為一種有效的調(diào)度、協(xié)調(diào)和管理復雜業(yè)務過程以及進行跨部門、跨企業(yè)業(yè)務集成和服務組合的手段越來越受到企業(yè)經(jīng)營者、客戶以及研究者的重視。目前業(yè)務過程管理領(lǐng)域中存在著過程模型理論研究滯后、缺乏標準化的參考模型、缺乏建模方法論和模型評價標準、資源建模理論與技術(shù)匱乏等問題。本文通過對這些問題的研究，初步建立了一個包括過程建模理論、過程模型形式化描述、過程模型合理性驗證、資源建模等內(nèi)容，用于指導業(yè)務過程管理系統(tǒng)設(shè)計與開發(fā)的理論框架。在過

2、程建模理論方面，本文通過對傳統(tǒng)Petri網(wǎng)變遷的發(fā)生規(guī)則進行擴展，提出一種能夠表達豐富的變遷發(fā)生語義的高級Petri網(wǎng)——L網(wǎng)，論述了L網(wǎng)的發(fā)生權(quán)與發(fā)生結(jié)果，定義了L網(wǎng)的發(fā)生方式、發(fā)生條件和發(fā)生規(guī)則矩陣。給出了過程模型中常見的XOR、OR、AND等結(jié)構(gòu)在L網(wǎng)中的定義，研究了復雜變遷規(guī)則(如3選5)在L網(wǎng)中的表達方式。針對業(yè)務過程模型的特點，在L網(wǎng)的基礎(chǔ)上定義了一種既能表達豐富的控制語義，又具有直觀的圖形表示的特殊的L網(wǎng)——業(yè)務過程網(wǎng)，研

3、究了業(yè)務過程網(wǎng)的輸入輸出相關(guān)性，并通過與工作流網(wǎng)的對比說明了業(yè)務過程網(wǎng)的優(yōu)勢。 BPMN是業(yè)務過程建模的起點，在這個階段賦予過程模型嚴格的形式化語義以便進一步的分析和檢驗，可以在很大程度上將可能的錯誤排除在模型的概要設(shè)計階段。本文對BPMN規(guī)范中與過程執(zhí)行行為有關(guān)的元素用pi演算進行了描述，賦予了這些元素嚴格的pi演算語義，論述了從BPMN模型到pi演算表達式的轉(zhuǎn)化方案，利用pi演算對BPMN構(gòu)建的Web服務組合過程模型的交互行

4、為進行了模擬，給出了交互過程描述的例子。 在過程模型的合理性驗證方面，本文以業(yè)務過程網(wǎng)為研究對象，提出了Q代數(shù)和基于Q代數(shù)的過程模型可達性檢驗的理論和方法，研究了Q代數(shù)的數(shù)學特征，給出了常用的定理及其證明，定義了BP-net的可達度，給出了BP-net向Q代數(shù)的轉(zhuǎn)化公式，以及根據(jù)變遷的發(fā)生規(guī)則矩陣對Q表達式演算求值的步驟，出了針對不同類型BP-net求解可達度的例子。 在資源建模理論方面，本文分析了關(guān)于過程管理的4個觀念

5、上的問題，提出了路由邏輯與管理邏輯分解的思想，劃分了業(yè)務過程管理與資源管理的界限，建立了一種資源管理的數(shù)學基礎(chǔ)——企業(yè)資源模型，給出了企業(yè)資源模型的形式化描述，定義了企業(yè)資源模型的完備性規(guī)則，給出了完備性檢驗的一種實現(xiàn)方案。企業(yè)資源模型將過程模型本身以及過程模型中的活動統(tǒng)一抽象為資源進行管理，通過維護企業(yè)資源模型完備性來確保資源的引用的正確性。 本文最后提出了一種業(yè)務過程管理系統(tǒng)的參考模型，論述了參考模型的設(shè)計原則，給出了這個模