2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)
Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation
Dallas, Texas
September 20-September 24
ISBN: 0-7695-2443-5
Several approaches exist to define a visual language (VL). Among those the meta-modeling approach used to define the Unified Modeling Language (UML), and the graph transformation approach are very popular. Especially the combination of both, using meta-modeling to define the syntax of a VL and graph transformation for specifying model transformations has been considered conceptually and explored in a number of applications. A formal integration of both approaches has just been started by integrating classical algebraic graph grammars with a node type inheritance concept. In this paper, the integration of inheritance is extending 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.
Citation:
Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer, "Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation," vlhcc, pp.71-78, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), 2005