本文關(guān)鍵詞：基于過程樹的軟件過程線建模及其應(yīng)用研究　出處：《云南大學(xué)》2016年博士論文　論文類型：學(xué)位論文

  更多相關(guān)文章： 軟件過程線 過程特征模型 過程構(gòu)件 過程復(fù)用 過程裁剪

【摘要】：在軟件工程領(lǐng)域,越來越多軟件組織采用集成的開發(fā)模式。集成可以在不同的層次和不同的階段來進行。集成開發(fā)模式利用復(fù)用、裁剪等手段,能快速配置生成與具體項目相關(guān)的軟件制品或軟件過程實例。軟件制品和軟件過程實例的形式是多種多樣的,因而集成對于形式多樣的軟件制品和軟件過程實例的開發(fā)和質(zhì)量保障具有重要的意義。軟件過程線是集成思想在軟件工程領(lǐng)域的一個重要的應(yīng)用。軟件過程線是一種特殊的軟件產(chǎn)品線,兩者均使用了集成的思想。軟件過程線使用公共核心過程資產(chǎn)集合,對預(yù)定義的過程線變化點進行裁剪和復(fù)用,從而在構(gòu)件層次上實現(xiàn)整個過程線體系結(jié)構(gòu)指導(dǎo)下的復(fù)用、集成和組裝,而在活動和任務(wù)層次上實現(xiàn)局部的裁剪。由此,面向項目的過程實例的構(gòu)建就從傳統(tǒng)的“創(chuàng)造”變?yōu)椤凹珊徒M裝”。目前,軟件過程線的理論體系尚不完整,沒有支持具體過程模型的建模技術(shù)和方法。為了解決軟件過程線應(yīng)用相關(guān)的關(guān)鍵技術(shù)問題,本文以Petri網(wǎng)表示的過程模型為基礎(chǔ)提出了一個以過程樹模型為特征描述的軟件過程線(Software Process Line Based on Process Tree,SPrL-BPT),重點解決軟件過程線的兩個關(guān)鍵問題：SPrL-BPT模型構(gòu)建問題、SPrL-BPT的過程裁剪和復(fù)用問題。本文的主要工作及取得的成果如下：(1)提出并設(shè)計了SPrL-BPT的體系結(jié)構(gòu)及應(yīng)用系統(tǒng)的框架,為過程實例的配置生成過程中的裁剪和復(fù)用提供了統(tǒng)一的操作框架。(2)基于SPrL-BPT的體系結(jié)構(gòu),定義了SPrL-BPT的主要模型,即基于維度劃分的上下文模型、基于Petri網(wǎng)的軟件過程模型以及基于過程樹的過程線特征模型,為過程實例生成時的復(fù)用和裁剪奠定了基礎(chǔ)。(3)以上下文因素相似性比較、過程模型統(tǒng)一轉(zhuǎn)換、模糊度量以及過程模型相似性比較等方法為基礎(chǔ),提出了SPrL-BPT的構(gòu)建方法,為SPrL-BPT應(yīng)用系統(tǒng)的開發(fā)和實施提供了參考。(4)闡述了基于SPrL-BPT過程特征模型的形式化定義及其Alloy規(guī)約。過程特征模型的形式化定義方便進一步的機器實現(xiàn),而Alloy規(guī)約可以實現(xiàn)過程特征模型的一致性檢查。(5)提出了基于SPrL-BPT的復(fù)用和裁剪方法,為SPrL-BPT在實際應(yīng)用過程中生成過程實例提供了技術(shù)基礎(chǔ)：運用進程代數(shù)的方法定義了過程構(gòu)件的內(nèi)部規(guī)約和外部規(guī)約,保證了SPrL-BPT在復(fù)用操作時的一致性和有效性；使用分支互模擬等價關(guān)系驗證了部分裁剪操作行為的一致性和繼承性,保證了SPrL-BPT中裁剪操作的有效性。(6)設(shè)計了SPrL-BPT應(yīng)用系統(tǒng)的框架并初步實現(xiàn)了原型,通過三個過程線相關(guān)的案例說明了SPrL-BPT的可行性和可用性。
【學(xué)位授予單位】：云南大學(xué)
【學(xué)位級別】：博士
【學(xué)位授予年份】：2016
【分類號】：TP311.52

【參考文獻】

相關(guān)期刊論文 前3條

1 蘆俊佳;劉敏昆;;一種基于過程構(gòu)件的軟件演化過程設(shè)計方法[J];計算機應(yīng)用與軟件;2012年01期

2 李長云;鄔惠峰;應(yīng)晶;李贛生;;支持領(lǐng)域復(fù)用的過程元模型[J];小型微型計算機系統(tǒng);2006年06期

3 徐偉華,周之英,錢嶺;P-F模型的過程復(fù)用機制及工具[J];計算機工程與應(yīng)用;2001年03期

，

本文編號：1336574