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
• 作者: 松田一孝;胡振江;中野圭介;浜名誠;武市正人
• 通讯作者: 武市正人

Bi-X Core : A General-Purpose Bidirectional Transformation Language.

Bi-X Core：通用双向转换语言。

• 发表时间: 2007
• 作者: Dongxi Liu;Keisuke Nakano;Yasushi Hayashi;Zhenjiang Hu;Masato Takeichi;Akimasa Morihata;Yingfei Xiong.
• 通讯作者: Yingfei Xiong.

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

豆袋系统主页