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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-21732-6_10 | ICMT |
Keywords | Field | DocType |
source model,ocaml language,bidirectional model transformation,transformation language,target model,practical bidirectional model transformation,unql language,groundtram system,bidirectional graph transformation,ground-tram system | Graph,Model transformation,Pattern recognition,Computer science,Transformation language,Source model,Theoretical computer science,Artificial intelligence,Bidirectional search,Versa,Encoding (memory) | Conference |
Volume | Citations | PageRank |
6707 | 9 | 0.51 |
References | Authors | |
15 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Isao Sasano | 1 | 51 | 6.18 |
Zhenjiang Hu | 2 | 1341 | 99.25 |
Soichiro Hidaka | 3 | 185 | 14.89 |
Kazuhiro Inaba | 4 | 102 | 8.07 |
Hiroyuki Kato | 5 | 128 | 8.75 |
Keisuke Nakano | 6 | 212 | 24.62 |