何　堅　賈曉琳　覃　征　王向華

摘要：引入軟件體系結構技術，將軟件分析設計過程細分為需求分析、體系結構設計、系統(tǒng)設計3個階段，并提出了基于體系結構的軟件分析設計過程(SADPBA)模型，該模型是一種采用迭代增量方法將功能設計空間映射到結構設計空間，再由結構設計空間映射到系統(tǒng)設計空間的過程．應用函數(shù)理論對模型進行了嚴格的數(shù)學定義和形式化描述，確保設計結果滿足完備性、一致性和正確可追蹤要求．在擴展設計空間建立了需求規(guī)范與體系結構、系統(tǒng)設計間的可追蹤機制，并建立了基于體系結構的軟件分析設計開發(fā)環(huán)境模型．與傳統(tǒng)軟件分析設計過程相比，SADPBA模型有嚴格的理論基礎和工程原則，解決了軟件系統(tǒng)從需求到實現(xiàn)的平緩過渡問題，提高了軟件分析設計的質量和效率．關鍵詞：軟件過程；軟件體系結構；設計空間中圖分類號：TP311．52文獻標識碼：A文章編號：0253—987X(2004)06-0591—04