基于構(gòu)件的軟件形式化開發(fā)方法研究與應(yīng)用.pdf

1、如何能快速高質(zhì)量地開發(fā)出滿足企業(yè)需求的信息系統(tǒng)軟件,且使所開發(fā)的系統(tǒng)能夠適應(yīng)企業(yè)組織機(jī)構(gòu)與業(yè)務(wù)流程的變化,具有良好的柔性已成為當(dāng)今信息系統(tǒng)開發(fā)所面臨的一個(gè)重要課題。 本文針對現(xiàn)有信息系統(tǒng)開發(fā)方法的不足,在對構(gòu)件復(fù)用技術(shù)和XML技術(shù)深入研究的基礎(chǔ)上,結(jié)合XML與構(gòu)件技術(shù)這兩種軟件開發(fā)熱門技術(shù),并參考形式化開發(fā)方法,提出了基于構(gòu)件的信息系統(tǒng)形式化開發(fā)方法模型。針對軟件開發(fā)中需求分析不徹底,容易出現(xiàn)二義性等問題,提出了形式化需求分析的

2、方法、步驟,可有效消除需求分析的二義性和不一致性；針對目前信息系統(tǒng)適應(yīng)性不強(qiáng)的缺點(diǎn),提出了一種基于構(gòu)件和XML的構(gòu)件庫管理框架和信息系統(tǒng)集成平臺,該框架能實(shí)現(xiàn)基于構(gòu)件的信息系統(tǒng)的插座式組裝,在該框架下構(gòu)建的信息系統(tǒng)具有很強(qiáng)的靈活性和伸縮性,能適應(yīng)企業(yè)機(jī)構(gòu)的調(diào)整并方便的進(jìn)行重組；針對如何提高構(gòu)件檢索的效率這一問題,提出了一種基于案例推理的構(gòu)件檢索方法,并針對基于樹匹配的構(gòu)件檢索思想,提出了路徑索引技術(shù),并將之無縫結(jié)合到了基于文本的倒排索引

3、文檔,以實(shí)現(xiàn)XML文檔的內(nèi)容和結(jié)構(gòu)的雙重索引,可大幅度提高查詢效率：針對構(gòu)件查詢中的模式匹配和壓縮文檔的查詢問題,提出了將String B-tree用于解決參數(shù)化樣式匹配問題以及基于BW轉(zhuǎn)換的高效搜索算法,較好的解決了參數(shù)匹配和壓縮構(gòu)件庫中構(gòu)件的檢索問題；此外還提出了信息系統(tǒng)的動(dòng)態(tài)菜單集成和基于角色的用戶授權(quán)方法。 本文以某企業(yè)電力營銷信息系統(tǒng)為例,對這種開發(fā)模型進(jìn)行了實(shí)踐,初步建立起了一個(gè)電力營銷信息系統(tǒng)動(dòng)態(tài)集成框架平臺,驗(yàn)證