Study on Language Foundation for Bidirectional Model Transformation

双向模型转换的语言基础研究

• 批准号: 22300012
• 负责人: HU Zhenjiang
• 金额: $ 8.9万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2010
• 资助国家: 日本
• 起止时间: 2010-04-01 至 2014-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22300012/
• 关键词: ソフトウェア工学; 双方向変換; モデル駆動ソフトウェア開発; モデルコードの共進化; モデル駆動ソフトウエア開発; グラフ変換; ソフトウエア工学; プログラミング言語; モデル変換

Bidirectional model transformation is useful for maintaining consistency between two models in model-driven software development. However, the lack of solid language foundation and a practical tool support for systematic development of well-behaved and efficient bidirectional model transformation prevent it from being widely used. We solve this problem by proposing a novel bidirectional graph transformation language UnQL+ which is an extension of unidirectional graph query language unQL, and implementing an integrated framework called GRoundTram, which is carefully designed and implemented for compositional development of well-behaved and efficient bidirectional model transformations in UnQL. GRoundTram is equipped with a user-friendly language for coding bidirectional model transformation, a novel tool for validating both models and bidirectional model transformations, an optimization mechanism for improving efficiency, and a powerful debugging environment.

双向模型转换对于维护模型驱动软件开发中两个模型之间的一致性非常有用。然而，由于缺乏扎实的语言基础和实用的工具支持来系统地开发良好且高效的双向模型转换，这阻碍了它的广泛应用。我们通过提出一种新颖的双向图转换语言 UnQL+ 来解决这个问题，它是单向图查询语言 unQL 的扩展，并实现一个名为 GRoundTram 的集成框架，该框架是为性能良好且高效的双向模型转换的组合开发而精心设计和实现的在UnQL中。 GRoundTram 配备了用于编码双向模型转换的用户友好语言、用于验证模型和双向模型转换的新颖工具、提高效率的优化机制以及强大的调试环境。

项目成果

Refactoring Pattern Matching

重构模式匹配

• DOI: 10.1016/j.scico.2012.07.014
• 发表时间: 2012
• 期刊: Science of Computer Programming
• 影响因子: 1.3
• 作者: Meng Wang;Jeremy Gibbons;Kazutaka Matsuda;Zhenjiang Hu
• 通讯作者: Zhenjiang Hu

An Expressive Bidirectional Transformation Language for XQuery View Update

用于 XQuery 视图更新的富有表现力的双向转换语言

• 发表时间: 2013
• 期刊: Progress in Informatics
• 作者: Dongxi Liu;Zhenjiang Hu;Masato Takeichi
• 通讯作者: Masato Takeichi

Synchronizing concurrent model updates based on bidirectional transformation

• DOI: 10.1007/s10270-010-0187-3
• 发表时间: 2013-02
• 期刊: Software & Systems Modeling
• 影响因子: 2
• 作者: Yingfei Xiong;Hui Song;Zhenjiang Hu;M. Takeichi

Bidirectionalizing graph transformations

• DOI: 10.1145/1863543.1863573
• 发表时间: 2010-09
• 作者: S. Hidaka;Zhenjiang Hu;K. Inaba;H. Kato;Kazutaka Matsuda;Keisuke Nakano

Toward Bidirectionalization of ATL with GRoundTram

• DOI: 10.1007/978-3-642-21732-6_10
• 发表时间: 2011-01-01
• 期刊: Theory and Practice of Model Transformations. Proceedings of the 4th International Conference, ICMT 2011
• 作者: Sasano, Isao;Zhenjiang Hu;Nakano, Keisuke
• 通讯作者: Nakano, Keisuke