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

大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築

研究課題

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

基盤研究(A)

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

研究代表者

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

研究分担者 加藤 弘之  国立情報学研究所, コンテンツ科学研究系, 助教 (10321580)
中野 圭介  電気通信大学, 情報理工学(系)研究科, 准教授 (30505839)
日高 宗一郎  国立情報学研究所, アーキテクチャ科学研究系, 助教 (70321578)
浅田 和之  東京大学, 情報理工学(系)研究科, 研究員 (00570251)
連携研究者 江本 健斗  九州工業大学, 情報工学研究院, 准教授 (00587470)
森畑 明昌  東京大学, 大学院総合文化研究科, 講師 (10582257)
松田 一孝  東北大学, 大学院情報科学研究科, 准教授 (10583627)
研究協力者 ZHU Zirun  総合研究大学院大学, 複合科学研究科情報学専攻, 大学院生
研究期間 (年度) 2013-04-01 – 2017-03-31
研究課題ステータス 完了 (2016年度)
配分額 *注記
40,300千円 (直接経費: 31,000千円、間接経費: 9,300千円)
2016年度: 9,360千円 (直接経費: 7,200千円、間接経費: 2,160千円)
2015年度: 9,360千円 (直接経費: 7,200千円、間接経費: 2,160千円)
2014年度: 9,750千円 (直接経費: 7,500千円、間接経費: 2,250千円)
2013年度: 11,830千円 (直接経費: 9,100千円、間接経費: 2,730千円)
キーワード双方向変換 / 双方向変換言語 / グラフ変換 / データ同期 / ソフトウエア共進化 / ソフトウエア自己適応 / 自動双方向化 / ソフトウェア共進化 / ソフトウェア自己適応
研究成果の概要

本研究は、大規模な実用に耐えうる双方向グラフ変換のための双方向変換言語の実現を目指して、まず、双方向変換の本質がPutback変換(逆反映変換)である理論を示し、それに基づいた双方向変換の振る舞いを完全に記述しRoundtrip性質を保証できるBiGULの実現に成功した。また、多様なグラフ構造に対応可能な有力な双方向変換を開発し、モデル駆動開発で広く用いられているモデル変換言語ATLの双方向化を行った。さらに、実証研究として、ユーザ向けのソースプログラムとシステム実現向けの抽象構文木の間の双方向変換を開発するためのBiYaccシステムなどを開発し、双方向変換の有効性を確認した。

報告書

(5件)
  • 2016 実績報告書   研究成果報告書 ( PDF )
  • 2015 実績報告書
  • 2014 実績報告書
  • 2013 実績報告書
  • 研究成果

    (51件)

すべて 2017 2016 2015 2014 2013 その他

すべて 国際共同研究 (8件) 雑誌論文 (9件) (うち国際共著 3件、 査読あり 9件、 オープンアクセス 9件) 学会発表 (30件) (うち国際学会 15件、 招待講演 1件) 備考 (4件)

  • [国際共同研究] 北京大学/上海交通大学(中国)

    • 関連する報告書
      2016 実績報告書
  • [国際共同研究] オックスフォード大学/オープン大学(英国)

    • 関連する報告書
      2016 実績報告書
  • [国際共同研究] ミンホ大学(ポルトガル)

    • 関連する報告書
      2016 実績報告書
  • [国際共同研究] ブエノスアイレス大学(アルゼンチン)

    • 関連する報告書
      2016 実績報告書
  • [国際共同研究] 北京大学/上海交通大学(中国)

    • 関連する報告書
      2015 実績報告書
  • [国際共同研究] オックスフォード大学/オープン大学(英国)

    • 関連する報告書
      2015 実績報告書
  • [国際共同研究] ミンホ大学(ポルトガル)

    • 関連する報告書
      2015 実績報告書
  • [国際共同研究] ブエノスアイレス大学(アルゼンチン)

    • 関連する報告書
      2015 実績報告書
  • [雑誌論文] BiFluX: A Bidirectional Functional Update Language for XML2016

    • 著者名/発表者名
      Tao Zan, Hugo Pacheco, Hsiang-Shang Ko, Zhenjiang Hu
    • 雑誌名

      JSSST Computer Software

      巻: 印刷中

    • NAID

      130005290614

    • 関連する報告書
      2015 実績報告書
    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] Feature-based classification of bidirectional transformation approaches2015

    • 著者名/発表者名
      Soichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu
    • 雑誌名

      Software and Systems Modeling

      巻: 未定 号: 3 ページ: 907-928

    • DOI

      10.1007/s10270-014-0450-0

    • 関連する報告書
      2015 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] The Essence of Bidirectional Programming2015

    • 著者名/発表者名
      Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco
    • 雑誌名

      Science China Information Sciences

      巻: Vol.58, No. 5 号: 5 ページ: 1-21

    • DOI

      10.1007/s11432-015-5316-8

    • 関連する報告書
      2015 実績報告書
    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] Constructing Format-Preserving Printing from Syntax-Directed Definition2015

    • 著者名/発表者名
      Lichao Wang, Guoqiang Li, Zhenjiang Hu
    • 雑誌名

      Science China Information Sciences

      巻: Vol.58, No.11 号: 11 ページ: 1-14

    • DOI

      10.1007/s11432-015-5368-9

    • 関連する報告書
      2015 実績報告書
    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] Context-Preserving XQuery Fusion2014

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

      Mathematical Structures in Computer Science

      巻: online 号: 4 ページ: 916-941

    • DOI

      10.1017/s096012951300008x

    • 関連する報告書
      2015 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] A Generate-Test-Aggregate Parallel Programming Library for Systematic Parallel Programming2014

    • 著者名/発表者名
      Yu Liu, Kento Emoto, Zhenjiang Hu
    • 雑誌名

      Parallel Computing

      巻: Volume 40, Issue 2 号: 4 ページ: 116-135

    • DOI

      10.1007/s11390-014-1462-5

    • 関連する報告書
      2014 実績報告書 2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins2013

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

      Journal of Functional Programming

      巻: Volume 23, Issue 5 号: 5 ページ: 515-551

    • DOI

      10.1017/s0956796813000130

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] 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

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals2013

    • 著者名/発表者名
      Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
    • 雑誌名

      Higher-Order and Symbolic Computation

      巻: Volume 25, Issue 1 号: 1 ページ: 3-38

    • DOI

      10.1007/s10990-013-9097-8

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [学会発表] Bidirectional Certified Programming2017

    • 著者名/発表者名
      Daisuke Kinoshita, Keisuke Nakano
    • 学会等名
      6th International Workshop on Bidirectional Transformations (BX 2017)
    • 発表場所
      Uppsala (Sweden)
    • 年月日
      2017-04-29
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] A Practical Benchmark Framework for Bidirectional Transformations2017

    • 著者名/発表者名
      Anthony Anjorin, Zinovy Diskin, Frederic Rouault, Hsiang-Shang Ko, Erhan Leblebici, Bernhard Westfechtel,BenchmarX Reloaded
    • 学会等名
      6th International Workshop on Bidirectional Transformations (BX 2017)
    • 発表場所
      Uppsala (Sweden)
    • 年月日
      2017-04-29
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] セル単位のデータ来歴--データ引用に向けて--2017

    • 著者名/発表者名
      朴 柱英、吉川 正俊、加藤 弘之
    • 学会等名
      第9回データ工学と情報マネジメントに関するフォーラム
    • 発表場所
      高山グリーンホテル(岐阜県高山市)
    • 年月日
      2017-03-06
    • 関連する報告書
      2016 実績報告書
  • [学会発表] Integrating Goal Model into Rule-based Adaptation2016

    • 著者名/発表者名
      Tianqi Zhao, Tao Zan, Haiyan Zhao, Zhenjiang Hu, Zhi Jin
    • 学会等名
      23rd Asia-Pacific Software Engineering Conference (APSEC 2016)
    • 発表場所
      Hamilton (New Zealand)
    • 年月日
      2016-12-06
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] Parsing and Reflective Printing, Bidirectionally2016

    • 著者名/発表者名
      Zirun Zhu, Hsiang-Shang Ko, Pedro Martins, Joao Saraiva, Zhenjiang Hu
    • 学会等名
      9th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2016)
    • 発表場所
      Amsterdam (The Netherlands)
    • 年月日
      2016-10-31
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming2016

    • 著者名/発表者名
      Weize Zhao, Haiyan Zhao, Zhenjiang Hu
    • 学会等名
      Sixth International Model-Driven Requirements Engineering Workshop (MoDRE)
    • 発表場所
      Beijing (China)
    • 年月日
      2016-09-12
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] Bidirectionalizing Model Transformation Languages through Partial Translation2016

    • 著者名/発表者名
      日高 宗一郎、Massimo Tisi
    • 学会等名
      日本ソフトウェア科学会第33回大会
    • 発表場所
      東北大学(宮城県仙台市)
    • 年月日
      2016-09-06
    • 関連する報告書
      2016 実績報告書
  • [学会発表] Transforming Programs between APIs with Many-to-Many Mappings2016

    • 著者名/発表者名
      Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu
    • 学会等名
      30th European Conference on Object-Oriented Programming (ECOOP 2016)
    • 発表場所
      Rome (Italy)
    • 年月日
      2016-07-17
    • 関連する報告書
      2015 実績報告書
    • 国際学会
  • [学会発表] Reusable Self-Adaptation through Bidirectional Programming2016

    • 著者名/発表者名
      Robin Dupuis, Kevin Colson, Lionel Montrieux, Zhenjiang Hu, Sebastian Uchitel, Pierr-Yves Schobbens
    • 学会等名
      11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2016)
    • 発表場所
      Austin, Texas (USA)
    • 年月日
      2016-05-16
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] Rule-Directed Code Clone Synchronization2016

    • 著者名/発表者名
      Xiao Cheng, Hao Zhong, Yuting Chen, Zhenjiang Hu, Jianjun Zhao
    • 学会等名
      24th IEEE International Conference on Program Comprehension (ICPC 2016)
    • 発表場所
      Austin, Texas (USA)
    • 年月日
      2016-05-16
    • 関連する報告書
      2015 実績報告書
    • 国際学会
  • [学会発表] Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views2016

    • 著者名/発表者名
      Tao Zan, Li Liu, Hsiang-Shang Ko, Zhenjiang Hu
    • 学会等名
      5th International Workshop on Bidirectional Transformations (BX 2016)
    • 発表場所
      Eindhoven (The Netherlands)
    • 年月日
      2016-04-08
    • 関連する報告書
      2016 実績報告書
    • 国際学会
  • [学会発表] Supporting Selective Undo for Refactoring2016

    • 著者名/発表者名
      Xiao Cheng, Yuting Chen, Zhenjiang Hu, Tao Zan, Mengyu Liu, Hao Zhong, Jianjun Zhao
    • 学会等名
      23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016)
    • 発表場所
      大阪大学(大阪府吹田市)
    • 年月日
      2016-03-14
    • 関連する報告書
      2015 実績報告書
    • 国際学会
  • [学会発表] BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming2016

    • 著者名/発表者名
      Hsiang-Shang Ko, Tao Zan, Zhenjiang Hu
    • 学会等名
      ACM SIGPLAN 2016 Workshop on Partial Evaluation and Program Manipulation (PEPM 2016)
    • 発表場所
      St. Petersburg, Florida (USA)
    • 年月日
      2016-01-18
    • 関連する報告書
      2015 実績報告書
    • 国際学会
  • [学会発表] BiYacc: Roll Your Parser and Reflective Printer into One2015

    • 著者名/発表者名
      Zirun Zhu, Hsiang-Shang Ko, Pedro Martins, Joao Saraiva, Zhenjiang Hu
    • 学会等名
      4th International Workshop on Bidirectional Transformations (BX 2015)
    • 発表場所
      L'Aquila (Italy)
    • 年月日
      2015-07-24
    • 関連する報告書
      2015 実績報告書
    • 国際学会
  • [学会発表] Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations2015

    • 著者名/発表者名
      Soichiro Hidaka, Martin Billes, Quang Minh Tran, Kazutaka Matsuda
    • 学会等名
      4th International Workshop on Bidirectional Transformations (BX 2015)
    • 発表場所
      L'Aquila (Italy)
    • 年月日
      2015-07-24
    • 関連する報告書
      2015 実績報告書
    • 国際学会
  • [学会発表] A Clear Picture of Lens Laws2015

    • 著者名/発表者名
      Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco
    • 学会等名
      12th International Conference on Mathematics of Program Construction (MPC 2015)
    • 発表場所
      Konigswinter (Germany)
    • 年月日
      2015-06-29
    • 関連する報告書
      2015 実績報告書
    • 国際学会
  • [学会発表] Towards Attribute-Based Authorisation for Bidirectional Programming2015

    • 著者名/発表者名
      Lionel Montrieux, Zhenjiang Hu
    • 学会等名
      20th ACM Symposium on Access Control Models and Technologies (SACMAT 2015)
    • 発表場所
      Vienna (Austria)
    • 年月日
      2015-06-01
    • 関連する報告書
      2015 実績報告書
    • 国際学会
  • [学会発表] SWIN: Towards Type-Safe Java Program Adaptation between APIs2015

    • 著者名/発表者名
      Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang Hu
    • 学会等名
      ACM SIGPLAN 2015 Workshop on Partial Evaluation and Program Manipulation (PEPM 2015)
    • 発表場所
      Tata Institute of Fundamental Research, Mumbai, India
    • 年月日
      2015-01-14
    • 関連する報告書
      2014 実績報告書
  • [学会発表] BiFluX: A Bidirectional Functional Update Language for XML2014

    • 著者名/発表者名
      Hugo Pacheco, Tao Zan Zhenjiang Hu
    • 学会等名
      16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014)
    • 発表場所
      University of Kent, Canterbury, UK
    • 年月日
      2014-09-09
    • 関連する報告書
      2014 実績報告書
  • [学会発表] Optimization for Iterative Queries on MapReduce2014

    • 著者名/発表者名
      Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu
    • 学会等名
      40th International Conference on Very Large Data Base (VLDB 2014)
    • 発表場所
      Dragon Hotel, Hangzhou, China
    • 年月日
      2014-09-02
    • 関連する報告書
      2014 実績報告書
  • [学会発表] Writing Bidirectional Model Transformations as Intentional Updates (NIER Track Paper)2014

    • 著者名/発表者名
      Tao Zan, Hugo Pacheco, Zhenjiang Hu
    • 学会等名
      36th International Conference on Software Engineering, New Idea and Emerging Results Track, (ICSE 2014 (NIER Track))
    • 発表場所
      Hyderabad International Convention Centre, Hyderabad, India
    • 年月日
      2014-06-05
    • 関連する報告書
      2014 実績報告書
  • [学会発表] Validity Checking of Putback Transformations in Bidirectional Programming2014

    • 著者名/発表者名
      Zhenjiang Hu, Hugo Pacheco, Sebastian Fischer
    • 学会等名
      19th Interntional Symposium on Formal Methods (FM 2014)
    • 発表場所
      National University of Singapore, Singapore
    • 年月日
      2014-05-15
    • 関連する報告書
      2014 実績報告書
    • 招待講演
  • [学会発表] XQuery Streaming by Forest Transducers2014

    • 著者名/発表者名
      Shizuya Hakuta, Sebastian Maneth, Keisuke Nakano, Hideya Iwasaki
    • 学会等名
      30th IEEE International Conference on Data Engineering (ICDE 2014)
    • 発表場所
      Holiday Inn Chicago Mart Plaza, Chicago, Illinois, USA
    • 年月日
      2014-04-03
    • 関連する報告書
      2013 実績報告書
  • [学会発表] Monadic Combinators for ``Putback'' Style Bidirectional Programming2014

    • 著者名/発表者名
      Hugo Pacheco, Zhenjiang Hu, Sebastian Fischer
    • 学会等名
      ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation (PEPM 2014)
    • 発表場所
      The US Grant, San Diego, California, USA
    • 年月日
      2014-01-20
    • 関連する報告書
      2013 実績報告書
  • [学会発表] Towards Co-Evolution in Model-driven Development via Bidirectional Higher-Order Transformation (Position Paper)2014

    • 著者名/発表者名
      Bernhard Hoisl, Soichiro Hidaka, Zhenjiang Hu
    • 学会等名
      2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014)
    • 発表場所
      Sana Lisbon Hotel,Lisbon, Portugal
    • 年月日
      2014-01-07
    • 関連する報告書
      2013 実績報告書
  • [学会発表] Efficient Query Evaluation on Distributed Graphs with Hadoop Environment2013

    • 著者名/発表者名
      Le Dec Tung, Nguyen-Van Quyet, Zhenjiang Hu
    • 学会等名
      4th International Symposium on Information and Communication Technology (SoICT 2013)
    • 発表場所
      Pullman Danang Beach Resort, Da Nang, Vietnam
    • 年月日
      2013-12-05
    • 関連する報告書
      2013 実績報告書
  • [学会発表] Minimizing Data Transfers for Regular Reachability Queries on Distributed Graphs2013

    • 著者名/発表者名
      Nguyen-Van Quyet, Le Dec Tung, Zhenjiang Hu
    • 学会等名
      4th International Symposium on Information and Communication Technology (SoICT 2013)
    • 発表場所
      Pullman Danang Beach Resort, Da Nang, Vietnam
    • 年月日
      2013-12-05
    • 関連する報告書
      2013 実績報告書
  • [学会発表] Structural Recursion for Querying Ordered Graphs2013

    • 著者名/発表者名
      Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
    • 学会等名
      18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013)
    • 発表場所
      Hilton Boston Logan Airport Hotel, Boston, Massachusetts, USA
    • 年月日
      2013-09-27
    • 関連する報告書
      2013 実績報告書
  • [学会発表] Towards Systematic Parallel Programming of Graph Problems via Tree Decomposition and Tree Parallelism2013

    • 著者名/発表者名
      Qi Wang, Meixian Chen, Yu Liu, Zhenjiang Hu
    • 学会等名
      2nd ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC 2013)
    • 発表場所
      Hilton Boston Logan Airport Hotel, Boston, Massachusetts,USA
    • 年月日
      2013-09-23
    • 関連する報告書
      2013 実績報告書
  • [学会発表] A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches2013

    • 著者名/発表者名
      Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
    • 学会等名
      15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013)
    • 発表場所
      Complutense University of Madrid, Madrid, Spain
    • 年月日
      2013-09-16
    • 関連する報告書
      2013 実績報告書
  • [備考] Putback-based Bidirectional Programming

    • URL

      http://www.prg.nii.ac.jp/bx/

    • 関連する報告書
      2016 実績報告書
  • [備考] Bidirectional Computation

    • URL

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

    • 関連する報告書
      2015 実績報告書
  • [備考] The BiG Project

    • URL

      http://www.biglab.org

    • 関連する報告書
      2014 実績報告書 2013 実績報告書
  • [備考] BiFluX

    • URL

      http://www.prg.nii.ac.jp/projects/BiFluX/

    • 関連する報告書
      2014 実績報告書 2013 実績報告書

URL: 

公開日: 2013-05-15   更新日: 2022-02-07  

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

Powered by NII kakenhi