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

2013 年度 研究成果報告書

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

研究課題

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

基盤研究(B)

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

研究代表者

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

研究分担者 日高 宗一郎  国立情報学研究所, アーキテクチャ科学研究系, 助教 (70321578)
加藤 弘之  国立情報学研究所, コンテンツ科学研究系, 助教 (10321580)
稲葉 一弘  Google, Software Engineer (30570311)
連携研究者 中野 圭介  電気通信大学, 先端領域教育研究センター, 准教授 (30505839)
篠埜 功  芝浦工業大学, 工学部情報工学科, 准教授 (10362021)
江本 健斗  東京大学, 大学院情報理工学系研究科, 助教 (00587470)
松田 一孝  東京大学, 大学院情報理工学系研究科, 助教 (10583627)
研究期間 (年度) 2010-04-01 – 2014-03-31
キーワードソフトウェア工学 / 双方向変換 / モデル駆動ソフトウェア開発 / モデルコードの共進化
研究概要

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

  • 研究成果

    (19件)

すべて 2012 2011 2010 その他

すべて 雑誌論文 (4件) (うち査読あり 1件) 学会発表 (13件) 図書 (1件) 備考 (1件)

  • [雑誌論文] Dagstuhl Seminar on Bidirectional Transformations2011

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

      SIGMOD Record

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

  • [雑誌論文] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2011

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

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

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

  • [雑誌論文] 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

  • [雑誌論文] Context-Preserving XQuery Fusion

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

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

      巻: (掲載確定)

    • 査読あり
  • [学会発表] 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
    • 年月日
      20120602-09
  • [学会発表] Delta Lenses over Inductive Types2012

    • 著者名/発表者名
      Hugo Pacheco, Alcino Cunha, Zhenjiang Hu
    • 学会等名
      First International Workshop on Bidirectional Transformations (BX 2012)
    • 発表場所
      Tallinn, Estonia
    • 年月日
      2012-03-25
  • [学会発表] 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
    • 年月日
      20111106-10
  • [学会発表] 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
    • 年月日
      20110720-22
  • [学会発表] 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
    • 年月日
      20110718-20
  • [学会発表] 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
    • 年月日
      20110627-28
  • [学会発表] 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
    • 年月日
      20101122-1201
  • [学会発表] 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
    • 年月日
      20101003-08
  • [学会発表] 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
    • 年月日
      20100927-29
  • [学会発表] 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
    • 年月日
      20100927-29
  • [学会発表] 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
    • 年月日
      20100621-23
  • [学会発表] Grammar-based Approach to Invertible Programs2010

    • 著者名/発表者名
      Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
    • 学会等名
      19th European Symposium on Programming (ESOP 2010)
    • 発表場所
      Paphos, Cyprus
    • 年月日
      20100322-26
  • [学会発表] 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
  • [図書] Theory and Practice of Model Transformations - 5th International Conference2012

    • 著者名/発表者名
      Zhenjiang Hu, Juan de Lara (Eds)
    • 総ページ数
      LNCS 7307
    • 出版者
      ICMT 2012, Prague, Czech Republic
  • [備考]

    • URL

      http://www.biglab.org/

URL: 

公開日: 2015-07-16  

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

Powered by NII kakenhi