Ensuring consistency within distributed graph transformation systems

  • Authors:
  • Ulrike Ranger;Thorsten Hermes

  • Affiliations:
  • RWTH Aachen University, Department of Computer Science, Software Engineering, Aachen, Germany;RWTH Aachen University, Department of Computer Science, Software Engineering, Aachen, Germany

  • Venue:
  • FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Graph transformation systems can be used for modeling the structure and the behavior of a software system in a visual way. In our project, we extend existing graph transformation systems to model and execute distributed systems. One challenge in this context is the simultaneous and correct modification of the local runtime graphs of the participating applications by visual distributed graph transformations. As the execution of these transformations may cause inconsistencies in the local runtime graphs, we present an approach to avoid inconsistencies: A runtime mechanism translates invalid graph transformations into valid transformations. This translation is based on predefined rules describing the substitution of invalid transformation parts. Thus, new graph transformations are dynamically built at runtime. Furthermore, the runtime mechanism controls access within a distributed system.