設(shè)計(jì)模式的存儲(chǔ)機(jī)制研究.pdf

1、設(shè)計(jì)模式通過(guò)一種可被復(fù)用的方式描述了一些軟件設(shè)計(jì)問(wèn)題的成功解決方案,從而提高軟件生產(chǎn)率和可維護(hù)性.目前選取模式是依賴用戶實(shí)踐經(jīng)驗(yàn)的人工方法.自動(dòng)選取設(shè)計(jì)模式需要專門設(shè)計(jì)的模式庫(kù),其中不僅有設(shè)計(jì)模式的基本信息更重要的是有效地組織一些形式化描述過(guò)的設(shè)計(jì)模式解決方案,適合相應(yīng)的匹配算法.這些形式化描述過(guò)的謂詞為各種形式推理、預(yù)測(cè)和分析軟件的特性提供支持.另外,現(xiàn)有的設(shè)計(jì)模式的存儲(chǔ)方法不能有效地支持通過(guò)用戶需求模型自動(dòng)選取合適的模式也不能實(shí)現(xiàn)通

2、過(guò)網(wǎng)絡(luò)發(fā)布已有的模式和用戶實(shí)例模式入庫(kù)的功能.該論文對(duì)DisCo語(yǔ)言擴(kuò)充了設(shè)計(jì)模式靜態(tài)結(jié)構(gòu)方面和行為語(yǔ)義方面的描述,提出了一種新的模式形式化描述技術(shù)——擴(kuò)展的DisCo形式化描述語(yǔ)言.在此基礎(chǔ)上對(duì)設(shè)計(jì)模式信息建模,提出了基于設(shè)計(jì)模式自動(dòng)選取的建模方案,為設(shè)計(jì)模式建立XML文檔,使設(shè)計(jì)模式半結(jié)構(gòu)化數(shù)據(jù)的描述規(guī)則化.然后討論了模式庫(kù)的組織方案和存儲(chǔ)機(jī)制,著重描述了設(shè)計(jì)模式在關(guān)系數(shù)據(jù)庫(kù)中存儲(chǔ)的相應(yīng)的數(shù)據(jù)實(shí)體及其相關(guān)關(guān)系的組織方案.接著詳細(xì)介紹