Attributed graph transformation with node type inheritance

  • Authors:

  • Juan de Lara;Roswitha Bardohl;Hartmut Ehrig;Karsten Ehrig;Ulrike Prange;Gabriele Taentzer

  • Affiliations:

  • Escuela Politécnica Superior, Ingeniería Informática, Universidad Autónoma de Madrid, Madrid, Spain;International Conference and Research Centre for Computer Science, Schloss Dagstuhl, Dagstuhl, Germany;Computer Science Department, Technische Universitat Berlin, Berlin, Germany;Computer Science Department, University of Leicester, Leicester, United Kingdom;Computer Science Department, Technische Universitat Berlin, Berlin, Germany;Computer Science Department, Technische Universitat Berlin, Berlin, Germany

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2007

Quantified Score

Hi-index 5.23

Visualization

Abstract

The aim of this paper is to integrate typed attributed graph transformation with node type inheritance. Borrowing concepts from object oriented systems, the main idea is to enrich the attributed type graph with an inheritance relation and a set of abstract nodes. In this way, a node type inherits the attributes and edges of all its ancestors. Based on these concepts, it is possible to define abstract productions, containing abstract nodes. These productions are equivalent to a number of concrete productions, resulting from the substitution of the abstract node types by the node types in their inheritance clan. Therefore, productions become more compact and suitable for their use in combination with meta-modelling. The main results of this paper show that attributed graph transformation with node type inheritance is fully compatible with the existing concept of typed attributed graph transformation.