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

Authors:
Hartmut Ehrig;Karsten Ehrig;Ulrike Prange;Gabriele Taentzer
Affiliations:
Technical University Berlin;Technical University Berlin;Technical University Berlin;Technical University Berlin
Venue:
VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
Year:
2005

Citing 0
Cited 4

Attributed graph transformation with node type inheritance

Theoretical Computer Science
Defining the abstract syntax of visual languages with advanced graph grammars-A case study based on behavior trees

Journal of Visual Languages and Computing
A categorical framework for the transformation of object-oriented systems: Models and data

Journal of Symbolic Computation
Composition of model transformations: a categorical framework

SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications

Quantified Score

Hi-index	0.01

Visualization

Abstract

Several approaches exist to define a visual language (VL). Among those the meta-modeling approach used todefine 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.