Bidirectional Transformation and its Application

2009 Fiscal Year Self-evaluation 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)
• Project Period (FY): 2007 – 2010
• Keywords: プログラム言語

Research Abstract

本研究課題は、双方向変換機構の基礎を確立するとともに、実用的なソフトウェアツールの開発、およびソフトウェア開発過程に双方向変換を適用する手法を開発し、ソフトウェアの信頼性の確保と生産性の向上のための方法論を確立することを目的とし、以下の具体的な項目で研究を進める。
[研究項目A]双方向変換機構の数学的基盤の確立と双方向変換言語の開発
[研究項目B]双方向変換システムの開発支援環境の構築
[研究項目C]ソフトウェア開発過程における双方向変換基盤の構築

Research Products

• [Journal Article] 補関数の生成による複製機能付きプログラムの自動双方向化 (2009)
  • Author(s): 松田一孝, 胡振江, 中野圭介, 浜名誠, 武市正人
  • Journal Title: コンピュータソフトウェア 第26巻 Pages: 2-56,2-75
  • Peer Reviewed
• [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] Supporting Parallel Updates with Bidirectional Model Transformations (2009)
  • Author(s): Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
  • Journal Title: International Conference on Model Transformation (ICMT 2009)
  • 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] 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 (2007)
  • 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
• [Presentation] Configuring Bidirectional Programs with Functions (2009)
  • Author(s): Masato Takeichi
  • 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