### 抜粋

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 |
---|---|

ホスト出版物のタイトル | Theory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Proceedings |

ページ | 138-151 |

ページ数 | 14 |

DOI | |

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

イベント | 4th International Conference on Theory and Practice of Model Transformations, ICMT 2011 - Zurich, Switzerland 継続期間: 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（印刷物） | 0302-9743 |

ISSN（電子版） | 1611-3349 |

### Conference

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

国 | Switzerland |

市 | Zurich |

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

### ASJC Scopus subject areas

- Theoretical Computer Science
- Computer Science(all)

## フィンガープリント Toward bidirectionalization of ATL with GRoundTram' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

## これを引用

*Theory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Proceedings*(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