面向軟件復(fù)用的組件形式化開發(fā).pdf

1、組件具有標(biāo)準(zhǔn)化的接口和平臺(tái)獨(dú)立性，可以互操作，支持軟件復(fù)用，能有效提高軟件開發(fā)和使用效率。論文針對(duì)目前軟件開發(fā)中低效重復(fù)性工作過(guò)多的現(xiàn)狀，根據(jù)軟件的形式化規(guī)范對(duì)軟件組件從概念上進(jìn)行系統(tǒng)地分類，研究面向軟件復(fù)用的組件最優(yōu)化組合問題，給出組件開發(fā)的軟件設(shè)計(jì)架構(gòu)，并通過(guò)實(shí)例驗(yàn)證組件形式化開發(fā)的可行性和正確性。具體內(nèi)容包括：
　　 1．組件形式化模型與形式規(guī)范。將組件概念系統(tǒng)地分為外部連接器、組件主體和集成操作器，利用B語(yǔ)言形式化描述組

2、件概念的語(yǔ)法和語(yǔ)義，建立組件形式化模型；通過(guò)定義組件對(duì)象和操作的接口和屬性，形成組件形式化規(guī)范。通過(guò)應(yīng)用實(shí)例，驗(yàn)證了組件形式化模型使用外部連接器和集成操作器連接組件主體構(gòu)建軟件系統(tǒng)的可行性；
　　 2．基于多屬性效用函數(shù)的組件優(yōu)化組合?；诮M件的軟件開發(fā)中，組件組合需考慮多種不具可比性的因素，引入多屬性效用函數(shù)，將不可公度的目標(biāo)函數(shù)或準(zhǔn)則轉(zhuǎn)化為單一目標(biāo)函數(shù)，結(jié)合AHP(Analytic Hierarchy Process)方法，