中文摘要：

本项目旨在开展元模型理论和建模方法的研究。针对当前的UML元模型存在的建模元素体系结构层次混乱、定义方式不严格、以及建模概念过度复杂等问题研究相应的解决方案。基本思想是严格地遵守OMG的四层元模型体系结构，排除元模型中实例级的建模元素；以MOF的一个定义良好的子集作为元-元模型，用来定义建模语言的元模型，使二者之间具有严格和紧密层次关系；从理论上和实用性两方面分析和解决UML概念过度复杂的问题，确定一个精练的同时具有足够表达能力的建模元素集合，并给出相应的过程策略和应用示例。对OO建模方法作进一步研究，使之更有效地支持当前的新技术，并支持多种过程模型。在上述研究基础上改进现有的OO建模工具。

结论摘要：

本项目对元模型理论和建模方法进行了研究。针对当前的UML元模型存在的建模元素体系结构层次混乱、定义方式不严格、以及建模概念过度复杂等问题提出相应的解决方案。基本思想是严格地遵守OMG的四层元模型体系结构，排除元模型中实例级的建模元素；以MOF的一个定义良好的子集作为元-元模型，用来定义建模语言的元模型，使二者之间具有严格和紧密层次关系；从理论上和实用性两方面分析和解决UML概念过度复杂的问题，确定一个精练的同时具有足够表达能力的建模元素集合，并给出相应的过程策略和应用示例。对OO建模方法做出改进，使之更有效地支持当前的新技术。在上述研究基础上开发了可支持元模型定义、元模型质量评估和建模工具自动生成的元建模工具集。