基于特征模型的構(gòu)件組裝研究.pdf

1、基于構(gòu)件的軟件開發(fā)(CBSD)是軟件工程化開發(fā)和工業(yè)化生產(chǎn)的必然趨勢,軟件產(chǎn)品線方法通過對整個產(chǎn)品家族進行統(tǒng)一的組織和管理,從而提高軟件的質(zhì)量和生產(chǎn)率。基于特征的領(lǐng)域建模使用特征以及特征關(guān)系來刻畫問題空間,是軟件產(chǎn)品線領(lǐng)域分析階段的主流方法,可以為構(gòu)件組裝提供支持。
　　 構(gòu)件組裝面臨的主要問題是如何判斷構(gòu)件的有用性,構(gòu)件的功能語義是復用者判斷構(gòu)件可用性的重要依據(jù)。傳統(tǒng)的構(gòu)件描述方法由于缺乏豐富的構(gòu)件語義描述信息,用戶難以精確檢

2、索到與需求相匹配的構(gòu)件資源,很難進行構(gòu)件的自動組裝和驗證。近年來,可信性成為一個新的研究熱點,但大多數(shù)的研究集中在可信性的度量和監(jiān)控方面,在組裝過程中對構(gòu)件可信性的研究相對較少。由于構(gòu)件的可信性決定了組裝系統(tǒng)的可信性,因此可信性是構(gòu)件組裝中需要考慮的重要因素。
　　 針對上述問題,本文面向構(gòu)件組裝,從功能語義、可信性出發(fā),在領(lǐng)域分析階段構(gòu)造特征元模型。該特征元模型能夠提供豐富的構(gòu)件語義信息,并且考慮了可信性。為了完成形式化的描述

3、和自動化的推理,本文使用本體作為領(lǐng)域建模語言。在此基礎(chǔ)上,本文給出構(gòu)件語義、構(gòu)件模型的相關(guān)定義,以及構(gòu)件的組裝算法。最后以信用評估領(lǐng)域作為應用實例進行特征建模和構(gòu)件組裝等方面的研究。本文的主要研究工作有以下幾方面:
　　 1、本文在特征元模型中,面向構(gòu)件組裝從功能的角度分析特征之間的依賴關(guān)系,總結(jié)歸納了分解依賴、數(shù)據(jù)依賴、通信依賴等若干類功能語義上的依賴關(guān)系。這些特征間的功能依賴可以映射為構(gòu)件的功能語義。
　　 2、本文

4、在特征元模型中引入可信性,從功能性、安全性、高效性等方面細化可信性,得到可信性的指標體系,并給出這些可信因素的權(quán)重和優(yōu)先級,將可信性作為構(gòu)件開發(fā)和組裝的重要指導因素:在構(gòu)件的開發(fā)過程中,指導開發(fā)出滿足可信性要求的構(gòu)件；在構(gòu)件的組裝過程中,參照可信性的要求指導構(gòu)件的選取過程。
　　 3、在特征元模型的基礎(chǔ)上,本文給出構(gòu)件語義的描述。考慮到構(gòu)件組裝是多維匹配的過程,本文從構(gòu)件基本信息、構(gòu)件語義、構(gòu)件接口、構(gòu)件語境等方面對構(gòu)件模型進行