Study on Language Foundation for Bidirectional Model Transformation

2013 Fiscal Year Final Research Report

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

Research Products

• [Journal Article] Dagstuhl Seminar on Bidirectional Transformations (2011)
  • Author(s): Zhenjiang Hu, Andy Schurr, Perdita Stevens, James Terwilliger
  • Journal Title: SIGMOD Record Volume: Vol.40, No.1 Pages: 35-39
• [Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定 (2011)
  • Author(s): 中野圭介,日高宗一郎,胡振江,稲葉一浩,加藤弘之
  • Journal Title: コンピュータソフトウェア Volume: 29巻2号 Pages: 74-191
• [Journal Article] Supporting Runtime Software Architecture : A Bidirectional- Transformation Based Approach (2010)
  • Author(s): Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Yanchun Sun, Hong Mei
  • Journal Title: Journal of Systems and Software, Elsevier Volume: Volume 84, Issue 5, May 2011 Pages: 711-723
• [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: (掲載確定)
  • Peer Reviewed
• [Presentation] Maintaining Invariant Traceability through Bidirectional Transformations (2012)
  • Author(s): Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux
  • Organizer: 34th International Conference on Software Engineering (ICSE 2012)
  • Place of Presentation: Zurich, Switzerland
  • Year and Date: 20120602-09
• [Presentation] Delta Lenses over Inductive Types (2012)
  • 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
• [Presentation] GRoundTram : An IntegratEd Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper) (2011)
  • Author(s): Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
  • Organizer: 26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011)
  • Place of Presentation: Oread, Lawrence, Kansas, USA
  • Year and Date: 20111106-10
• [Presentation] Graph-Transformation Verification using Monadic Second-Order Logic (2011)
  • Author(s): Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • Organizer: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
  • Place of Presentation: Odense, Denmark
  • Year and Date: 20110720-22
• [Presentation] Marker-Directed Optimization of UnCAL Graph Transformations (2011)
  • Author(s): Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
  • Organizer: 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
  • Place of Presentation: Odense, Denmark
  • Year and Date: 20110718-20
• [Presentation] Toward bidirectionalization of ATL with GRoundTram (2011)
  • 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: Zurich, Switzerland
  • Year and Date: 20110627-28
• [Presentation] Context-Preserving XQuery Fusion (2010)
  • 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
  • Year and Date: 20101122-1201
• [Presentation] A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models (2010)
  • Author(s): Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei
  • Organizer: ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10)
  • Place of Presentation: Oslo, Norway
  • Year and Date: 20101003-08
• [Presentation] Bidirectionalizing Graph Transformations (2010)
  • 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
  • Year and Date: 20100927-29
• [Presentation] Combining Syntactic and Semantic Bidirectionalization (2010)
  • Author(s): Janis Voigtlander, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
  • Organizer: 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
  • Place of Presentation: Baltimore, Maryland, USA
  • Year and Date: 20100927-29
• [Presentation] Gradual Refinement : Blending Pattern Matching with Data Abstraction (2010)
  • Author(s): Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
  • Organizer: 10th International Conference on Mathematics of Program Construction (MPC 2010)
  • Place of Presentation: Quebec City, Canada
  • Year and Date: 20100621-23
• [Presentation] Grammar-based Approach to Invertible Programs (2010)
  • Author(s): Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
  • Organizer: 19th European Symposium on Programming (ESOP 2010)
  • Place of Presentation: Paphos, Cyprus
  • Year and Date: 20100322-26
• [Presentation] Tolerating Inconsistency in Feature Models (2010)
  • 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
• [Book] Theory and Practice of Model Transformations - 5th International Conference (2012)
  • Author(s): Zhenjiang Hu, Juan de Lara (Eds)
  • Total Pages: LNCS 7307
  • Publisher: ICMT 2012, Prague, Czech Republic
• [Remarks]
  • URL: http://www.biglab.org/