設計模式的形式描述及存儲機制研究.pdf

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

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