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

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

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