Toward Bidirectionalization of ATL with GRoundTram [chapter]

Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
2011 Lecture Notes in Computer Science  
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 wellbehavedness properties. Bidirectional
more » ... el 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.
doi:10.1007/978-3-642-21732-6_10 fatcat:pufzh3ioyjcrtm2rsfcpyfgumu