A study on functional bidirectional graph transformation languages

函数式双向图转换语言研究

• 批准号: 23700047
• 负责人: HIDAKA Soichiro
• 金额: $ 2.25万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2011
• 资助国家: 日本
• 起止时间: 2011 至 2013
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23700047/
• 关键词: プログラム言語論; プログラミングパラダイム; プログラム処理系; 双方向グラフ変換; 関数型言語; 順序つきグラフ

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.

双向图变换被认为是一种很有前途的方法，用于在模型驱动工程中用作模型变换的变换上双向传播修改。我们加强了以前基于正则树上结构递归的方法，在节点的输出边之间引入了序，据我们所知，这是迄今为止还没有实现的。我们已经成功地引入了正向变换的顺序，扩展了表达能力，并通过嵌入lambda演算实现了一个原型。至于性能问题，我们已经阐明了可以规范化转换并消除中间结果的情况。我们研究的应用包括系统生物学模型的协同开发。

项目成果

Context-Preserving XQuery Fusion

上下文保留 XQuery 融合

• 发表时间: 2014
• 期刊: Mathematical Structure in Computer Science (MSCS)
• 作者: Hiroyuki Kato;Soichiro HIdaka;Zhenjiang Hu;Keisuke Nakano;Yasunori Ishihara
• 通讯作者: Yasunori Ishihara

Marker-directed Optimization of UnCAL Graph Transformations (revised version)

UnCAL图转换的标记导向优化（修订版）

• 发表时间: 2011
• 期刊: GRACE Technical Report (GRACE-TR-2011-06)
• 作者: Soichiro Hidaka;Zhenjiang Hu;Kazuhiro Inaba;Hiroyuki Kato;Kazutaka Matsuda;Keisuke Nakano and Isao Sasano
• 通讯作者: Keisuke Nakano and Isao Sasano

Marker-directed Optimization of UnCAL Graph Transformations

UnCAL 图转换的标记导向优化

• 发表时间: 2011
• 期刊: GRACE Technical Report (GRACE-TR-2011-02)
• 作者: Soichiro Hidaka;Zhenjiang Hu;Kazuhiro Inaba;Hiroyuki Kato;Kazutaka Matsuda;Keisuke Nakano and Isao Sasano
• 通讯作者: Keisuke Nakano and Isao Sasano

[1]. LambdaFG version 0.1.

[1]。

A Bidirectional Collaboration Framework for Bio-Model Development

生物模型开发的双向协作框架

• 发表时间: 2014
• 期刊: Second International Workshop on Bidirectional Transformations, ECEASST
• 作者: Yoshiyuki Asai;Takeshi Abe;Hideki Oka;Masao Okita;Tomohiro Okuyama;Kenichi Hagihara;Samik Ghosh;Yukiko Matsuoka;and Hiroaki Kitano;John Wilson-Kanamori and Soichiro Hidaka
• 通讯作者: John Wilson-Kanamori and Soichiro Hidaka