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

双方向モデル変換の言語的基盤技術に関する研究

研究課題

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

基盤研究(B)

配分区分補助金
応募区分一般
研究分野 ソフトウエア
研究機関国立情報学研究所

研究代表者

胡 振江  国立情報学研究所, アーキテクチャ科学研究系, 教授 (50292769)

研究分担者 日高 宗一郎  国立情報学研究所, アーキテクチャ科学研究系, 助教 (70321578)
加藤 弘之  国立情報学研究所, コンテンツ科学研究系, 助教 (10321580)
稲葉 一弘 (稲葉 一浩)  Google, Software Engineer (30570311)
連携研究者 中野 圭介  電気通信大学, 先端領域教育研究センター, 准教授 (30505839)
篠埜 功  芝浦工業大学, 工学部情報工学科, 准教授 (10362021)
江本 健斗  東京大学, 大学院情報理工学系研究科, 助教 (00587470)
松田 一孝  東京大学, 大学院情報理工学系研究科, 助教 (10583627)
研究期間 (年度) 2010-04-01 – 2014-03-31
研究課題ステータス 完了 (2013年度)
配分額 *注記
13,910千円 (直接経費: 10,700千円、間接経費: 3,210千円)
2012年度: 3,900千円 (直接経費: 3,000千円、間接経費: 900千円)
2011年度: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2010年度: 5,850千円 (直接経費: 4,500千円、間接経費: 1,350千円)
キーワードソフトウェア工学 / 双方向変換 / モデル駆動ソフトウェア開発 / モデルコードの共進化 / モデル駆動ソフトウエア開発 / グラフ変換 / ソフトウエア工学 / プログラミング言語 / モデル変換
研究概要

双方向モデル変換は、モデル駆動ソフトウェア開発において、従来は上流過程から下流過程への単方向のモデル変換であったものを、下流過程におけるモデルの修正を上流過程に反映させること目的としており、その言語的技術基盤を確立すべく、言語の設計、実装、応用にわたって研究するという当初の研究計画に対して、以下のような成果を挙げた。(1) 双方向グラフ変換の言語UnQL+を提案し、双方向モデル変換の基盤技術を確立した。(2) 世界初の双方向グラフ変換エンジン GRoundTram を実現し公開し、ヨーロッパやアジアのグループが研究に利用している。(3) モデルとコードの共進化に応用し、国際的な評価を得た。

報告書

(4件)
  • 2013 研究成果報告書 ( PDF )
  • 2012 実績報告書
  • 2011 実績報告書
  • 2010 実績報告書
  • 研究成果

    (46件)

すべて 2013 2012 2011 2010 その他

すべて 雑誌論文 (16件) (うち査読あり 12件、 オープンアクセス 1件) 学会発表 (26件) (うち招待講演 1件) 図書 (1件) 備考 (3件)

  • [雑誌論文] Supporting Feature Model Refinement with Updatable View2013

    • 著者名/発表者名
      Bo Wang, Zhenjiang Hu, Qiang Sun, Haiyan Zhao, Yingfei Xiong, Wei Zhang, Hong Mei
    • 雑誌名

      Frontiers of Computer Science

      巻: Volume 7, Issue 2 号: 2 ページ: 257-271

    • DOI

      10.1007/s11704-013-2047-0

    • 関連する報告書
      2012 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] An Expressive Bidirectional Transformation Language for XQuery View Update2013

    • 著者名/発表者名
      Dongxi Liu, Zhenjiang Hu, Masato Takeichi
    • 雑誌名

      Progress in Informatics

      巻: Vol. 10 ページ: 89-130

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations2013

    • 著者名/発表者名
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
    • 雑誌名

      Progress in Informatics

      巻: Vol. 10 ページ: 131-148

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] Context-Preserving XQuery Fusion2013

    • 著者名/発表者名
      Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
    • 雑誌名

      Mathematical Structures in Computer Science (MSCS)

      巻: Vol. 23

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] Refactoring Pattern Matching2012

    • 著者名/発表者名
      Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
    • 雑誌名

      Science of Computer Programming

      巻: 未定 号: 11 ページ: 2216-2242

    • DOI

      10.1016/j.scico.2012.07.014

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] Manipulating Accumulative Functions by Swapping Call-time and Return-time Computations2012

    • 著者名/発表者名
      Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
    • 雑誌名

      Journal of Functional Programming

      巻: Vol. 22, No. 3 号: 3 ページ: 275-299

    • DOI

      10.1017/s0956796812000111

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] Delta Lenses over Inductive Types2012

    • 著者名/発表者名
      Hugo Pacheco, Alcino Cunha , Zhenjiang Hu
    • 雑誌名

      Electronic Communications of the EASST

      巻: Volume 49 ページ: 1-17

    • 関連する報告書
      2012 実績報告書
  • [雑誌論文] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012

    • 著者名/発表者名
      中野 圭介, 日高 宗一郎, 胡 振江, 稲葉 一浩, 加藤 弘之
    • 雑誌名

      コンピュータソフトウエア

      巻: 29巻2号 ページ: 174-192

    • NAID

      130004549266

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012

    • 著者名/発表者名
      中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
    • 雑誌名

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

      巻: (印刷中)(掲載確定)

    • NAID

      130004549266

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Dagstuhl Seminar on Bidirectional Transformations2011

    • 著者名/発表者名
      Zhenjiang Hu, Andy Schurr, Perdita Stevens, James Terwilliger
    • 雑誌名

      SIGMOD Record

      巻: Vol.40, No.1 ページ: 35-39

    • 関連する報告書
      2013 研究成果報告書 2011 実績報告書
  • [雑誌論文] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2011

    • 著者名/発表者名
      中野圭介,日高宗一郎,胡振江,稲葉一浩,加藤弘之
    • 雑誌名

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

      巻: 29巻2号 ページ: 74-191

    • NAID

      130004549266

    • 関連する報告書
      2013 研究成果報告書
  • [雑誌論文] Supporting Runtime Software Architecture : A Bidirectional-Transformation-Based Approach2011

    • 著者名/発表者名
      Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Yanchun Sun, Hong Mei
    • 雑誌名

      Journal of Systems and Software

      巻: 84 ページ: 711-723

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Synchronizing Concurrent Model Updates Based on Bidirectional Transformation2011

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

      Software and Systems Modeling

      ページ: 1-16

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Supporting Runtime Software Architecture:A Bidirectional-Transformation-Based Approach2011

    • 著者名/発表者名
      Hui Song, Yingfei Xiong, Franck Chaouvel, Gnag Huang, Zhenjiang Hu, Yanchun Sun, Hong Mei
    • 雑誌名

      Journal of Systems and Software

      巻: 84(掲載確定) ページ: 711-723

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Supporting Runtime Software Architecture : A Bidirectional- Transformation Based Approach2010

    • 著者名/発表者名
      Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Yanchun Sun, Hong Mei
    • 雑誌名

      Journal of Systems and Software, Elsevier

      巻: Volume 84, Issue 5, May 2011 ページ: 711-723

    • 関連する報告書
      2013 研究成果報告書
  • [雑誌論文] Context-Preserving XQuery Fusion

    • 著者名/発表者名
      Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, YasunoriIshihara
    • 雑誌名

      Mathematical Structures in Computer Science (MSCS), Cambridge University Press

      巻: (掲載確定)

    • 関連する報告書
      2013 研究成果報告書
    • 査読あり
  • [学会発表] Delta Lenses over Inductive Types2012

    • 著者名/発表者名
      Hugo Pacheco, Alcino Cunha, Zhenjiang Hu
    • 学会等名
      First International Workshop on Bidirectional Transformations (BX 2012)
    • 発表場所
      Tallinn, Estonia
    • 年月日
      2012-03-25
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Delta Lenses over Inductive Types2012

    • 著者名/発表者名
      Hugo Pacheco, Alcino Cunha, Zhenjiang Hu
    • 学会等名
      First International Workshop on Bidirectional Transformations (BX 2012)
    • 発表場所
      Tallinn University of Technology, Tallinn, Estonia
    • 年月日
      2012-03-25
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Maintaining Invariant Traceability through Bidirectional Transformations2012

    • 著者名/発表者名
      Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux
    • 学会等名
      34th International Conference on Software Engineering (ICSE 2012)
    • 発表場所
      Zurich, Switzerland
    • 関連する報告書
      2013 研究成果報告書 2012 実績報告書
  • [学会発表] GroundTram : An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)2011

    • 著者名/発表者名
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
    • 学会等名
      26^<th> IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
    • 発表場所
      The Oread, Kansas City, USA
    • 年月日
      2011-11-10
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Graph-Transformation Verification using Monadic Second-Order Logic2011

    • 著者名/発表者名
      Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
    • 学会等名
      13^<th> International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
    • 発表場所
      University of Southern Denmark, Odense, Denmark
    • 年月日
      2011-07-20
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Marker-Directed Optimization of UnCAL Graph Transformations2011

    • 著者名/発表者名
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
    • 学会等名
      21^<st> International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
    • 発表場所
      University of Southern Denmark, Odense, Denmark
    • 年月日
      2011-07-19
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Toward bidirectionalization of ATL with GRoundTram2011

    • 著者名/発表者名
      Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
    • 学会等名
      International Conference on Model Transformation (ICMT 2011)
    • 発表場所
      Swiss Federal Intsitute of Technology Zurich, Zurich, Switzerland
    • 年月日
      2011-06-27
    • 関連する報告書
      2011 実績報告書
  • [学会発表] GRoundTram : An IntegratEd Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)2011

    • 著者名/発表者名
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
    • 学会等名
      26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011)
    • 発表場所
      Oread, Lawrence, Kansas, USA
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Marker-Directed Optimization of UnCAL Graph Transformations2011

    • 著者名/発表者名
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
    • 学会等名
      21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
    • 発表場所
      Odense, Denmark
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Graph-Transformation Verification using Monadic Second-Order Logic2011

    • 著者名/発表者名
      Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
    • 学会等名
      13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
    • 発表場所
      Odense, Denmark
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Toward bidirectionalization of ATL with GRoundTram2011

    • 著者名/発表者名
      Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
    • 学会等名
      International Conference on Model Transformation (ICMT 2011)
    • 発表場所
      Zurich, Switzerland
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Contest-Preserving XQuery Fusion2010

    • 著者名/発表者名
      Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
    • 学会等名
      8^<th> Asian Symposium on Programming Languages and Systems (APLAS2010)
    • 発表場所
      Hengshan Hotel, Shanghai, China
    • 年月日
      2010-11-30
    • 関連する報告書
      2010 実績報告書
  • [学会発表] A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models2010

    • 著者名/発表者名
      Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei
    • 学会等名
      ACM/IEEE 13^<th> International Conference on Model Driven Engineering Languages and Systems (MODELS'10)
    • 発表場所
      Oslo Congress Centre, Oslo, Norway
    • 年月日
      2010-10-06
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Bidirectionalizing Graph Transformations2010

    • 著者名/発表者名
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
    • 学会等名
      15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
    • 発表場所
      Hyatt Regency Inner Harbor, Baltimore, America
    • 年月日
      2010-09-28
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Combining Syntactic and Semantic Bidirectionalization2010

    • 著者名/発表者名
      Janis Voigtlander, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
    • 学会等名
      15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
    • 発表場所
      Hyatt Regency Inner Harbor, Baltimore, America
    • 年月日
      2010-09-28
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Tolerating Inconsistency in Feature Models2010

    • 著者名/発表者名
      Bo Wang, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei
    • 学会等名
      3rd Workshop on Living with Inconsistencies in Software Development (LWI'10), co-located with ASE 2010
    • 発表場所
      Antwerp, Belgium September
    • 年月日
      2010-09-21
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Tolerating Inconsistency in Feature Models2010

    • 著者名/発表者名
      Bo Wnag, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei
    • 学会等名
      3^<rd> Workshop on Living with Inconsistencies in Software Development
    • 発表場所
      University of Antwerp, Antwerp, Belgium
    • 年月日
      2010-09-21
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Gradual Refinement : Blending Pattern Matching With Data Abstraction2010

    • 著者名/発表者名
      Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
    • 学会等名
      10^<th> International Conference on Mathematics of Program Construction (MPC2010)
    • 発表場所
      Manoir St-Castin, Quebec City, Canada
    • 年月日
      2010-06-22
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Context-Preserving XQuery Fusion2010

    • 著者名/発表者名
      Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
    • 学会等名
      Eighth ASIAN Symposium on Programming Languages and Systems (APLAS 2010)
    • 発表場所
      Shanghai, China
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models2010

    • 著者名/発表者名
      Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei
    • 学会等名
      ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10)
    • 発表場所
      Oslo, Norway
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Bidirectionalizing Graph Transformations2010

    • 著者名/発表者名
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
    • 学会等名
      15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
    • 発表場所
      Baltimore, Maryland, USA
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Combining Syntactic and Semantic Bidirectionalization2010

    • 著者名/発表者名
      Janis Voigtlander, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
    • 学会等名
      15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
    • 発表場所
      Baltimore, Maryland, USA
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Gradual Refinement : Blending Pattern Matching with Data Abstraction2010

    • 著者名/発表者名
      Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
    • 学会等名
      10th International Conference on Mathematics of Program Construction (MPC 2010)
    • 発表場所
      Quebec City, Canada
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Grammar-based Approach to Invertible Programs2010

    • 著者名/発表者名
      Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
    • 学会等名
      19th European Symposium on Programming (ESOP 2010)
    • 発表場所
      Paphos, Cyprus
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Theory and Practice of Model Transformations

    • 著者名/発表者名
      Zhenjiang Hu, Juan de Lara
    • 学会等名
      5th International Conference, ICMT 2012
    • 発表場所
      Prague, Czech
    • 関連する報告書
      2012 実績報告書
  • [学会発表] Practical Aspects of Bidirectional Graph Transformations

    • 著者名/発表者名
      Zhenjiang Hu
    • 学会等名
      ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation
    • 発表場所
      Rome, Italy
    • 関連する報告書
      2012 実績報告書
    • 招待講演
  • [図書] Theory and Practice of Model Transformations - 5th International Conference2012

    • 著者名/発表者名
      Zhenjiang Hu, Juan de Lara (Eds)
    • 出版者
      ICMT 2012, Prague, Czech Republic
    • 関連する報告書
      2013 研究成果報告書
  • [備考]

    • URL

      http://www.biglab.org/

    • 関連する報告書
      2013 研究成果報告書
  • [備考] The BiG Project

    • URL

      http://www.biglab.org

    • 関連する報告書
      2012 実績報告書
  • [備考]

    • URL

      http://research.nii.ac.jp/~hu/project/bix.html

    • 関連する報告書
      2011 実績報告書

URL: 

公開日: 2010-08-23   更新日: 2019-07-29  

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

Powered by NII kakenhi