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

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

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

【參考文獻(xiàn)】

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

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

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

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

，

本文編號(hào)：1336574