基于特征模型的構件組裝研究.pdf

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

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

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

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