The research on formal specification for design patterns acts an important role in reuse of design patterns.

• 设计模式的形式规约描述的研究对于设计模式的广泛重用具有重要意义.