On the Group Theory Based Model Transform Definition

Abstract

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.