軟件產(chǎn)品線關(guān)鍵技術(shù)研究——形式化的產(chǎn)品線體系結(jié)構(gòu)技術(shù).pdf

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

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

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

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