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

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

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

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

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


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



本文編號：3046501