摘要： 形式化是设计模式发展的必然要求和直接推动力。该文对主要几种方法进行了分析和比较,分别从模式语言、理论基础、语言元素、工具支持等角度来论述。最后,总结了存在的问题,在此基础上预言了未来研究的发展方向。

关键词: 设计模式, 形式化, 软件工程

Abstract: Formalization is necessary requirement and directive impetus for design patterns. This paper has an analysis and comparison for main methods from different points of view including patterns language, theory foundation, language element and tool support. Finally, it predicts a future direction of this research based on the problem of existed methods.

中图分类号: 

• TP311.12