基于Petri網(wǎng)的網(wǎng)格工作流研究碩士論文

《基于Petri網(wǎng)的網(wǎng)格工作流研究碩士論文》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。

1、重慶大學(xué)碩士學(xué)位論文基于Petri網(wǎng)的網(wǎng)格工作流研究Master.DissertationofChongqingUniversityResearchofGridWorkflowBasedonPetri-netMaster.Candidate：ChenChunpingSupervisor:Prof.SunYueMajor:ControlTheoryandControlEngineeringCollegeofAutomationChongqingUniversityApril2006重慶大學(xué)碩士學(xué)位論文中文摘要學(xué)位論文原創(chuàng)性聲明本人鄭重聲明：所

2、呈交的論文是本人在導(dǎo)師的指導(dǎo)下獨立進(jìn)行研究所取得的研究成果。除了文中特別加以標(biāo)注引用的內(nèi)容外，本論文不包含任何其他個人或集體已經(jīng)發(fā)表或撰寫的成果作品。對本文的研究做出重要貢獻(xiàn)的個人和集體，均已在文中以明確方式標(biāo)明。本人完全意識到本聲明的法律后果由本人承擔(dān)。作者簽名：日期：年月日學(xué)位論文版權(quán)使用授權(quán)書本學(xué)位論文作者完全了解學(xué)校有關(guān)保留、使用學(xué)位論文的規(guī)定，同意學(xué)校保留并向國家有關(guān)部門或機構(gòu)送交論文的復(fù)印件和電子版，允許論文被查閱和借閱。本人授權(quán)　　　　大學(xué)可以將本學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫進(jìn)行檢索，可以采用影印、縮印或掃描等復(fù)制手

3、段保存和匯編本學(xué)位論文。涉密論文按學(xué)校規(guī)定處理。作者簽名：日期：年月日導(dǎo)師簽名：日期：年月日II重慶大學(xué)碩士學(xué)位論文中文摘要摘要網(wǎng)格是新一代的分布式計算技術(shù)，它將各種地理上分布的、屬于不同組織的資源（計算資源、存儲資源、設(shè)備資源、知識資源等）組織到一個統(tǒng)一的平臺上，以實現(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ì)平臺上的網(wǎng)格服務(wù)是網(wǎng)格的重要研究方向。工作流技術(shù)是

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

5、流進(jìn)行建模，建立了適合于網(wǎng)格服務(wù)的SF-net服務(wù)流網(wǎng)模型，并給出了相應(yīng)的形式化分析方法，以處理工作流在整合網(wǎng)格上動態(tài)、分布式的資源時出現(xiàn)的如沖突、沖撞等問題。為支持網(wǎng)格工作流的實際運行，本文研究了將基于Petri網(wǎng)的形式化SF-net服務(wù)流網(wǎng)模型映射轉(zhuǎn)化為BPEL4WS這種面向服務(wù)的工作流描述語言，并給出了相應(yīng)的仿真分析結(jié)果。在以上研究的基礎(chǔ)上，本文對網(wǎng)格環(huán)境下工作流管理系統(tǒng)面臨的問題進(jìn)行了分析，提出了一種混合式的工作流引擎，并基于此引擎給出網(wǎng)格工作流管理系統(tǒng)的參考設(shè)計，以支持網(wǎng)格工作流在網(wǎng)格上的運行。這種設(shè)計能較好地解決網(wǎng)格環(huán)境組織結(jié)構(gòu)

6、不斷變化、跨所有者邊界等問題。通過了實驗驗證，初步證明了我們設(shè)計的可行性。關(guān)鍵詞：網(wǎng)格,網(wǎng)格工作流,工作流管理系統(tǒng),SF-net,Petri網(wǎng),BPELII重慶大學(xué)碩士學(xué)位論文英文摘要ABSTRACTGridisthenextgenerationofdistributedcomputingtechnology,itmakesallgeographicaldistributionresourcesbelongingtodifferentorganizations(computingresources,storageresources,equi

7、pmentresources,knowledgeresources,etc.)toorganizeaunifiedplatformfortheintegrationandsharingofresources.Tothisend,thegridwillhavetheresourcesandfunctionsintopackagingintheformofservices,knownasgridservices.Specificgridapplicationthatissuitablegridserviceswillbebasedonthein

8、tendedapplicationHowtomaketheseefficientorganizationsreliablyscatteredheterogeneousplatfo