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

Study on the Formalization of Model Evolution with Model Driven Architecture

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

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.