Toward bidirectionalization of ATL with GRoundTram

  • Authors:

  • Isao Sasano;Zhenjiang Hu;Soichiro Hidaka;Kazuhiro Inaba;Hiroyuki Kato;Keisuke Nakano

  • Affiliations:

  • Shibaura Institute of Technology, Japan;National Institute of Informatics, Japan;National Institute of Informatics, Japan;National Institute of Informatics, Japan;National Institute of Informatics, Japan;The University of Electro-Communications, Japan

  • Venue:
  • ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

ATL is a language for describing model transformations currently in uni-direction. In our previous work we have shown that transformations of graph structures given in some form can be bidirectionalized and have implemented a system called GRoundTram system for bidirectional graph transformations. We say a transformation t is bidirectionalized when we obtain a backward transformation t′ so that the pair (t, t′) of transformations satisfies certain well-behavedness properties. Bidirectional model transformation is used to reflect the changes in the target model back to the source model, and vice versa. In this paper, as a first step toward realizing practical bidirectional model transformations, we present bidirectionalization of core part of the ATL by encoding it in the UnQL language, which is used as a transformation language in the GRound-Tram system. We give the algorithm for the encoding, based on which we have implemented the system for bidirectionalizing the core ATL in OCaml language.