TY - GEN
T1 - Toward bidirectionalization of ATL with GRoundTram
AU - Sasano, Isao
AU - Hu, Zhenjiang
AU - Hidaka, Soichiro
AU - Inaba, Kazuhiro
AU - Kato, Hiroyuki
AU - Nakano, Keisuke
N1 - Funding Information:
We would like to thank Massimo Tisi and Frederic Jouault for valuable discussions and for providing us simple examples of ATL rules. The research was supported in part by the Grand-Challenging Project on “Linguistic Foundation for Bidirectional Model Transformation” from the National Institute of Informatics, Grant-in-Aid for Scientific Research (B) No. 22300012, Grant-in-Aid for Scientific Research (C) No. 20500043, and Encouragement of Young Scientists (B) of the Grant-in-Aid for Scientific Research No. 20700035.
PY - 2011
Y1 - 2011
N2 - 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 GRoundTram system. We give the algorithm for the encoding, based on which we have implemented the system for bidirectionalizing the core ATL in OCaml language.
AB - 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 GRoundTram system. We give the algorithm for the encoding, based on which we have implemented the system for bidirectionalizing the core ATL in OCaml language.
UR - http://www.scopus.com/inward/record.url?scp=79960244867&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79960244867&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-21732-6_10
DO - 10.1007/978-3-642-21732-6_10
M3 - Conference contribution
AN - SCOPUS:79960244867
SN - 9783642217319
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 138
EP - 151
BT - Theory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Proceedings
T2 - 4th International Conference on Theory and Practice of Model Transformations, ICMT 2011
Y2 - 27 June 2011 through 28 June 2011
ER -