模型驱动环境下模型演化的形式化研究

摘要：

在模型驱动开发中,模型演化由一系列复杂的变化活动组成,模型的变化可以分为直接施加在模型元素上的增加、删除、更改等基本演化操作以及这些基本演化操作的组合.基于模型驱动体系结构,给出了模型和模型变化的形式化定义.模型的变化以模型差异来描述,在模型差异的基础上,研究了模型的合并、逆和组合运算.

关键词：模型驱动体系结构、模型演化、模型差异、元模型

所属期刊栏目：39

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金60774095;广东省自然科学基金9451009001002777

在线出版日期：2012-07-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：116-119,150