• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

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

研究課題

研究課題/領域番号 19200002
研究種目

基盤研究(A)

配分区分補助金
応募区分一般
研究分野 ソフトウエア
研究機関東京大学

研究代表者

武市 正人  東京大学, 大学院・情報理工学系研究科, 教授 (10011165)

研究分担者 胡 振江  東京大学, 大学院・情報理工学系研究科, 准教授 (50292769)
松崎 公紀  東京大学, 大学院・情報理工学系研究科, 助教 (30401243)
連携研究者 胡 振江  国立情報学研究所, アーキテクチャ科学研究系, 教授 (50292769)
松崎 公紀  高知工科大学, 情報学群, 准教授 (30401243)
研究期間 (年度) 2007 – 2010
研究課題ステータス 完了 (2010年度)
配分額 *注記
42,380千円 (直接経費: 32,600千円、間接経費: 9,780千円)
2010年度: 10,400千円 (直接経費: 8,000千円、間接経費: 2,400千円)
2009年度: 10,660千円 (直接経費: 8,200千円、間接経費: 2,460千円)
2008年度: 10,920千円 (直接経費: 8,400千円、間接経費: 2,520千円)
2007年度: 10,400千円 (直接経費: 8,000千円、間接経費: 2,400千円)
キーワードプログラム言語 / ソフトウェア設計 / 双方向変換機構 / プログラミング言語 / 双方向変換
研究概要

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

報告書

(6件)
  • 2010 実績報告書   研究成果報告書 ( PDF )
  • 2009 実績報告書   自己評価報告書 ( PDF )
  • 2008 実績報告書
  • 2007 実績報告書
  • 研究成果

    (38件)

すべて 2010 2009 2008 2007 その他

すべて 雑誌論文 (23件) (うち査読あり 23件) 学会発表 (13件) 備考 (2件)

  • [雑誌論文] Grammar-based Approach to Invertible Programs, 19th European Symposium on Programming2010

    • 著者名/発表者名
      Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
    • 雑誌名

      Proceedings of 19th European Symposium on Programming

      巻: LNCS6012 ページ: 448-467

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] 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

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] 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

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] 補関数の生成による複製機能付きプログラムの自動双方向化2009

    • 著者名/発表者名
      松田一孝, 胡振江, 中野圭介, 浜名誠, 武市正人
    • 雑誌名

      コンピュータソフトウェア 第26巻

    • NAID

      10025982390

    • 関連する報告書
      2010 研究成果報告書 2009 自己評価報告書
    • 査読あり
  • [雑誌論文] 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

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] Supporting Automatic Model Inconsistency Fixing2009

    • 著者名/発表者名
      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

    • 関連する報告書
      2009 自己評価報告書
    • 査読あり
  • [雑誌論文] Supporting Parallel Updates with Bidirectional Model Transformations2009

    • 著者名/発表者名
      Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
    • 雑誌名

      International Conference on Model Transformation (ICMT 2009)

    • 関連する報告書
      2009 自己評価報告書
    • 査読あり
  • [雑誌論文] Type-based Specialization of XML Transformations2009

    • 著者名/発表者名
      Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
    • 雑誌名

      ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM 2009)

      ページ: 61-72

    • 関連する報告書
      2009 自己評価報告書
    • 査読あり
  • [雑誌論文] Consistent Web Site Updating based on Bidirectional Transformation2009

    • 著者名/発表者名
      Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
    • 雑誌名

      International Journal on Software Tools for Technology Transfer Vol. 11

      ページ: 453-468

    • 関連する報告書
      2009 自己評価報告書
    • 査読あり
  • [雑誌論文] 補関数の生成による複製機能付きプログラムの自動双方向化2009

    • 著者名/発表者名
      松田一孝, 胡振江, 中野圭介, 浜名誠, 武市正人
    • 雑誌名

      コンピュータソフトウェア 26

    • NAID

      10025982390

    • 関連する報告書
      2009 実績報告書 2008 実績報告書
    • 査読あり
  • [雑誌論文] Type-based Specialization of XML Transformations2009

    • 著者名/発表者名
      松田一孝, 胡振江, 武市正人
    • 雑誌名

      ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation(PEPM 2009)

      ページ: 61-72

    • 関連する報告書
      2009 実績報告書 2008 実績報告書
    • 査読あり
  • [雑誌論文] Supporting Automatic Model Inconsistency Fixing2009

    • 著者名/発表者名
      Yingfei Xiong, 胡振江, Haiyan Zhao, Hui Song, 武市正人, Hong Mei
    • 雑誌名

      ACM SIGSOFT Symposium on the Foundations of Software Engineering(FSE)(ESEC/FSE 2009)

      ページ: 315-324

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] Supporting Automatic Model Inconsistency Fixing2009

    • 著者名/発表者名
      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

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Consistent Web Site Updating based on Bidirectional Transformation2009

    • 著者名/発表者名
      中野圭介, 胡振江, 武市正人
    • 雑誌名

      International Journal on Software Tools for Technology Transfer 11

      ページ: 453-468

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] 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

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] 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

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations2008

    • 著者名/発表者名
      Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
    • 雑誌名

      Higher-Order and Symbolic Computation Vol. 21

      ページ: 89-118

    • 関連する報告書
      2009 自己評価報告書
    • 査読あり
  • [雑誌論文] A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations2008

    • 著者名/発表者名
      Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
    • 雑誌名

      Higher-Order and Symbolic Computation 21

      ページ: 89-118

    • 関連する報告書
      2008 実績報告書 2007 実績報告書
    • 査読あり
  • [雑誌論文] Towards Automatic Model Synchronization from Model Transformations2007

    • 著者名/発表者名
      Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei
    • 雑誌名

      22nd IEEE/ACM International Conference on Automated Software Engineering

      ページ: 164-173

    • 関連する報告書
      2009 自己評価報告書
    • 査読あり
  • [雑誌論文] A Web Service Architecture for Bidirectional XML Updating2007

    • 著者名/発表者名
      Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
    • 雑誌名

      Joint conference of the 9th Asia-Pacific Web Conference and the 8th International Conference on Web-Age Information Management June16-18,2007

      ページ: 721-732

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] Towards Automatic Model Synchronization from Model Transformations2007

    • 著者名/発表者名
      Yingtel Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei
    • 雑誌名

      22nd IEEE/ACM International Conference on Automated Software Engineering November5-9,2007

      ページ: 164-173

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] 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

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [雑誌論文] Supporting Parallel Updates with Bidirectional Model Transformations.

    • 著者名/発表者名
      Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi.
    • 雑誌名

      International Conference on Model Transformation (ICMT 2009).

    • 関連する報告書
      2010 研究成果報告書
    • 査読あり
  • [学会発表] 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
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Program Calculation in Coq2010

    • 著者名/発表者名
      Julien Tesson, Hideki Hashimoto., Zhenjiang Hu, Frederic Loulergue, Masato Takeichi
    • 学会等名
      Thirteenth International Conference on Algebraic Methodology And Software Technology
    • 発表場所
      Quebec City,Canada
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Configuring Bidirectional Programs with Functions.2009

    • 著者名/発表者名
      武市正人
    • 学会等名
      21st Symposium on Implementation and Application of Functional Languages (IFL2009).
    • 発表場所
      Seton Hall University, South Orange NJ, USA.
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] 内部参照をもつXML文書の双方向変換による編集2009

    • 著者名/発表者名
      木津幸子, 武市正人, 胡振江
    • 学会等名
      日本ソフトウェア科学会第26回大会
    • 発表場所
      島根大学
    • 関連する報告書
      2010 研究成果報告書 2009 自己評価報告書 2008 実績報告書
  • [学会発表] Configuring Bidirectional Programs with Functions2009

    • 著者名/発表者名
      Masato Takeichi
    • 学会等名
      21st Symposium on Implementation and Application of Functional Languages (IFL2009)
    • 発表場所
      Seton Hall University, South Orange NJ, USA
    • 関連する報告書
      2009 自己評価報告書
  • [学会発表] Supporting Parallel Updates with Bidirectional Model Transformations2009

    • 著者名/発表者名
      Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
    • 学会等名
      International Conference on Model Transformation(ICMT 2009)
    • 発表場所
      ETH Zurich, Switzerland
    • 関連する報告書
      2009 実績報告書 2008 実績報告書
  • [学会発表] Configuring Bidirectional Programs with Functions2009

    • 著者名/発表者名
      Masato Takeichi
    • 学会等名
      21st Symposium on Implementation and Application of Functional Languages(IEL2009)
    • 発表場所
      Seton Hall University, South Orange NJ, USA
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 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.
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Consistent Web Site Updating based on Bidirectional Transformation2008

    • 著者名/発表者名
      Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
    • 学会等名
      10th IEEE International Symposium on Web Site Evolution (WSE 2008)
    • 発表場所
      Beijing, China
    • 関連する報告書
      2009 自己評価報告書
  • [学会発表] Consistent Web Site Updating based on Bidirectional Transformation2008

    • 著者名/発表者名
      Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
    • 学会等名
      10th IEEE International Symposium on Web Site Evolution(WSE
    • 発表場所
      Beijing, China
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 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
    • 関連する報告書
      2010 研究成果報告書
  • [学会発表] Bi-X Core : A General-Purpose Bidirectional Transformation Language2007

    • 著者名/発表者名
      Dongxi Liu, Keisuke Nakano, Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi, Akimasa Morihata, Yingfei Xiong
    • 学会等名
      第24回日本ソフトウェア科学会大会
    • 発表場所
      奈良
    • 年月日
      2007-09-12
    • 関連する報告書
      2009 自己評価報告書
  • [学会発表] Bi-X Core:A General-Purpose Bidirectional Transformation Language2007

    • 著者名/発表者名
      Dongxi Liu, Keisuke Nakano, Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi, Akimasa Morihata. Yingfei Xiong
    • 学会等名
      第24回日本ソフトウェア科学会大会
    • 発表場所
      奈良
    • 年月日
      2007-09-12
    • 関連する報告書
      2007 実績報告書
  • [備考] Beanbagシステムのホームページ:

    • URL

      http://swen.uwaterloo.ca/~y6xiong/beanbag.html

    • 関連する報告書
      2010 研究成果報告書
  • [備考] Beanbag システムのホームページ

    • URL

      http://swen.uwaterloo.ca/~y6xiong/beanbag.html

    • 関連する報告書
      2009 自己評価報告書

URL: 

公開日: 2007-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi