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

Study on the Formalization of Model Evolution with Model Driven Architecture

作　　者：孙为军[1,2] 李师贤[1] 严玉清[1,3] 

机构地区：[1]中山大学计算机科学系,广州510275 [2]广东工业大学计算机学院,广州510006 [3]广东外语外贸大学思科信息学院,广州510006

出　　处：《计算机科学》2012年第6期116-119,150,共5页Computer Science

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

摘　　要：在模型驱动开发中,模型演化由一系列复杂的变化活动组成,模型的变化可以分为直接施加在模型元素上的增加、删除、更改等基本演化操作以及这些基本演化操作的组合。基于模型驱动体系结构,给出了模型和模型变化的形式化定义。模型的变化以模型差异来描述,在模型差异的基础上,研究了模型的合并、逆和组合运算。Model evolution involves a series of complex change activities.Based on model driven architecture,the relevant model evolution conceptions were formally defined to accurately describe model and model changes.In MDE,model changes can be classified as the primitive operations and composition operations.The primitive operations are identified as addition,deletion and modification operation and can be imposed on the model element individually.Merge and union operations are composition operations based on simple operations.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]