基于Petri網(wǎng)的網(wǎng)格工作流研究.pdf

1、網(wǎng)格是新一代的分布式計(jì)算技術(shù),它將各種地理上分布的、屬于不同組織的資源(計(jì)算資源、存儲(chǔ)資源、設(shè)備資源、知識(shí)資源等)組織到一個(gè)統(tǒng)一的平臺(tái)上,以實(shí)現(xiàn)資源的整合和共享。為此,網(wǎng)格將其上的各種資源和功能都封裝成服務(wù)的形式,稱作網(wǎng)格服務(wù)。具體的網(wǎng)格應(yīng)用即是將合適的網(wǎng)格服務(wù)根據(jù)應(yīng)用目的的需要,組織到一起,按照業(yè)務(wù)流程順序進(jìn)行執(zhí)行,以達(dá)到應(yīng)用目標(biāo)。怎樣高效可靠地組織這些分散在異質(zhì)平臺(tái)上的網(wǎng)格服務(wù)是網(wǎng)格的重要研究方向。工作流技術(shù)是一種業(yè)務(wù)流程建模技術(shù),

2、能夠?qū)I(yè)務(wù)流程進(jìn)行建模,并依據(jù)模型組織相關(guān)資源實(shí)現(xiàn)業(yè)務(wù)流程。因此,工作流技術(shù)適合于面向流程的網(wǎng)格應(yīng)用建模,以組織相應(yīng)網(wǎng)格服務(wù)的執(zhí)行,實(shí)現(xiàn)應(yīng)用目標(biāo)。由于網(wǎng)格的動(dòng)態(tài)性、分布性、異構(gòu)性和自治性導(dǎo)致傳統(tǒng)工作流的一些方法和技術(shù)不能有效的處理網(wǎng)格應(yīng)用,尤其是商業(yè)流程處理中的有關(guān)問(wèn)題,論文根據(jù)網(wǎng)格資源和網(wǎng)格商業(yè)應(yīng)用的特點(diǎn)和網(wǎng)格環(huán)境對(duì)工作流技術(shù)的需求,對(duì)網(wǎng)格服務(wù)流的Petri網(wǎng)過(guò)程模型、商業(yè)流程與Petri網(wǎng)的映射、網(wǎng)格工作流的體系結(jié)構(gòu)進(jìn)行了研究。本文

3、在詳細(xì)分析網(wǎng)格和網(wǎng)格工作流本質(zhì)特征的基礎(chǔ)上,采用Petri網(wǎng)這種形式化工具對(duì)網(wǎng)格工作流進(jìn)行建模,建立了適合于網(wǎng)格服務(wù)的SF-net服務(wù)流網(wǎng)模型,并給出了相應(yīng)的形式化分析方法,以處理工作流在整合網(wǎng)格上動(dòng)態(tài)、分布式的資源時(shí)出現(xiàn)的如沖突、沖撞等問(wèn)題。為支持網(wǎng)格工作流的實(shí)際運(yùn)行,本文研究了將基于Petri網(wǎng)的形式化SF-net服務(wù)流網(wǎng)模型映射轉(zhuǎn)化為BPEL4WS這種面向服務(wù)的工作流描述語(yǔ)言,并給出了相應(yīng)的仿真分析結(jié)果。在以上研究的基礎(chǔ)上,本文對(duì)