元建模是构造元模型的过程，用于支持建模语言的开发与演化。元建模工具是辅助这一过程的CASE工具。它不仅用于建立元模型，还应该能够自动生成对应的建模工具代码。目前已有多种元建模工具得到广泛应用，但都存在一些瑕疵，不能满足快速建立各种建模工具的需求。　　 PKUMetaModeler是由北京大学软件工程研究所研发的元建模工具，本文分析了该工具旧版本的优点与不足，提出了一个重构方案。通过对建模工具领域进行领域分析，本文给出了建模工具的特征模型，并以此为基础建立了一个通用建模工具框架，其中的每一个功能模块都被封装成可复用构件，通过Eclipse平台组装起来。该框架刻画了建模工具的共性和变化性，一方面为所有建模工具提供了通用的功能，另一方面也保留了多种粒度的定制接口，满足不同建模工具的特定需求。基于此通用框架，本文给出了元建模工具PKUMetaModeler新版的解决方案。它在保留原有版本完整功能的同时，大幅提高了复用性、灵活性和可用性。　　 进一步地，本文对通用建模工具框架及新版PKUMetaModeler的设计与实现进行了详细阐述，重点讨论了项目管理、模型层管理、模型查看视图、可视化编辑器、属性编辑器、命令堆栈和代码生成这几个主要模块，最后还给出了重构之后PKUMetaModeler的实现效果及应用示例。