University of Twente Student Theses


Type inference for graph transformation systems

Es, Frank J. van (2008) Type inference for graph transformation systems.

[img] PDF
Abstract:Graphs have proved to be a powerful formalism to represent structures in models and meta-models of software systems. In this context, dynamic changes to graphs are described by rulebased graph transformations and the use of type graphs to classify graph structures has emerged as a valuable principle. While most studies towards the integration of type graphs in graph transformation systems rely on the existence of manually created type graphs, this project aims at automatically computing these type graphs for graph tranformation systems. As a logical extension, we also consider type graphs with inheritance and verify our findings with an implementation of a type inference algorithm into the Groove tool set. The main results of this study show that automatic type graph reconstruction in graph transformation systems is possible and offers valuable insights to graph typings.
Item Type:Essay (Master)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Electrical Engineering MSc (60353)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page