模型驱动工程(Model Driven Engineering,MDE)是一种现代软件工程方法,它将模型作为开发过程和模型转换的主要工件。在模型驱动工程中,元模型是用来表达模型而定义概念的模型,模型可以表示更高抽象级别的系统。与任何软件工件类似,元模型并非一直不变的,它也会随着时间的推移不断地发生演化。尽管已经提出了多种用于处理这种共同演化的方法,但仍存在以下问题:(1)怎样生成共同演化中完整的元模型约束条件。(2)怎样验证在模型的演化过程中与演化后的元模型之间的一致性。为了解决目前存在的问题,本文的主要工作如下:针对怎样生成共同演化中完整的元模型约束条件的问题,按照实例化的思想,本文对现有的一致性变更传播的共同演化方法进行了改进,提出了一种基于实例化的共同演化框架。首先,研究了模型驱动的开发思想以及相关的模型驱动架构(Model Driven Architecture,MDA)标准。其次,研究了元模型和模型共同演化中模型的表示方法以及模型与元模型之间的关系。在现有的方法上新增了元元模型层,通过元元模型实例化为元模型,来生成元模型的约束条件。针对怎样验证在模型的演化过程中与演化后的元模型之间的一致性的问题,提出了一种验证元模型和模型一致性的方法。根据元对象机制(Meta Object Facility,MOF)中四层结构,使用描述逻辑知识库逐层表示元元模型、元模型、模型及实例化过程中包含的约束,采用元模型是否能实例化为模型的思路来验证模型和元模型一致性。针对典型的应用场景,使用基于实例化的共同演化框架设计了一个实施方案。通过分析模型元素所违反元模型中的约束条件,根据约束条件选择模型元素的变更,在模型变更中使用验证模型和元模型一致性的方法,得到所有满足元模型约束条件的模型变更备选方案。再结合环境的约束,得到满足元模型和环境约束条件的模型备选方案,最后由人工选择模型变更方案,得到满足需求的模型。