关键词: 模型驱动体系结构，模型演化，特性保持，一致性

Abstract: Model evolution involves a series of complex change activities and should follow certain constraints to preserve certain properties of models. An illustration of model evolution was showed. Based on the set-valued mapping, the mapping from model elements to semantics domain was defined. Syntax and semantics properties of model evolution such as property preserving, consistency, absorbing and equivalence were studied by defining the semantic function.

Key words: Model driven architecture, Model evolution, Property preservation, Consistency