從最初基于手工作坊式到實(shí)現(xiàn)大規(guī)模異構(gòu)、分布的軟件生產(chǎn)過程中,越來越多的人認(rèn)為提高軟件生產(chǎn)效率和產(chǎn)品質(zhì)量的核心在于軟件過程管理。因此學(xué)術(shù)界涌現(xiàn)出了大量關(guān)于軟件過程的研究,主要有：軟件過程建模以及建模語言的建立、軟件過程度量、軟件過程形式化研究、軟件演化過程研究和軟件過程控制與改進(jìn)等,并取得了一定的進(jìn)步。近年來,云計(jì)算已經(jīng)成為學(xué)術(shù)界、工業(yè)界以及各國政府關(guān)注和研究的熱點(diǎn)。但是過多的人都只關(guān)注云計(jì)算的實(shí)現(xiàn)模式及實(shí)現(xiàn)算法,而很少去關(guān)注云計(jì)算的服務(wù)過程。本文基于“過程決定產(chǎn)品質(zhì)量”的觀點(diǎn),為了盡可能地改善服務(wù)過程的執(zhí)行效率,提高服務(wù)質(zhì)量,對(duì)云計(jì)算的服務(wù)過程模型、形式化建模以及服務(wù)過程改進(jìn)的形式化方法進(jìn)行了系統(tǒng)研究。首先,參照軟件過程的定義,給出了服務(wù)過程不同粒度的定義。并深入研究了云計(jì)算的服務(wù)過程的系統(tǒng)過程模型、云計(jì)算前期的實(shí)現(xiàn)過程模型、云計(jì)算的細(xì)粒度服務(wù)過程模型以及云計(jì)算的服務(wù)演化過程模型。其次,為了更準(zhǔn)確地描述云計(jì)算的服務(wù)過程,基于加權(quán)Petri網(wǎng)形式化地定義了服務(wù)過程模型,并給出了服務(wù)過程中的資源分配實(shí)現(xiàn)算法。最后,針對(duì)前文提出的服務(wù)過程建模方法,進(jìn)一步研究了基于該方法建立的服務(wù)過程模型的更... 

【文章來源】：云南大學(xué)云南省 211工程院校

【文章頁數(shù)】：68 頁

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
Abstract
第一章 引言
    1.1 論文的研究背景
    1.2 國內(nèi)外研究現(xiàn)狀
    1.3 論文的選題意義及其來源
    1.4 論文的主要工作
    1.5 論文的創(chuàng)新和研究意義
    1.6 論文的組織
第二章 云計(jì)算及其他相關(guān)概念綜述
    2.1 云計(jì)算概述
        2.1.1 云計(jì)算的服務(wù)模式
        2.1.2 云服務(wù)與傳統(tǒng)軟件的異同
    2.2 軟件過程
        2.2.1 軟件過程的概念
        2.2.2 軟件過程的相關(guān)研究
    2.3 Petri網(wǎng)介紹
    2.4 本章小結(jié)
第三章 云計(jì)算的服務(wù)過程的研究
    3.1 云計(jì)算服務(wù)過程
        3.1.1 云計(jì)算服務(wù)過程定義
        3.1.2 服務(wù)過程與傳統(tǒng)軟件過程的比較
    3.2 服務(wù)過程模型
        3.2.1 云服務(wù)前期的實(shí)現(xiàn)過程模型
        3.2.2 細(xì)粒度的服務(wù)過程模型
        3.2.3 服務(wù)的演化過程模型
    3.3 服務(wù)過程模型的形式化建模研究
        3.3.1 服務(wù)過程的建模方法
        3.3.2 資源與服務(wù)過程模型
        3.3.3 資源的分配實(shí)現(xiàn)算法
    3.4 總結(jié)
第四章 服務(wù)過程建模的改進(jìn)研究
    4.1 服務(wù)過程模型中任務(wù)的改進(jìn)
    4.2 服務(wù)過程模型中活動(dòng)的改進(jìn)
        4.2.1 活動(dòng)網(wǎng)資源與任務(wù)的插入操作
        4.2.2 活動(dòng)網(wǎng)資源與任務(wù)的刪除操作
        4.2.3 活動(dòng)網(wǎng)中任務(wù)變遷的關(guān)系調(diào)整
    4.3 服務(wù)過程中過程網(wǎng)的替換
    4.4 本章總結(jié)
第五章 工作總結(jié)與展望
    5.1 工作總結(jié)
    5.2 展望
附錄 攻讀碩士學(xué)位期間學(xué)術(shù)成果
參考文獻(xiàn)
致謝


【參考文獻(xiàn)】：
期刊論文
[1]面向服務(wù)領(lǐng)域的過程改進(jìn)模型綜述[J]. 王怡豐,高曉桐.  計(jì)算機(jī)應(yīng)用與軟件. 2011(10)
[2]云計(jì)算技術(shù)研究與應(yīng)用綜述[J]. 李曉輝.  電子測(cè)量技術(shù). 2011(07)
[3]一種形式化的組件化軟件過程建模方法[J]. 翟健,楊秋松,肖俊超,李明樹.  軟件學(xué)報(bào). 2011(01)
[4]云計(jì)算:系統(tǒng)實(shí)例與研究現(xiàn)狀[J]. 陳康,鄭緯民.  軟件學(xué)報(bào). 2009(05)
[5]軟件過程建模方法研究[J]. 李明樹,楊秋松,翟健.  軟件學(xué)報(bào). 2009(03)
[6]Petri網(wǎng)合成理論及應(yīng)用綜述[J]. 王琦,韓江洪,王青山.  計(jì)算機(jī)仿真. 2008(12)
[7]反垃圾郵件網(wǎng)格清掃網(wǎng)絡(luò)[J]. 劉鵬,趙偉.  軟件世界. 2006(13)
[8]一種Petri網(wǎng)合成方法及其在系統(tǒng)建模中的應(yīng)用[J]. 夏傳良.  系統(tǒng)仿真學(xué)報(bào). 2006(02)
[9]軟件過程模型回顧與分析[J]. 谷烽,姜云飛,毛明志.  現(xiàn)代計(jì)算機(jī)(專業(yè)版). 2005(05)



本文編號(hào)：3046501