云計算環(huán)境下跨組織業(yè)務流程建模方法研究.pdf

1、隨著跨組織流程在企業(yè)信息系統(tǒng)領(lǐng)域的快速發(fā)展/組織間流程的交互、多個流程的編排等逐漸取代組織內(nèi)的工作流而成為流程建模人員關(guān)注的焦點和工作的中心。而傳統(tǒng)的建模方法又不能適應這種跨組織業(yè)務流程的建模需求，所以進行跨組織業(yè)務流程建模的研究具有重要的現(xiàn)實意義。
　　本文以云計算環(huán)境下跨組織業(yè)務流程建模作為研究課題，對跨組織流程的特點和云計算環(huán)境下的業(yè)務流程特征進行深入分析;對業(yè)務流程從組織間的流程柔性、流程交互以及流程編排等三個方面進行了形

2、式化建模方法研究。本文所做的主要工作如下:
　　(1)柔性業(yè)務流程建模的研究。分析了柔性業(yè)務流程的特點，將柔性業(yè)務流程劃分為動態(tài)選擇型、變更型和異常型三類。提出了將業(yè)務流程圖中的BPMN元素映射到基于π演算的形式化模型的映射規(guī)則。針對上述三種類型的柔性流程的結(jié)構(gòu)，應用π演算語法給出了相應的描述形式。最后通過具體流程實例進行了實例建模，并應用MWB驗證工具對模型進行了推演驗證，驗證了模型的正確性。
　　(2)服務交互建模的研究

3、。針對基本的服務交互方式，應用π演算的通道移動性特點給出了服務交互的表達方法。同時，將全部13個服務交互模式進行了完整的形式化建模。文中給出了Web服務模型和云服務交互模型的建模實例，并進行了推演驗證。結(jié)果表明服務交互中的動態(tài)、開放的特性能夠用π演算語法給予充分地表達。
　　(3)編排建模的研究。分析了標準BPMN在編排建模方面的不足，探討了基于BPMN2.0 Choreography的編排建模方法，并給出了一個網(wǎng)上購物支付流程的

4、編排圖實例。定義了一個從編排的活動集合到π演算語義表達式的函數(shù)，并通過該函數(shù)給出了BPMN2.0Choreography元素映射到π演算語法的一組定義，分別對編排的基本活動和結(jié)構(gòu)化動作進行建模定義，從而建立基于π演算的編排建模的形式化方法。最后給出拍賣流程的建模實例，并針對拍賣流程的編排模型進行了模擬推演驗證。
　　(4)跨組織流程統(tǒng)一建模方法應用研究。研究對跨組織業(yè)務流程統(tǒng)一進行編制與編排建模的方法。提出了將業(yè)務流程從編排開始建

5、模，至頂向下，逐步細化。按照“編排圖—交互圖—協(xié)作圖—流程圖”的順序逐步映射轉(zhuǎn)換。以拍賣場景業(yè)務流程作為實例，對跨組織業(yè)務流程的建模方法系統(tǒng)地進行了全面的應用。
　　本文的創(chuàng)新點主要包括以下幾個部分:
　　(1)應用π演算的通道移動性給出了服務交互的表達方法，實現(xiàn)了對并發(fā)進程復雜通道的簡潔靈活的描述。通過擴展π演算語法，進一步豐富了π演算的表達能力，克服了現(xiàn)有方法不能有效地表示異常中斷和超時處理行為的缺陷，實現(xiàn)了對異常型業(yè)務

6、流程的有效表示，滿足了柔性流程三種類型的形式化建模需求，推進了柔性業(yè)務流程建模方法的發(fā)展。
　　(2)基于π演算理論對業(yè)務流程編排進行建模，真正從全局視角形式化建模跨組織業(yè)務流程，改變了以往過早關(guān)注流程細節(jié)和交互細節(jié)的傾向。
　　(3)提出了跨組織流程統(tǒng)一建模方法，完成了編排活動至編制活動的有效轉(zhuǎn)換。該建模方法同時使用圖形描述與形式化表達，從而在保持業(yè)務流程模型的可讀性的同時又實現(xiàn)了模型的嚴謹性，便于分析和驗證。實例表明所構(gòu)