### 抄録

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.

元の言語 | English |
---|---|

ホスト出版物のタイトル | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |

ページ | 138-151 |

ページ数 | 14 |

巻 | 6707 LNCS |

DOI | |

出版物ステータス | Published - 2011 |

イベント | 4th International Conference on Theory and Practice of Model Transformations, ICMT 2011 - Zurich 継続期間: 2011 6 27 → 2011 6 28 |

### 出版物シリーズ

名前 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|

巻 | 6707 LNCS |

ISSN（印刷物） | 03029743 |

ISSN（電子版） | 16113349 |

### Other

Other | 4th International Conference on Theory and Practice of Model Transformations, ICMT 2011 |
---|---|

市 | Zurich |

期間 | 11/6/27 → 11/6/28 |

### ASJC Scopus subject areas

- Computer Science(all)
- Theoretical Computer Science

### これを引用

*Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)*(巻 6707 LNCS, pp. 138-151). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 6707 LNCS). https://doi.org/10.1007/978-3-642-21732-6_10

**Toward bidirectionalization of ATL with GRoundTram.** / Sasano, Isao; Hu, Zhenjiang; Hidaka, Soichiro; Inaba, Kazuhiro; Kato, Hiroyuki; Nakano, Keisuke.

研究成果: Conference contribution

*Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).*巻. 6707 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 巻. 6707 LNCS, pp. 138-151, 4th International Conference on Theory and Practice of Model Transformations, ICMT 2011, Zurich, 11/6/27. https://doi.org/10.1007/978-3-642-21732-6_10

}

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

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

VL - 6707 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 138

EP - 151

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -