Toward bidirectionalization of ATL with GRoundTram

Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Citations (Scopus)

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

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages138-151
Number of pages14
Volume6707 LNCS
DOIs
Publication statusPublished - 2011
Event4th International Conference on Theory and Practice of Model Transformations, ICMT 2011 - Zurich
Duration: 2011 Jun 272011 Jun 28

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6707 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other4th International Conference on Theory and Practice of Model Transformations, ICMT 2011
CityZurich
Period11/6/2711/6/28

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Sasano, I., Hu, Z., Hidaka, S., Inaba, K., Kato, H., & Nakano, K. (2011). Toward bidirectionalization of ATL with GRoundTram. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6707 LNCS, pp. 138-151). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 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.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6707 LNCS 2011. p. 138-151 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6707 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sasano, I, Hu, Z, Hidaka, S, Inaba, K, Kato, H & Nakano, K 2011, Toward bidirectionalization of ATL with GRoundTram. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 6707 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 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
Sasano I, Hu Z, Hidaka S, Inaba K, Kato H, Nakano K. Toward bidirectionalization of ATL with GRoundTram. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6707 LNCS. 2011. p. 138-151. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-21732-6_10
Sasano, Isao ; Hu, Zhenjiang ; Hidaka, Soichiro ; Inaba, Kazuhiro ; Kato, Hiroyuki ; Nakano, Keisuke. / Toward bidirectionalization of ATL with GRoundTram. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6707 LNCS 2011. pp. 138-151 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{442cd68c4f6e4e35acc1d6597a3234d9,
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 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.",
author = "Isao Sasano and Zhenjiang Hu and Soichiro Hidaka and Kazuhiro Inaba and Hiroyuki Kato and Keisuke Nakano",
year = "2011",
doi = "10.1007/978-3-642-21732-6_10",
language = "English",
isbn = "9783642217319",
volume = "6707 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "138--151",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

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

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 -