基于UML和Z的需求分析到軟件體系結構的映射研究.pdf

1、需求分析和體系結構設計是軟件生命周期的兩個關鍵活動。需求分析關注如何刻畫問題空間，而體系結構則主要關注如何刻畫解空間。所以，需求分析和軟件體系結構領域的大多數(shù)研究工作都相對獨立?；谲浖w系結構的開發(fā)方法將軟件開發(fā)過程劃分為問題定義、需求分析、體系結構設計、詳細設計和軟件實現(xiàn)五個階段，保持需求分析和軟件體系結構的一致性和可追蹤性一直是軟件工程領域所追求的目標，因此，需求分析到軟件體系結構的映射問題研究將是一個很有價值的課題。 如

2、何將需求分析映射為相應的體系結構，以及如何驗證一個體系結構是否符合期望的系統(tǒng)需求，是基于軟件體系結構的軟件開發(fā)方法所必須研究和解決的核心問題。本文主要從這個問題出發(fā)，首先分析比較了傳統(tǒng)的結構化方法和面向對象方法的分析到設計的映射方案，然后在面向對象的映射方案的基礎上，提出了一種基于UML和Z的需求分析到軟件體系結構的映射方案。UML是一種通用的對象建模語言，可以用來描述軟件體系結構，然而，由于復雜系統(tǒng)的建模往往需要進行嚴格的語義分析，而