軟件產(chǎn)品線關鍵技術研究——形式化的產(chǎn)品線體系結構技術.pdf

1、“軟件產(chǎn)品線”是一個以軟件工程學為基礎發(fā)展起來的新興多學科交叉的研究領域，現(xiàn)已成為軟件工程和軟件復用領域研究與實踐的前沿。軟件產(chǎn)品線體系結構描述了產(chǎn)品線內所有成員的公共架構，是設計、開發(fā)軟件產(chǎn)品線的核心與關鍵。而產(chǎn)品線體系結構固有的復雜性、抽象性和變化性，又對傳統(tǒng)的軟件體系結構理論和技術提出新的挑戰(zhàn)。為此，本文對產(chǎn)品線體系結構的理論進行了較為深入的探討，設計了形式化的產(chǎn)品線體系結構描述語言，并對產(chǎn)品線體系結構設計和分析等內容進行了研究。

2、主要研究工作包括以下幾個方面： 1．設計了一種形式化的、全面支持變化性的產(chǎn)品線體系結構描述語言(Variabilitv-SuppoHed Architecture Description Language，vADL)。vADL能夠規(guī)約體系結構和組件變化性；能定義多種變化性約束，以及開放的和閉合的變化點；具有基于π演算的行為語義模型和類型系統(tǒng)，可建模行為語義變化性；并且能夠同時描述規(guī)約態(tài)和運行態(tài)變化性。對變化性的全面支持，使得vA

3、DL能夠更適合規(guī)約產(chǎn)品線體系結構。 2．基于vADL模型，研究了產(chǎn)品線環(huán)境下的組件組裝技術。提出了組裝件概念，支持多個異構端口的任意類型端口行為組裝；提出了變化性組裝的概念，并研究了變化性組裝關鍵技術以及變化性組裝規(guī)則；給出了行為組裝推導方法，特別是解決了產(chǎn)品線環(huán)境下行為組裝中的變化性問題。 3．通過引入變化性精化，擴展了傳統(tǒng)的基于組件的體系結構精化方法。重點研究了變化性精化方法和規(guī)則；提出了復合組件行為精化方法和規(guī)則，

4、保證精化過程中保持高層抽象體系結構的一致性、兼容性、變化性等行為特性。 4．基于π演算基礎理論，研究了形式化的產(chǎn)品線體系結構行為語義一致性分析方法。給出了分析產(chǎn)品線體系結構變化性設計正確性的方法，以及變化組件約束關系分析方法，定義了產(chǎn)品線體系結構相似性、變化性、復用性、復雜性等特性度量指標和方法。 5．在J2EE計算平臺上，基于組件技術，設計開發(fā)了具有三層分布式結構的產(chǎn)品線體系結構集成開發(fā)環(huán)境原型PLArchStudio