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

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

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

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

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