摘要：由于当今软件系统的复杂性，模型驱动的软件开发中需要的建模语言和转换定义语言往往是多种多样的．本文阐述了对一个可满足这种需要的元建模平台的研制．其中着重论述了对建模语言的元模型和表示法进行建模的技术，建模语言质量保证机制，以及针对所建立的建模语言和转换定义语言提供自动生成相应工具的设施．

关键词：元建模 模型驱动开发 平台 

单位：北京大学信息科学技术学院软件所; 高可信软件技术教育部重点实验室; 北京100871