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

2010 年度 研究成果報告書

• 研究課題/領域番号: 19200002
• 研究種目: 基盤研究(A)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 東京大学
• 研究代表者: 武市 正人 東京大学, 大学院・情報理工学系研究科, 教授 (10011165)
• 連携研究者: 胡 振江 国立情報学研究所, アーキテクチャ科学研究系, 教授 (50292769) ; 松崎 公紀 高知工科大学, 情報学群, 准教授 (30401243)
• 研究期間 (年度): 2007 – 2010
• キーワード: プログラム言語 / ソフトウェア設計 / 双方向変換機構

研究概要

双方向変換機構をソフトウェアの高信頼化・生産性の向上のための方法論として確立するための基盤として双方向言語の概念を整理した。それに基づき、実用的なXML文書向けの双方向変換ライブラリBi-HaXmlを開発して双方向変換機構の有用性を確認した。さらに、ソフトウェア開発における双方向モデル記述言語Beanbagの設計とそのシステムの開発を行って実用的なシステム開発のためのソフトウェアを構築し、その有効性を示した。

研究成果

• [雑誌論文] 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
  • 査読あり
• [雑誌論文] 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
  • 査読あり
• [雑誌論文] 補関数の生成による複製機能付きプログラムの自動双方向化 (2009)
  • 著者名/発表者名: 松田一孝, 胡振江, 中野圭介, 浜名誠, 武市正人
  • 雑誌名: コンピュータソフトウェア 第26巻 ページ: 2-56,2-75
  • 査読あり
• [雑誌論文] 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. (2008)
  • 著者名/発表者名: Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei.
  • 雑誌名: 22nd IEEE/ACM International Conference on Automated Software Engineering. ページ: 164-173
  • 査読あり
• [雑誌論文] Grammar-based Approach to Invertible Programs
  • 著者名/発表者名: Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi.
  • 雑誌名: 19th European Symposium on Programming (ESOP), LNCS6012 2010 ページ: 448-467
  • 査読あり
• [雑誌論文] Supporting Parallel Updates with Bidirectional Model Transformations.
  • 著者名/発表者名: Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi.
  • 雑誌名: International Conference on Model Transformation (ICMT 2009).
  • 査読あり
• [学会発表] Program Calculation in Coq. (2010)
  • 著者名/発表者名: Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frederic Loulergue, Masato Takeichi
  • 学会等名: Thirteenth International Conference on Algebraic Methodology And Software Technology
  • 発表場所: Quebec City, Canada
  • 年月日: 20100623-20100626
• [学会発表] Configuring Bidirectional Programs with Functions. (2009)
  • 著者名/発表者名: 武市正人
  • 学会等名: 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