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

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

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

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