Graph Rewriters as Components

title:Graph Rewriters as Components
keywords:
topics:Graphs
contact:prof.dr.ir. A. Rensink
to be started:any time


Description

This assignment involves the design and implementation of a (communication and programming) interface for the graph transformation engine GROOVE, an FMT-based open source tool written in Java.

Graph transformation systems can be seen as a particular kind of labelled transition systems, and so they can be used as models in, for instance, a tool chain with other FMT-based tools such as JTorX and LTSmin, or as stand-alone components in other contexts. This requires, however, that such a model or component can communicate with other parties using some well-defined interface, either as an API or through a message-based protocol.

In this assignment, the aim is to design and implement such an interface. Steps to be taken are:

  • Get acquainted with GROOVE
  • Study existing similar interfaces, such as the ones employed in JTorX and LTSmin
  • Design an appropriate interface for GROOVE, and implement it as part of the tool
  • Test the resulting system by designing and carrying out experiments, in conjunction with LTSmin and as a stand-alone component