基于UML的形式化規(guī)范說明研究.pdf

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

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