Study on Language Foundation for Bidirectional Model Transformation
| Project/Area Number |
22300012
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
HU Zhenjiang 国立情報学研究所, アーキテクチャ科学研究系, 教授 (50292769)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
HIDAKA Soichiro 国立情報学研究所, アーキテクチャ科学研究系, 助教 (70321578)
KATO Hiroyuki 国立情報学研究所, コンテンツ科学研究系, 助教 (10321580)
INABA Kazuhiro Google, Software Engineer (30570311)
|
|---|
| Co-Investigator(Renkei-kenkyūsha) |
NAKANO Keisuke 電気通信大学, 先端領域教育研究センター, 准教授 (30505839)
SASANO Isao 芝浦工業大学, 工学部情報工学科, 准教授 (10362021)
EMOTO Kento 東京大学, 大学院情報理工学系研究科, 助教 (00587470)
MATSUDA Kazutaka 東京大学, 大学院情報理工学系研究科, 助教 (10583627)
|
|---|
| Project Period (FY) |
2010-04-01 – 2014-03-31
|
| Project Status |
Completed (Fiscal Year 2013)
|
| Budget Amount *help |
¥13,910,000 (Direct Cost: ¥10,700,000、Indirect Cost: ¥3,210,000)
Fiscal Year 2012: ¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2011: ¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2010: ¥5,850,000 (Direct Cost: ¥4,500,000、Indirect Cost: ¥1,350,000)
|
|---|
| Keywords | ソフトウェア工学 / 双方向変換 / モデル駆動ソフトウェア開発 / モデルコードの共進化 / モデル駆動ソフトウエア開発 / グラフ変換 / ソフトウエア工学 / プログラミング言語 / モデル変換 |
|---|
| Research Abstract |
Bidirectional model transformation is useful for maintaining consistency between two models in model-driven software development. However, the lack of solid language foundation and a practical tool support for systematic development of well-behaved and efficient bidirectional model transformation prevent it from being widely used. We solve this problem by proposing a novel bidirectional graph transformation language UnQL+ which is an extension of unidirectional graph query language unQL, and implementing an integrated framework called GRoundTram, which is carefully designed and implemented for compositional development of well-behaved and efficient bidirectional model transformations in UnQL. GRoundTram is equipped with a user-friendly language for coding bidirectional model transformation, a novel tool for validating both models and bidirectional model transformations, an optimization mechanism for improving efficiency, and a powerful debugging environment.
|
Report
(4 results)
Research Products
(46 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Journal Article] Context-Preserving XQuery Fusion
Author(s)
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, YasunoriIshihara
-
Journal Title
Mathematical Structures in Computer Science (MSCS), Cambridge University Press
Volume: (掲載確定)
Related Report
Peer Reviewed
-
[Presentation] Delta Lenses over Inductive Types2012
Author(s)
Hugo Pacheco, Alcino Cunha, Zhenjiang Hu
Organizer
First International Workshop on Bidirectional Transformations (BX 2012)
Place of Presentation
Tallinn, Estonia
Year and Date
2012-03-25
Related Report
-
[Presentation] Delta Lenses over Inductive Types2012
Author(s)
Hugo Pacheco, Alcino Cunha, Zhenjiang Hu
Organizer
First International Workshop on Bidirectional Transformations (BX 2012)
Place of Presentation
Tallinn University of Technology, Tallinn, Estonia
Year and Date
2012-03-25
Related Report
-
-
-
-
[Presentation] Marker-Directed Optimization of UnCAL Graph Transformations2011
Author(s)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
Organizer
21^<st> International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
Place of Presentation
University of Southern Denmark, Odense, Denmark
Year and Date
2011-07-19
Related Report
-
[Presentation] Toward bidirectionalization of ATL with GRoundTram2011
Author(s)
Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
Organizer
International Conference on Model Transformation (ICMT 2011)
Place of Presentation
Swiss Federal Intsitute of Technology Zurich, Zurich, Switzerland
Year and Date
2011-06-27
Related Report
-
-
-
-
-
[Presentation] Contest-Preserving XQuery Fusion2010
Author(s)
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
Organizer
8^<th> Asian Symposium on Programming Languages and Systems (APLAS2010)
Place of Presentation
Hengshan Hotel, Shanghai, China
Year and Date
2010-11-30
Related Report
-
-
[Presentation] Bidirectionalizing Graph Transformations2010
Author(s)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
Organizer
15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
Place of Presentation
Hyatt Regency Inner Harbor, Baltimore, America
Year and Date
2010-09-28
Related Report
-
-
[Presentation] Tolerating Inconsistency in Feature Models2010
Author(s)
Bo Wang, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei
Organizer
3rd Workshop on Living with Inconsistencies in Software Development (LWI'10), co-located with ASE 2010
Place of Presentation
Antwerp, Belgium September
Year and Date
2010-09-21
Related Report
-
[Presentation] Tolerating Inconsistency in Feature Models2010
Author(s)
Bo Wnag, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei
Organizer
3^<rd> Workshop on Living with Inconsistencies in Software Development
Place of Presentation
University of Antwerp, Antwerp, Belgium
Year and Date
2010-09-21
Related Report
-
-
[Presentation] Context-Preserving XQuery Fusion2010
Author(s)
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
Organizer
Eighth ASIAN Symposium on Programming Languages and Systems (APLAS 2010)
Place of Presentation
Shanghai, China
Related Report
-
-
[Presentation] Bidirectionalizing Graph Transformations2010
Author(s)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
Organizer
15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
Place of Presentation
Baltimore, Maryland, USA
Related Report
-
-
-
-
-
-
-
-
-
