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

摘要：

模型演化由一系列复杂的变化活动组成,要遵循一定的约束以保持模型的某些特性.以一个实例描述模型演化的过程,并以集值映射为基础,定义模型成分与语义域的映射,通过定义模型演化的语义函数,研究模型演化的语法和语义性质,包括特性保持、一致性、等价性和吸收性等.

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

所属期刊栏目：39

分类号：TP311.5(计算技术、计算机技术)

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

在线出版日期：2012-12-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：123-126,143