• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2012 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number 22300012
Research InstitutionNational Institute of Informatics

Principal Investigator

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

Co-Investigator(Kenkyū-buntansha) 日高 宗一郎  国立情報学研究所, アーキテクチャ科学研究系, 助教 (70321578)
加藤 弘之  国立情報学研究所, コンテンツ科学研究系, 助教 (10321580)
Project Period (FY) 2010-04-01 – 2014-03-31
Keywordsソフトウェア工学 / 双方向変換 / モデル駆動ソフトウエア開発
Research Abstract

平成24年度には、順序付くグラフを対象とする双方向グラフ言語の意味論、双方向モデル変換言語の効率的な実現、そして双方向モデル変換の応用を中心に研究を進め、次の研究成果をあげた。
(1) 順序付くグラフを対象とする双方向モデル変換言語の意味論への拡張:これまでの双方向グラフ変換は順序なし分岐グラフを対象としている。今年度は、XMLなどを応用対象とする順序付き分岐グラフなども変換の対象として拡張し、より一般的な双方向グラフ変換言語を定義し実現した。
(2) 双方向グラフ変換言語の効率的な実現:双方向モデル変換の記述に際して、複数の変換を組み合わせて大きな変換を合成出来ることは重要である。更に処理対象のモデルの大きさに対してスケーラブルであることは実用的なソフトウェア開発に不可欠であり、有力な双方向計算の解析技術と逐次更新による効率的な計算手法の開発が必要である。本年度は、遅延評価、逐次更新計算方法、並列計算等の最適化の技術を検討した。
(3) 双方向モデル変換の応用:モデルとコードの共進化という具体的なソフトウェアの開発事例を用いて実証実験を行い、双方向モデル変換の有効性と実用性を評価した。この成果はソフトウエア工学のトップ会議であるICSE 2012で発表した。また、次のステップとして、双方向変換の手法を用いて、CPSにおけるソフトウエアの挑戦課題を解くための斬新なCPSにおけるソフトウエア運用基盤の構築を検討した。
この基盤Bの継続研究としての「大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築」という基盤Aプロジェクトは、プログラムコードのような大規模なグラフ構造を有する応用に適用するために、宣言的な枠組みでユーザの意図した逆変換を組み込みながら(1) 信頼性の確保、(2) 拡張可能性、(3) 効率化の自動化を目指す。

Current Status of Research Progress
Reason

24年度が最終年度であるため、記入しない。

Strategy for Future Research Activity

24年度が最終年度であるため、記入しない。

  • Research Products

    (12 results)

All 2013 2012 Other

All Journal Article (8 results) (of which Peer Reviewed: 7 results) Presentation (3 results) (of which Invited: 1 results) Remarks (1 results)

  • [Journal Article] Supporting Feature Model Refinement with Updatable View2013

    • Author(s)
      Bo Wang, Zhenjiang Hu, Qiang Sun, Haiyan Zhao, Yingfei Xiong, Wei Zhang, Hong Mei
    • Journal Title

      Frontiers of Computer Science

      Volume: Volume 7, Issue 2 Pages: 257-271

    • DOI

      10.1007/s11704-013-2047-0

    • Peer Reviewed
  • [Journal Article] An Expressive Bidirectional Transformation Language for XQuery View Update2013

    • Author(s)
      Dongxi Liu, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      Progress in Informatics

      Volume: Vol. 10 Pages: 89-130

    • Peer Reviewed
  • [Journal Article] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations2013

    • Author(s)
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
    • Journal Title

      Progress in Informatics

      Volume: Vol. 10 Pages: 131-148

    • Peer Reviewed
  • [Journal Article] Context-Preserving XQuery Fusion2013

    • Author(s)
      Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
    • Journal Title

      Mathematical Structures in Computer Science (MSCS)

      Volume: Vol. 23 Pages: 未定

    • Peer Reviewed
  • [Journal Article] Refactoring Pattern Matching2012

    • Author(s)
      Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
    • Journal Title

      Science of Computer Programming

      Volume: 未定 Pages: 未定

    • DOI

      10.1016/j.scico.2012.07.014

    • Peer Reviewed
  • [Journal Article] Manipulating Accumulative Functions by Swapping Call-time and Return-time Computations2012

    • Author(s)
      Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      Journal of Functional Programming

      Volume: Vol. 22, No. 3 Pages: 275-299

    • DOI

      10.1017/S0956796812000111

    • Peer Reviewed
  • [Journal Article] Delta Lenses over Inductive Types2012

    • Author(s)
      Hugo Pacheco, Alcino Cunha , Zhenjiang Hu
    • Journal Title

      Electronic Communications of the EASST

      Volume: Volume 49 Pages: 1-17

  • [Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012

    • Author(s)
      中野 圭介, 日高 宗一郎, 胡 振江, 稲葉 一浩, 加藤 弘之
    • Journal Title

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

      Volume: 29巻2号 Pages: 174-192

    • DOI

      10.11309/jssst.29.2-174

    • Peer Reviewed
  • [Presentation] Maintaining Invariant Traceability through Bidirectional Transformations2012

    • Author(s)
      Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux
    • Organizer
      34th International Conference on Software Engineering (ICSE 2012)
    • Place of Presentation
      Zurich, Switzerland
    • Year and Date
      20120602-09
  • [Presentation] Theory and Practice of Model Transformations

    • Author(s)
      Zhenjiang Hu, Juan de Lara
    • Organizer
      5th International Conference, ICMT 2012
    • Place of Presentation
      Prague, Czech
  • [Presentation] Practical Aspects of Bidirectional Graph Transformations

    • Author(s)
      Zhenjiang Hu
    • Organizer
      ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation
    • Place of Presentation
      Rome, Italy
    • Invited
  • [Remarks] The BiG Project

    • URL

      http://www.biglab.org

URL: 

Published: 2014-07-24  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi