基于問題框架與目標相結合的需求分析技術研究
廣西師范大學 龐柳
本文工作的主要貢獻,可以從三個方面總結如下：(1)本文針對面向目標方法KAOS的局限性,即對上下文分析和描述不充分的缺陷提出了一種結合問題框架的方法來克服該局限性。實現了將問題框架方法中的問題圖與系統目標相匹配,通過對需求本身及相互間關系進行精確的形式化表達來協助提高需求分析過程的完備性和嚴謹性。(2)問題框架方法和基于目標的方法在需求建模分析過程中,通常都是演示靜態的建模過程。本文從動態的角度進行分析和研究,即在兩種方法的背景下通過引入了消息序列圖(MSC)來進行動態建模,并描述和表征需求行為和現實世界交互的過程,使得需求建模和分析過程更具可操作性、可理解性及可跟蹤性。(3)本文在基于問題框架方法上,運用一種從用戶需求模型半自動地轉換成為軟件規約設計模型的變換方法和技術,稱之為問題變換[1]。變換的結果是使得需求直接和機器領域相連接,從而使需求只涉及和約束機器領域。
