随着软件行业的发展，软件的复杂程度不断提高，人们需要一种方法来总结和重用良好的软件设计。设计模式是针对特定场景下的特定问题的可重复、可表达的解决方案，是对成功设计经验和设计思想的总结。它描述了对于设计问题适用的良好的解决方案和这些解决方案的优缺点，使人们的软件设计有更好的可扩展性与可维护性。在初期，设计模式的描述方式都是UML图和自然语言的组合，这些描述实质上是应用设计模式的具体的实例，而并非设计模式的实质。设计模式的描述的模糊性和歧义性，使得设计模式研究的发展受到很大的阻碍，例如使得在软件设计中引入设计模式变得复杂。 软件模式的不精确描述使得设计模式的验证问题变得十分重要。目前的模式验证方法要不因为注重直观性，集中于模型结构检验而忽略了语义检验，要不就为了实现语义检验而陷入复杂的数学方法中，导致方法难以使用。针对已有方法，特别是参数化协作方法的不足之处，本文提出一种基于UML的设计模式验证方法，从模型结构和语义约束两方面检验具体模型中模式应用的正确性。首先为设计模式本身建立本文所提出的反映其实质的静态角色模型，在此模型基础上用OCL，添加该模式的约束，静态角色模型和OCL约束组成该模式的模板。再通过利用本文所提出的方法检查一个实例模型是否能够正确地映射到模板，来验证该实例模型是否正确地使用了该模式。另外，本文开发了原型软件工具支持所提出方法，最后通过一个详细实例研究来证明本文方法的有效性和准确、通用等优势。 本文的方法使用UML对设计模式本身进行建模，保留了UML直观的优点，而使用OCL进行语义约束和语义检验，使得方法能够通用，不必陷入复杂的数学方法。而且本文的方法从模型结构和语义两个方面进行验证，克服了一般方法只集中于一个方面的不足，具有精确的优点。