基于廣義隨機Petri網(wǎng)的BPEL工作流可靠性評估模型及應(yīng)用.pdf

1、隨著經(jīng)濟全球化發(fā)展和企業(yè)工作流技術(shù)的不斷發(fā)展,越來越多的業(yè)務(wù)過程跨越組織的邊界形成了跨組織的工作流。面向服務(wù)的框架 SOA( Service Oriented Architecture)成為近年來實現(xiàn)跨組織工作流應(yīng)用的理想解決方案。BPEL(Business Process Execution Language)是一種業(yè)界廣泛使用的服務(wù)組合規(guī)約標準,被認為是SOA環(huán)境下企業(yè)資源重組和實現(xiàn)跨組織業(yè)務(wù)過程的重要技術(shù)手段。然而BPEL工作流的

2、實際應(yīng)用仍然面臨著挑戰(zhàn),其可靠性能呈現(xiàn)動態(tài)性的特點。因此通過科學(xué)分析與研究,對BPEL工作流可靠性能進行建模與分析是研究可靠的跨組織工作流系統(tǒng)的基礎(chǔ)工作,對實現(xiàn)跨組織復(fù)雜業(yè)務(wù)進行動態(tài)優(yōu)化與調(diào)度具有現(xiàn)實的重要意義。
　　針對相關(guān)研究中可靠性分析模型不能正確表達 BPEL工作流的執(zhí)行過程等問題,結(jié)合廣義隨機Petri網(wǎng)GSPN(Generalized Stochastic Petri Net)建模分析理論,深入研究BPEL語言規(guī)范與執(zhí)

3、行過程,提出了一個廣義隨機Petri網(wǎng)模型以有效地支持可靠性能的評估工作。本文的主要工作有:
　　1.研究BPEL的語法規(guī)范、BPEL工作流的框架、基本活動和結(jié)構(gòu)化活動的功能及執(zhí)行過程,在此基礎(chǔ)上建立了對應(yīng)的廣義隨機 Petri網(wǎng)模型。在模型的設(shè)計中考慮了可靠性能的表達。該模型以活動為基本單位,具有耦合性小、可擴展性強的特點。
　　2.分析BPEL語言規(guī)范中特殊的機制,并根據(jù)這些特殊機制(鏈接和活動)所影響的B