B方法和構(gòu)件技術(shù)在信息系統(tǒng)形式化開發(fā)中的應(yīng)用研究.pdf

1、本課題來源于陜西省自然科學(xué)基金項目《信息系統(tǒng)的形式化開發(fā)方法研究》。隨著信息化的發(fā)展,要求不斷運(yùn)用新技術(shù)和新思想解決軟件危機(jī)和提高軟件開發(fā)效率。構(gòu)件技術(shù)和形式化方法是解決軟件危機(jī)和提高軟件開發(fā)效率問題的關(guān)鍵,也是近來軟件界研究的熱點。本文通過把產(chǎn)品清單報表抽象處理為兩個原子構(gòu)件,把問題用形式化語言描述,再采用數(shù)理邏輯的方法來簡化,當(dāng)把用戶的需求都用形式化方法描述后,就得到了信息系統(tǒng)需求的原子構(gòu)件的類體系,既構(gòu)件的方法和屬性;接下來就是在

2、此基礎(chǔ)上進(jìn)行方法聚類和功能聚類,從而得到系統(tǒng)需求的原子構(gòu)件集。這就是本文提出的一種基于構(gòu)件的形式化需求分析方法。本文在總結(jié)和分析其他形式化開發(fā)方法的基礎(chǔ)上,提出了一種基于B方法的軟件形式化開發(fā)方法,該方法是:把非形式化的規(guī)格通過B方法轉(zhuǎn)化為形式化規(guī)格,再用B方法中的精化進(jìn)行進(jìn)一步的精化,通過精化后再按照構(gòu)件的思想用XML把B規(guī)格轉(zhuǎn)化為構(gòu)件,進(jìn)行測試后可通過XSLT轉(zhuǎn)化為構(gòu)件的接口或偽代碼,從而為軟件的構(gòu)件化開發(fā)打下基礎(chǔ)。本文結(jié)合構(gòu)件技術(shù)