双方向変換機構とその応用に関する研究

2009 年度 自己評価報告書

• 研究課題/領域番号: 19200002
• 研究種目: 基盤研究(A)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 東京大学
• 研究代表者: 武市 正人 東京大学, 大学院・情報理工学系研究科, 教授 (10011165)
• 研究期間 (年度): 2007 – 2010
• キーワード: プログラム言語

研究概要

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

研究成果

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