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

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

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