【摘要】 设计模式的形式规约描述的研究对于设计模式的广泛重用具有重要意义.规约模式就是用某种形式化语言表示的设计模式.文章从模式定义、重用机制、可用工具、方法可用性等角度分析比较了几种主要的设计模式形式化方法.最后讨论了当前存在的问题及其发展趋势。更多还原

【Abstract】 The research on formal specification for design patterns acts an important role in reuse of design patterns.Specification patterns are design patterns that are expressed in a formal specification language.This paper analyses and compares several main methods of formal specification for design patterns,from points of view of pattern definition,reuse mechanisms,available tools and usability.And finally,the problems of existed methods and the future directions on the area are discussed.更多还原