Bidirectional Transformation Mechanisms and its Application

双向转化机制及其应用

• 批准号: 19200002
• 负责人: TAKEICHI Masato
• 金额: $ 27.12万
• 依托单位: The University of Tokyo
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (A)
• 财政年份: 2007
• 资助国家: 日本
• 起止时间: 2007 至 2010
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-19200002/
• 关键词: プログラム言語; ソフトウェア設計; 双方向変換機構; プログラミング言語; 双方向変換

Bidirectional transformation mechanisms have been studied for establishing a methodology to develop reliable and productive software, which is based on exploring a language with bidirectional properties. A bidirectional transformation library Bi-HaXml for XML documents has been developed to demonstrate usefulness of our idea of bidirectional mechanism. For such a mechanism to be applied in software development processes, a bidirectional model description language called"Beanbag"has been designed and its system has been developed to illustrate its effectiveness.

人们已经研究了双向转换机制，以建立一种开发可靠且高效软件的方法，该方法基于探索具有双向特性的语言。已经开发了用于 XML 文档的双向转换库 Bi-HaXml，以证明我们的双向机制思想的实用性。为了将这种机制应用到软件开发过程中，设计了一种名为“Beanbag”的双向模型描述语言，并开发了其系统来说明其有效性。

项目成果

Supporting Automatic Model Inconsistency Fixing

• DOI: 10.1145/1595696.1595757
• 发表时间: 2009-01-01
• 期刊: 7TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING
• 作者: Xiong, Yingfei;Hu, Zhenjiang;Mei, Hong
• 通讯作者: Mei, Hong

Configuring Bidirectional Programs with Functions

• 发表时间: 2009
• 作者: M. Takeichi

補関数の生成による複製機能付きプログラムの自動双方向化

通过生成互补函数来自动双向化具有复制功能的程序

• 发表时间: 2009
• 期刊: コンピュータソフトウェア 26
• 作者: 松田一孝;胡振江;中野圭介;浜名誠;武市正人
• 通讯作者: 武市正人

Consistent Web Site Updating based on Bidirectional Transformation

基于双向转换的网站一致性更新

• 发表时间: 2009
• 期刊: International Journal on Software Tools for Technology Transfer Vol. 11
• 作者: Keisuke Nakano;Zhenjiang Hu;Masato Takeichi
• 通讯作者: Masato Takeichi

Beanbag システムのホームページ

豆袋系统主页