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配备了一个用户友好的语言，用于编码双向模型转换，一个新颖的工具，用于验证模型和双向模型转换，一个优化机制，以提高效率，和一个强大的调试环境。

项目成果

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

The BiG Project

BiG项目

Tolerating Inconsistency in Feature Models

• 发表时间: 2010
• 作者: Bo Wang-;Zhenjiang Hu;Yingfei Xiong;Haiyan Zhao;Wei Zhang-;Hong Mei

Grammar-based Approach to Invertible Programs

基于语法的可逆程序方法

• 期刊: 19th European Symposium on Programming (ESOP), LNCS6012 2010
• 作者: Kazutaka Matsuda;Shin-Cheng Mu;Zhenjiang Hu;Masato Takeichi.
• 通讯作者: Masato Takeichi.