Paper Info
Title
Toward bidirectionalization of ATL with GRoundTram
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 Sasano1516.18
Zhenjiang Hu2134199.25
Soichiro Hidaka318514.89
Kazuhiro Inaba41028.07
Hiroyuki Kato51288.75
Keisuke Nakano621224.62