Evaluating Formal Requirement Method and Blurring the Line between Specification and Design - A Case Study of Redesign and Analysis of School Administration System

Abstract

軟體工程學界在十多年來提出了許多需求分析的方法論，其中又以A. Dardenne提出的KAOS[4]最為知名。KAOS裡提出了一套正規化語言可以用來作為需求的描述與分析。本論文利用實做「宜蘭縣國小校務管理系統分析規劃研究」計畫案的機會，將此方法論嘗試運用到此計畫案上，以驗證此方法論是否具備實用性。在實際應用的過程中，我們發現了正規化語言的一些缺點。我們認為這些缺點使得其實用性不如預期。 另外本篇論文還會提到在分析宜蘭縣國小校務管理系統的過程中，我們發現到一些過去曾被紀錄的Design Pattern，在運用到資料庫的設計時可以增加一些新的觀點。我們重新審視這些 Design Patterns ，並賦予結合資料庫時的新意。 最後，在這篇論文中還描述了現有的宜蘭縣國小校務管理系統採用了PHP來進行系統的開發，並且以瀏覽器作為使用者介面，此種設計造成了什麼樣的問題，以及這些問題在經過分析規劃之後，我們將會描述如何用web service來解決這些問題並重新設計整個系統架構。