A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation

  • Anthony Anjorin
  • Erhan Leblebici
  • Andy Schürr
  • Gabriele Taentzer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8571)

Abstract

Triple Graph Grammars (TGGs) are a well-known bidirectional model transformation language. All actively developed TGG tools pose restrictions to guarantee efficiency (polynomial runtime), without compromising formal properties. Most tools demand confluence of the TGG, meaning that a choice between applicable rules can be freely made without affecting the final result of a transformation. This is, however, a strong restriction for transformations with inherent degrees of freedom that should not be limited at design time. eMoflon is a TGG tool that supports non-confluent TGGs, allowing different results depending on runtime choices. To guarantee efficiency, nonetheless, a local choice of the next source element to be translated, based on source context dependencies of the rules, must not lead to a dead end, i.e., to a state where no rule is applicable for the currently chosen source element to be translated, and the transformation is not yet complete. Our contribution in this paper is to formalize a corresponding property, referred to as local completeness, using graph constraints. Based on the well-known transformation of constraints to application conditions, we present a static analysis that guarantees dead end-freeness for non-confluent TGGs.

Keywords

Bidirectionality triple graph grammars static analysis 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Anthony Anjorin
    • 1
  • Erhan Leblebici
    • 1
  • Andy Schürr
    • 1
  • Gabriele Taentzer
    • 2
  1. 1.Real-Time Systems LabTechnische Universität DarmstadtGermany
  2. 2.Fachbereich Mathematik und InformatikPhilipps-Universität MarburgGermany

Personalised recommendations