関数型双方向グラフ変換言語に関する研究

2013 年度 研究成果報告書

• 研究課題/領域番号: 23700047
• 研究種目: 若手研究(B)
• 配分区分: 基金
• 研究分野: ソフトウエア
• 研究機関: 国立情報学研究所
• 研究代表者: 日高 宗一郎 国立情報学研究所, アーキテクチャ科学研究系, 助教 (70321578)
• 研究期間 (年度): 2011 – 2013
• キーワード: プログラム言語論 / プログラミングパラダイム / プログラム処理系 / 双方向グラフ変換 / 関数型言語 / 順序つきグラフ

研究概要

本研究は、モデル駆動工学におけるモデル変換などで、変換を越えて更新を双方向に伝搬させる重要な役割が期待されるグラフの双方向変換に対する、正規木上の構造再帰に基づくアプローチを発展させるものである。これまで考慮されなかった各ノードの枝間の順序については、順変換について導入し、記述能力も向上させ、λ計算への埋め込みとしてプロトタイプを実装した。性能面では、プログラム変換が正規形へ持ち込める条件、中間データを削除出来る条件を明確にした。応用面では合成生物学におけるモデルの共同開発事例への適用等を行った。

研究成果

• [雑誌論文] 高談闊論 : 双方向変換の原理と実践 (解説論文) (2014)
  • 著者名/発表者名: 加藤弘之, 胡振江, 日高宗一郎, 松田一孝
  • 雑誌名: 日本ソフトウェア科学会論文誌コンピュータソフトウェア 巻: Vol.31, No.2 ページ: 44-56
  • DOI: 10.11309/jssst.31.2_44
  • 査読あり
• [雑誌論文] On the use of Bidirectional Transformations for Translational Semantics GRACE TECHNICAL REPORTS (2014)
  • 著者名/発表者名: Florent Latombe and Soichiro Hidaka
  • 雑誌名: National Institute of Informatics 巻: 2014(1) ページ: 1-16
• [雑誌論文] A Bidirectional Collaboration Framework for Bio-Model Development (2014)
  • 著者名/発表者名: John Wilson-Kanamori and Soichiro Hidaka
  • 雑誌名: Second International Workshop on Bidirectional Transformations, ECEASST 巻: Vol.57
  • URL: http://journal.ub.tu-berlin.de/eceasst/article/view/866/861
  • 査読あり
• [雑誌論文] Optimization for iterative queries on MapReduce (2013)
  • 著者名/発表者名: Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu
  • 雑誌名: PVLDB 巻: Vol.7, No.4 ページ: 241-252
  • URL: http://www.vldb.org/pvldb/vol7/p241-onizuka.pdf
  • 査読あり
• [雑誌論文] GRoundTram : An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (2013)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kei suke Nakano
  • 雑誌名: Progress in Informatics, Special Issue : Advanced Programming Techniques for Construction of Robust, General and Evolutionary Programs 巻: Vol.10 ページ: 131-148
  • DOI: 10.2201/NiiPi.2013.10.7
  • 査読あり
• [雑誌論文] 『モデル駆動工学の原理と応用』(1) モデル駆動工学の歴史と背景(解説論文) (2013)
  • 著者名/発表者名: 日高宗一郎, Jean Bezivin, 胡振江, Frederic Jouault
  • 雑誌名: コンピュータソフトウェア 巻: Vol.30, No.3 25-44
  • DOI: 10.11309/jssst.30.3_25
  • 査読あり
• [雑誌論文] iGRT : A Generic Interface for GRoundTram (2012)
  • 著者名/発表者名: Yiqing ZHU, Tao ZAN, Soichiro HIDAKA and Zhenjiang HU
  • 雑誌名: GRACE Technical Report 巻: (GRACE-TR 2012-06 ページ: 1-31
• [雑誌論文] Marker-directed optimization of UnCAL graph transformations, Logic-Based Program Synthesis and Transformation (2012)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano
  • 雑誌名: 21st International Symposium, LOPSTR 2011, Odense, Denmark, Revised Selected Papers, Lecture Notes in Computer Science 巻: Vol.7225 ページ: 123-138
  • DOI: 10.1007/978-3-642-32211-2_9
  • 査読あり
• [雑誌論文] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定 (2012)
  • 著者名/発表者名: 中野 圭介,日高 宗一郎, 胡 振江, 稲葉 一浩, 加藤弘之
  • 雑誌名: 日本ソフトウェア科学会論文誌コンピュータソフトウェア 巻: Vol.29, No.2 ページ: 174-192
  • DOI: 10.11309/jssst.29.2_174
  • 査読あり
• [雑誌論文] Lionel Montrieux blinkit : Maintaining Invariant Traceability through Bidirectional Transformations (2011)
  • 著者名/発表者名: Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato
  • 雑誌名: Technical Reports at the Centre for Research in Computing, Faculty of Mathematics, Computing and Technology, The Open University 巻: 2011(9) ページ: 1-13
• [雑誌論文] Towards Bidirectional Transformations on Ordered Graphs GRACE (2011)
  • 著者名/発表者名: Soichiro Hidaka, Kazuyuki Asada, Hiroyuki Kato, Keisuke Nakano, Zhenjiang Hu
  • 雑誌名: Technical Report 巻: GRACE-TR-2011-07 ページ: 1-24
• [雑誌論文] Context-Preserving XQuery Fusion
  • 著者名/発表者名: Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano and Yasunori Ishihara
  • 雑誌名: Mathematical Structures in Computer Science, APLAS 2010 special issue, (Cambridge University Press) 巻: (accepted, 掲載号未定)
  • 査読あり
• [学会発表] Preface to the Third International Workshop on Bidirectional Transformations (2014)
  • 著者名/発表者名: Soichiro Hidaka, James F. Terwilliger
  • 学会等名: Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014)
  • URL: http://ceur-ws.org/Vol-1133/paper-09.pdf
  • 発表場所: Athens, Greece(pp.61-62)
  • 年月日: 2014-03-28
• [学会発表] Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation (2014)
  • 著者名/発表者名: Bernhard Hoisl, Zhenjiang Hu and Soichiro Hidaka
  • 学会等名: MODELSWARD 2014-Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development
  • URL: http://nm.wu-wien.ac.at/nm/file/MODELSWARD2014-PP%2epdf?m=download
  • 発表場所: Lisbon, Portugal(pp. 466-471)
  • 年月日: 2014-01-07
• [学会発表] Position Statement : Compositional development framework for bidirectional model transformations based on structural recursion on graphs (2013)
  • 著者名/発表者名: Soichiro Hidaka
  • 学会等名: Bi-directional transformations (BX) - Theory and Applications Across Disciplines
  • 発表場所: Banff Centre, Banff, Canada
  • 年月日: 2013-12-04
• [学会発表] Structural recursion for querying ordered graphs (2013)
  • 著者名/発表者名: Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • 学会等名: 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013)
  • 発表場所: The Hilton Boston Logan Airport Hotel, Boston, USA
  • 年月日: 2013-09-27
• [学会発表] A parameterized graph transformation calculus for finite graphs with monadic branches (2013)
  • 著者名/発表者名: Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
  • 学会等名: 15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013)
  • 発表場所: Complutense of University of Madrid, Madrid, Spain
  • 年月日: 2013-09-16
• [学会発表] Bidirectional Graph Transformation Infrastructure and its Applications (2013)
  • 著者名/発表者名: 日高 宗一郎
  • 学会等名: NII Shonan Meeting on Engineering Adaptive Software Systems, (EASSy)
  • 発表場所: 湘南国際村センター、逗子市、神奈川県
  • 年月日: 2013-09-10
• [学会発表] Towards an interoperable bidirectional graph transformation system (2013)
  • 著者名/発表者名: Soichiro Hidaka
  • 学会等名: 3rd Asian Workshop on Advanced Software Engineering (AWASE 2013)
  • 発表場所: National University of Singapore, Singapore
  • 年月日: 2013-07-20
• [学会発表] A Bidirectional Collaboration Framework for Bio-Model Development (2013)
  • 著者名/発表者名: John Wilson-Kanamori and Soichiro Hidaka
  • 学会等名: Second International Workshop on Bidirectional Transformation
  • 発表場所: Sapienza, University of Rome (Rome, Italy)
  • 年月日: 2013-03-17
• [学会発表] Interoperable traceability in bidirectional graph transformations (2012)
  • 著者名/発表者名: 日高 宗一郎
  • 学会等名: Atlanmod-BiG Joint workshop on Bidirectionality in Model Transformations
  • 発表場所: MINES ParisTech, Ecole Nationale Superieure des Mines de Paris
  • 年月日: 2012-09-15
• [学会発表] Maintaining Invariant Traceability through Bidirectional Transformations (2012)
  • 著者名/発表者名: Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux blinkit
  • 学会等名: 34th International Conference on Software Engineering (ICSE 2012)
  • 発表場所: Kongresshaus (Zurich, Switzerland)
  • 年月日: 2012-06-07
• [学会発表] Bidirectional Model Transformation based on Structural Recursion on Graphs (2012)
  • 著者名/発表者名: Soichiro Hidaka
  • 学会等名: Seminar in Informatics dep. Ecole des Mines de Nantes
  • 発表場所: Ecole des Mines de Nantes(Nantes, France)
  • 年月日: 2012-03-23
• [学会発表] GRoundTram : An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper) (2011)
  • 著者名/発表者名: Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
  • 学会等名: The 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
  • 発表場所: The Oread (Kansas, USA)
  • 年月日: 2011-11-09
• [学会発表] GRoundTram as an Integrated Framework and Developing Environments for Bidirectional Model Transformations (2011)
  • 著者名/発表者名: Soichiro Hidaka
  • 学会等名: 2nd NII-PKU International Joint Workshop on Advanced Software Engineering
  • 発表場所: ラフォーレ強羅(神奈川県)
  • 年月日: 2011-10-21
• [学会発表] GRoundTram によるATL の双方向化の実現 (2011)
  • 著者名/発表者名: 篠埜 功、胡 振江、日高 宗一郎、稲葉 一浩、加藤 弘之、中野 圭介
  • 学会等名: 日本ソフトウェア科学会第28回大会
  • 発表場所: 沖縄産業支援センター(沖縄県)
  • 年月日: 2011-09-29
• [学会発表] 胡振江漸進的グラフビュー維持の枠組みの提案 (2011)
  • 著者名/発表者名: 加藤弘之、鬼塚真、日高宗一郎、中野圭介
  • 学会等名: 日本ソフトウェア科学会第28回大会
  • 発表場所: 沖縄産業支援センター(沖縄県)
  • 年月日: 2011-09-29
• [学会発表] Graph-Transformation Verification using Monadic Second-Order Logic (2011)
  • 著者名/発表者名: Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
  • 学会等名: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
  • 発表場所: University of Southern Denmark (Odense, Denmark)
  • 年月日: 2011-07-20
• [学会発表] Marker-directed optimization of UnCAL graph transformations (2011)
  • 著者名/発表者名: 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)
  • 発表場所: University of Southern Denmark(Odense, Denmark)
  • 年月日: 2011-07-19
• [学会発表] Toward bidirectionalization of ATL with GRoundTram (2011)
  • 著者名/発表者名: Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
  • 学会等名: 4th International Conference on Model Transformation (ICMT 2011)
  • 発表場所: Zurich, Switzerland
  • 年月日: 2011-06-27
• [学会発表] Static and Dynamic Optimizations in a Graph Roundtrip Transformation System GRoundTram (2011)
  • 著者名/発表者名: Soichiro Hidaka
  • 学会等名: 5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (BT in ABC 5)
  • 発表場所: Xi'an Jiaotong University (Xi'an, China)
  • 年月日: 2011-05-17
• [備考] [1]. LambdaFG version 0.1.
  • URL: http://www.biglab.org/src/lambdaFG/
• [備考] [2]. GRoundTram Version. 0.9.3a 研究代表者の貢献は (a). ラウンドトリップ性を満たすグラフ縮約の編集インタフェース(学会発表[11]/雑誌論文[5]), (b). UnCAL 書き換えアルゴリズムの強化 (雑誌論文[9]), (c). 由来追跡(provenance traceability)インタフェースの強化.
  • URL: http://www.biglab.org/src/ground_tram-0.9.3a.tgz