模型驱动软件开发(Mode-DrivenSoftwareDevelopment，MDSD)是一种以模型作为系统开发活动的主要制品，以领域分析与建模为核心的软件工程方法。为改善传统的软件系统开发方法提供了新的研究思路和方法指引，最终将改变传统的软件系统开发方式。 在模型驱动开发研究中，一直在追求能够实现更好的抽象、自动化、可视化建模与开发，从而进一步提高软件开发的生产力。通过对当前模型驱动开发技术和方法的研究，本文认为特定领域建模(Domian—SpecificModeling，DSM)是为实现这一目标而提出的一种模型驱动开发方法。它能够系统地将领域知识、现有技术、系统框架、系统平台作为一个整体加以综合运用，进一步提升软件开发的抽象层次。但是由于目前特定领域建模语言(Domain—SpecificModelingLanguage，DSMLs)及其支持工具的缺乏，导致这一模型驱动开发方法在实际软件工程项目中难以推广和应用。针对这一问题，本文的研究重点主要集中在特定领域建模(DSM)以及在此模型驱动开发方法体系中元建模语言的设计与实现方面。主要目标是要设计出一种能够支持领域元建模与领域应用建模的基础元建模语言，并在此基础上设计出一种通用集成建模环境，使得开发者可利用此基础语言和建模环境快速地定制和构建出目标领域建模语言，并在通用集成建模环境中完成基于DSM的元建模与建模活动。 论文首先针对DSM方法的特点，结合传统软件工程的组织与管理技术、系统工程方法、软件体系结构等基础理论，提出一种基于DSM方法的通用实施框架，它是在工程应用层次上给出的一种指导性实施框架，其中包含了DSM方法实施的工程化方法，开发人员角色划分、开发架构、开发环境与建模语言等方面。 其次，提出了一种专门针对DSM方法体系和思想而设计的特定领域可视化元建模语言-XMML(XML-BasedMeta—ModelingLanguage)，用于在DSM实施框架中对领域元建模语言和领域应用的建模提供描述语言支持。详细给出了XMML的体系结构，包括XMML的抽象语法、具体语法和语义的设计、形式化定义与模式(Schema)定义。 第三，设计出了一种基于XMML的元建模基础设施，其中包括支持特定领域建模语言设计的元元模型和模型反射接口。详细给出了该元元模型中的建模元素及设计模型。 最后，论文在给出可视化元建模语言XMML的基础上，设计出了一个能够同时支撑特定领域建模语言设计与领域应用模型开发的通用可视化集成建模环境-Archware以及相关的一些应用建模实例。 本文的研究成果推动了特定领域可视化建模语言的应用研究，为下一步在代码生成器和领域应用形式化规约方面的研究奠定了基础，为特定领域建模(DSM)的应用和特定领域建模集成开发环境的研发提供了有意义的方法和手段，具有一定的理论意义和实用价值。