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