随着计算机科学技术的飞速发展,软件系统越来越复杂,软件开发方法也随之发展。软件开发的新技术、新方法不断涌现,这些新技术和新方法在给人们带来利益的同时,又要人们忍受前期投资失去价值的现实,并且新技术本身也在不断更新变化中,不能保证完全做到向后兼容。基于MDA的软件开发方法应运而生,它使用建模语言代替编程语言来进行软件开发,将软件系统的模型分离为平台无关模型和平台相关模型,通过模型映射规则将它们统一起来。但是由于目前的模型语言(如UML、MOF)没有精确的语义定义,所以其相关应用(如模型转换)无法得以精确的描述。本文提出了一种构造可执行元建模语言的方法。以OMG的MOF元模型为基础,对EMOF模型进行简单扩展形成抽象语法模型,采用平台无关的方式定义语义模型,并且给出了可执行元建模语言中的元核语言mKernel、元约束语言mOCL、元文法语言mBNF的具体构造与实现方法。同时将可执行元建模语言与MDA思想结合起来,提出了基于可执行元建模语言的领域建模方法。该方法通过把领域模型(元模型和模型)表示成可执行模型,可以在领域层次测试模型的正确性,而不用考虑平台相关的问题,因此领域模型永远不会因为技术的变化而过时,从而做到了可不断发展和可复用,同时解决了UML建模方法中建模阶段和编码阶段相互独立的问题,使得设计阶段和开发阶段融为一体,设计的过程就是开发的过程,并提供统一的元模型对元数据进行管理和操作。最后本文提供了一种基于可执行元建模语言的MDA的软件开发框架,该框架中的模型管理工具实现了模型的建立与转换的功能;可视化领域框架工具可以根据领域需求构建领域框架;采用构件组合技术将模型转换之后形成的构件与领域框架组合,生成具体应用程序。该框架可以根据需求及业务的变化快速开发出应用系统,能够解决或缓解目前软件开发者面临的复杂性、多样性和易变性等难题,提高软件生产效率。