Bidirectional Transformation Mechanisms and its Application

2010 Fiscal Year Final Research Report

• Project/Area Number: 19200002
• Research Category: Grant-in-Aid for Scientific Research (A)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Software
• Research Institution: The University of Tokyo
• Principal Investigator: TAKEICHI Masato The University of Tokyo, 大学院・情報理工学系研究科, 教授 (10011165)
• Co-Investigator(Renkei-kenkyūsha): HU Zhenjiang 国立情報学研究所, アーキテクチャ科学研究系, 教授 (50292769) ; MATSUZAKI Kiminori 高知工科大学, 情報学群, 准教授 (30401243)
• Project Period (FY): 2007 – 2010
• Keywords: プログラム言語 / ソフトウェア設計 / 双方向変換機構

Research Abstract

Bidirectional transformation mechanisms have been studied for establishing a methodology to develop reliable and productive software, which is based on exploring a language with bidirectional properties. A bidirectional transformation library Bi-HaXml for XML documents has been developed to demonstrate usefulness of our idea of bidirectional mechanism. For such a mechanism to be applied in software development processes, a bidirectional model description language called"Beanbag"has been designed and its system has been developed to illustrate its effectiveness.

Research Products

• [Journal Article] Supporting Automatic Model Inconsistency Fixing. (2009)
  • Author(s): Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei.
  • Journal Title: ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009). Pages: 315-324
  • Peer Reviewed
• [Journal Article] Type-based Specialization of XML Transformations. (2009)
  • Author(s): Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi.
  • Journal Title: ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM 2009). Pages: 61-72
  • Peer Reviewed
• [Journal Article] 補関数の生成による複製機能付きプログラムの自動双方向化 (2009)
  • Author(s): 松田一孝, 胡振江, 中野圭介, 浜名誠, 武市正人
  • Journal Title: コンピュータソフトウェア 第26巻 Pages: 2-56,2-75
  • Peer Reviewed
• [Journal Article] Consistent Web Site Updating based on Bidirectional Transformation. (2009)
  • Author(s): Keisuke Nakano, Zhenjiang Hu, Masato Takeichi.
  • Journal Title: International Journal on Software Tools for Technology Transfer. Vol.11 Pages: 453-468
  • Peer Reviewed
• [Journal Article] A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations. (2008)
  • Author(s): Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi.
  • Journal Title: Higher-Order and Symbolic Computation. Vol.21 Pages: 89-118
  • Peer Reviewed
• [Journal Article] Towards Automatic Model Synchronization from Model Transformations. (2008)
  • Author(s): Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei.
  • Journal Title: 22nd IEEE/ACM International Conference on Automated Software Engineering. Pages: 164-173
  • Peer Reviewed
• [Journal Article] Grammar-based Approach to Invertible Programs
  • Author(s): Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi.
  • Journal Title: 19th European Symposium on Programming (ESOP), LNCS6012 2010 Pages: 448-467
  • Peer Reviewed
• [Journal Article] Supporting Parallel Updates with Bidirectional Model Transformations.
  • Author(s): Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi.
  • Journal Title: International Conference on Model Transformation (ICMT 2009).
  • Peer Reviewed
• [Presentation] Program Calculation in Coq. (2010)
  • Author(s): Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frederic Loulergue, Masato Takeichi
  • Organizer: Thirteenth International Conference on Algebraic Methodology And Software Technology
  • Place of Presentation: Quebec City, Canada
  • Year and Date: 20100623-20100626
• [Presentation] Configuring Bidirectional Programs with Functions. (2009)
  • Author(s): 武市正人
  • Organizer: 21st Symposium on Implementation and Application of Functional Languages (IFL2009).
  • Place of Presentation: Seton Hall University, South Orange NJ, USA.
  • Year and Date: 20090923-20090925
• [Presentation] 内部参照をもつXML文書の双方向変換による編集 (2009)
  • Author(s): 木津幸子, 武市正人, 胡振江
  • Organizer: 日本ソフトウェア科学会第26回大会
  • Place of Presentation: 島根大学
  • Year and Date: 20090916-20090918
• [Presentation] Consistent Web Site Updating based on Bidirectional Transformation. (2008)
  • Author(s): Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
  • Organizer: 10th IEEE International Symposium on Web Site Evolution (WSE 2008).
  • Place of Presentation: Beijing, China.
  • Year and Date: 20081003-20081004
• [Presentation] Bi-X Core : A General-Purpose Bidirectional Transformation Language. (2007)
  • Author(s): Dongxi Liu, Keisuke Nakano, Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi, Akimasa Morihata, Yingfei Xiong.
  • Organizer: 第24回日本ソフトウェア科学会大会
  • Place of Presentation: 奈良
  • Year and Date: 2007-09-12
• [Remarks] Beanbagシステムのホームページ:
  • URL: http://swen.uwaterloo.ca/~y6xiong/beanbag.html