论文部分内容阅读
设计模式重用方法的研究是一项十分重要的基础性和创新性的研究。它主要包括新应用需求和设计模式的形式化描述、在模式库中找出一组包含新应用领域的模式的可重用的设计、重用找出的设计模式和定制模式的验证入库等方面的研究，其中形式化描述是基础，模式的可重用设计的选取是此方法的核心。 本文扩展了DisCo形式化描述语言，使其能很好地描述设计模式。并提出一种形式化模式库检索方法：基于谓词匹配的设计模式选取算法，以拓展对这一领域的探索，推动设计模式在软件设计中的重用。 本论文的工作主要包括以下几个方面： ● 对设计模式的本质和特征进行研究； ● 深入研究和分析DisCo形式化描述语言的背景和特点，研究将其应用于设计模式的形式化描述的可行性和必要性，并对其进行扩展，使其适用于设计模式的描述。 ● 深入研究软件设计过程中设计模式的重用，并提出一种设计模式重用方法。 ● 深入研究模式库的检索方法，给出一种形式化的模式库检索方法：基于谓词匹配的设计模式选取算法，使设计者能快速方便地重用设计模式。 ● 用实际的开发实例，在已有的模式工具上验证设计模式重用方法的有效性。