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

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

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

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