Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation

Several approaches exist to define a visual language (VL). Among those the meta-modeling approach used to de-fine the Unified Modeling Language (UML), and the graph transformation approach are very popular. Especially the combination of both, using meta-modeling to define the syn-tax of a VL and graph transformation for specifying model transformations has been considered conceptually and ex-plored in a number of applications. A formal integration of both approaches has just been started by integrating classi-cal algebraic graph grammars with a node type inheritance concept. In this paper, the integration of inheritance is ex-tending to attributed graph transformation. More precisely, we define attributed type graphs with inheritance leading to a formal integration of inheritance with typed attributed graph transformation.