早期需求工程中的形式化建模與模型檢驗(yàn)應(yīng)用研究.pdf

1、軟件需求分析是整個(gè)軟件開(kāi)發(fā)過(guò)程中極為重要的環(huán)節(jié)，它不僅僅是技術(shù)問(wèn)題，也涉及了組織、管理、商務(wù)、社會(huì)等問(wèn)題。在早期的需求分析過(guò)程中，描述建立了軟件系統(tǒng)的動(dòng)機(jī)、意向和原則，使得開(kāi)發(fā)能更好地理解組織關(guān)系和活動(dòng)者的依賴關(guān)系，明確各種決策的原則；解決意向系統(tǒng)如何滿足組織的目標(biāo)，為什么需要這樣的系統(tǒng)，有什么替代方法可以考慮，替代方法對(duì)用戶的影響，用戶的興趣如何滿足等。早期需求的另一個(gè)重要特性就是獲取系統(tǒng)的非功能需求(即軟目標(biāo))，即質(zhì)量屬性，如精確性

2、、性能、安全性、可調(diào)整性等。所以在早期需求開(kāi)發(fā)中如能發(fā)現(xiàn)系統(tǒng)的潛在問(wèn)題將比在后期開(kāi)發(fā)中花費(fèi)在解決所暴露的問(wèn)題節(jié)省數(shù)百倍的開(kāi)銷。 我們針對(duì)網(wǎng)上教學(xué)系統(tǒng)的特點(diǎn)對(duì)其進(jìn)行早期的需求分析。提取了系統(tǒng)主要角色細(xì)化分析了他們的意圖、任務(wù)、資源依賴。然后用圖形化的方法對(duì)我們的分析進(jìn)行了呈現(xiàn)，建立了系統(tǒng)的事務(wù)模型。通過(guò)程序的自動(dòng)翻譯圖形化表示的記錄文件生成了相對(duì)應(yīng)的模型形式化表示的語(yǔ)言框架代碼描述。經(jīng)過(guò)手工加入更多的模態(tài)邏輯指定后形成了系統(tǒng)完整的