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

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

2、程建模理論方面，本文通過對(duì)傳統(tǒng)Petri網(wǎng)變遷的發(fā)生規(guī)則進(jìn)行擴(kuò)展，提出一種能夠表達(dá)豐富的變遷發(fā)生語義的高級(jí)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)中的定義，研究了復(fù)雜變遷規(guī)則(如3選5)在L網(wǎng)中的表達(dá)方式。針對(duì)業(yè)務(wù)過程模型的特點(diǎn)，在L網(wǎng)的基礎(chǔ)上定義了一種既能表達(dá)豐富的控制語義，又具有直觀的圖形表示的特殊的L網(wǎng)——業(yè)務(wù)過程網(wǎng)，研

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

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

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