On the Group Theory based Model Transform Definition

摘要：

　　Although standards and tools of model transformation have gradually improved in recent years, a theoretical system about model transformation from the integrity perspective has not been put forward, which is important for building the model transformation process strategy and determining the feasibility and reversibility of a model transformation.This paper presents a model transform theory framework based on the group theory, which formally map model transform into a kind of Group that is made up with the abstract graphs and study the feasibility and reversibility of a model transformation on this base.Furthermore, the model transform process can be map into a recursive procedure of mathematical operation on subgroups, which can not only be a process strategy for model transformation but also provide a base for automatic generation method of model transformation.

关键词： Group Theory Model transformation Process Strategy Determination

作者: Yanbing Jiang Chunxiao Xing

作者单位: School of Software and Microelectronics Peking University,Beijing, China Research Institute of Information Technology Tsinghua University Beijing, China

会议类型: 国际会议

会议名称: The 12th Web Information System and Application Conference第十二届全国Web信息系统及其应用学术会议(WISA2015)、全国第十次语义Web 与本体论学术研讨会(SWON2015)、全国第九次电子政务技术及应用学术研讨会(EGTA2015)

会议地点: 济南

会议语种:英文

页码: 340-345

在线出版日期: 2015-09-11（万方平台首次上网日期，不代表论文的发表时间）