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

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

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