|
计算机科学 2012
Study on Syntax and Semantics Properties of Model Evolution in Model Driven Development
|
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.