Bidirectional model transformation with precedence triple graph grammars

  • Authors:
  • Marius Lauder;Anthony Anjorin;Gergely Varró;Andy Schürr

  • Affiliations:
  • Real-Time Systems Lab, Technische Universität Darmstadt, Darmstadt, Germany;Real-Time Systems Lab, Technische Universität Darmstadt, Darmstadt, Germany;Real-Time Systems Lab, Technische Universität Darmstadt, Darmstadt, Germany;Real-Time Systems Lab, Technische Universität Darmstadt, Darmstadt, Germany

  • Venue:
  • ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Triple Graph Grammars (TGGs) are a rule-based technique with a formal background for specifying bidirectional model transformation. In practical scenarios, the unidirectional rules needed for the forward and backward transformations are automatically derived from the TGG rules in the specification, and the overall transformation process is governed by a control algorithm. Current implementations either have a worst case exponential runtime complexity, based on the number of elements to be processed, or pose such strong restrictions on the class of supported TGGs that practical real-world applications become infeasible. This paper, therefore, introduces a new class of TGGs together with a control algorithm that drops a number of practice-relevant restrictions on TGG rules and still has a polynomial runtime complexity.