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

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

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

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