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

2、件概念的語法和語義，建立組件形式化模型；通過定義組件對象和操作的接口和屬性，形成組件形式化規(guī)范。通過應(yīng)用實例，驗證了組件形式化模型使用外部連接器和集成操作器連接組件主體構(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)方法，