1、軟件的規(guī)范說明階段(specification phase)對于軟件整體開發(fā)過程來說是一個非常重要的階段,它可以被認為是需求分析的一部分.用自然語言來說明軟件需求的優(yōu)點是直觀易懂、方便交流,但是會帶來很多弊病,如二義性和不精確等.因此必須研究需求分析和規(guī)范說明技術以獲得一致、完備和準確的軟件規(guī)范說明書.形式化需求分析和軟件規(guī)范說明技術就是在需求獲取的基礎上用建立系統(tǒng)的邏輯模型,從而對復雜實際問題進行分析和抽象、消除錯誤、去粗取精,最終將

2、用戶需求轉化為軟件規(guī)范說明的方法.軟件系統(tǒng)的需求分析和規(guī)范說明階段的多種方法和技術已被提出.這些方法大體上可被分為兩類:形式化方法和非形式化方法.非形式化方法一般是采用圖表的方式來描述系統(tǒng).UML就是一種非形式化的方法,該方法是目前比較流行的軟件工程開發(fā)方法,它對軟件整體開發(fā)過程提供了一套有用的模型.UML方法已被廣泛的應用于軟件開發(fā)過程的各個階段.被證明是一種行之有效的方法.但是它有所有非形式化方法所共有的缺點:表達的不嚴格和不精確,