The dissertation extends DisCo formal description language to precisely describe design pattern.

• 本文扩展了DisCo形式化描述语言，使其能很好地描述设计模式。