本文關鍵詞：基于過程樹的軟件過程線建模及其應用研究　出處：《云南大學》2016年博士論文　論文類型：學位論文

  更多相關文章： 軟件過程線 過程特征模型 過程構件 過程復用 過程裁剪

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

【參考文獻】

相關期刊論文 前3條

1 蘆俊佳;劉敏昆;;一種基于過程構件的軟件演化過程設計方法[J];計算機應用與軟件;2012年01期

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

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

，

本文編號：1336574