To study and analyze the background and characteristic of Disco thoroughly, find out the necessity and feasibility of applying DisCo in design pattern formal description, extend DisCo to make it useful for design pattern description.

• 深入研究和分析DisCo形式化描述语言的背景和特点，研究将其应用于设计模式的形式化描述的可行性和必要性，并对其进行扩展，使其适用于设计模式的描述。