面向業(yè)務(wù)過(guò)程的需求分析模型及其自動(dòng)化研究.pdf

1、在分析軟件發(fā)展中存在的問(wèn)題及其產(chǎn)生的原因的基礎(chǔ)上,總結(jié)了國(guó)內(nèi)外學(xué)者在需求工程方面的最新研究成果及其發(fā)展趨勢(shì),闡述了軟件需求的任務(wù)、層次、及其與其它過(guò)程的關(guān)系,同時(shí)對(duì)需求工程階段的主要結(jié)果—軟件需求規(guī)格說(shuō)明文檔SRS(Software Requirements Specifications )進(jìn)行剖析,分析了現(xiàn)有編寫(xiě)SRS的幾種語(yǔ)言的優(yōu)缺點(diǎn),提出了編寫(xiě)高質(zhì)量SRS的八大基本準(zhǔn)則,并給出了SRS的形式化結(jié)構(gòu)描述.借助于集合論和圖論工具,提出

2、了一種面向業(yè)務(wù)過(guò)程的需求分析模型BORA(Business-Oriented Requirements Analysis).針對(duì)BORA模型,根據(jù)有向圖基本理論,定義了描述業(yè)務(wù)流過(guò)程模型時(shí)所使用的語(yǔ)言符號(hào)及其形式化定義,建立了一套業(yè)務(wù)過(guò)程形式化語(yǔ)義體系,并以實(shí)例詳細(xì)介紹了BORA模型的應(yīng)用.提出了一個(gè)SRS自動(dòng)生成系統(tǒng)SAGS(SRS Automated Generation System)實(shí)現(xiàn)框架,并建立了一套系統(tǒng)原型.借助于模糊數(shù)學(xué)