设计模式通过一种可被复用的方式描述了一些软件设计问题的成功解决方案，从而提高软件生产率和可维护性。目前选取模式是依赖用户实践经验的人工方法。自动选取设计模式需要专门设计的模式库，其中不仅有设计模式的基本信息更重要的是有效地组织一些形式化描述过的设计模式解决方案，适合相应的匹配算法。这些形式化描述过的谓词为各种形式推理、预测和分析软件的特性提供支持。另外，现有的设计模式的存储方法不能有效地支持通过用户需求模型自动选取合适的模式也不能实现通过网络发布已有的模式和用户实例模式入库的功能。 本论文对DisCo语言扩充了设计模式静态结构方面和行为语义方面的描述，提出了一种新的模式形式化描述技术——扩展的DisCo形式化描述语言。在此基础上对设计模式信息建模，提出了基于设计模式自动选取的建模方案，为设计模式建立XML文档，使设计模式半结构化数据的描述规则化。然后讨论了模式库的组织方案和存储机制，着重描述了设计模式在关系数据库中存储的相应的数据实体及其相关关系的组织方案。接着详细介绍了针对模式自动选取的设计模式库的操作方法和系统实现方案，并基于XML，XMLSchemas，XSLT／Xpath，DOM等技术和ASP脚本实现了设计模式系统的三层结构，使用户可以通过HTML页面访问和更新数据库中的设计模式和实例模式。最后，设计了设计模式的谓词匹配选取方案，并在Delphi软件开发环境中实现了模式匹配检索自动选取模式。本设计模式库是设计模式自动匹配的基础和平台，使模式在软件开发过程中有了更进一步的发展。