A study on functional bidirectional graph transformation languages

2013 Fiscal Year Final Research Report

• Project/Area Number: 23700047
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Multi-year Fund
• Research Field: Software
• Research Institution: National Institute of Informatics
• Principal Investigator: HIDAKA Soichiro 国立情報学研究所, アーキテクチャ科学研究系, 助教 (70321578)
• Project Period (FY): 2011 – 2013
• Keywords: プログラム言語論 / プログラミングパラダイム / プログラム処理系 / 双方向グラフ変換 / 関数型言語 / 順序つきグラフ

Research Abstract

Bidirectional graph transformation has been considered to be a promising approach to propagating modifications bidirectionally over transformations that are used as model transformations in model-driven engineering. We have strengthened our previous approach based on structural recursions on regular trees.
We have introduced orders between outgoing edges of nodes, which, as far as we know, had not been realized so far. We have successfully introduced the order for forward transformations, extended the expressive power, and implemented a prototype by embedding into lambda calculi. As for the performance issue, we have clarified the cases in which we can normalize the transformation and eliminate intermediate results. Applications we have investigated include collaborative development of models in systems biology.

Research Products

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