模型驱动开发中模型演化语法和语义特性研究  

Study on Syntax and Semantics Properties of Model Evolution in Model Driven Development

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

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

出　　处：《计算机科学》2012年第7期123-126,143,共5页Computer Science

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

摘　　要：模型演化由一系列复杂的变化活动组成,要遵循一定的约束以保持模型的某些特性。以一个实例描述模型演化的过程,并以集值映射为基础,定义模型成分与语义域的映射,通过定义模型演化的语义函数,研究模型演化的语法和语义性质,包括特性保持、一致性、等价性和吸收性等。Model evolulion involves a series of complex change activities and should follow certain constraints to pre- serve 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.

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

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