权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

プログラムの系統的な自動双方向化の理論と実装に関する研究

程序系统自动交互性理论与实现研究

基本信息

批准号：
08J09584
负责人：
松田一孝
金额：
$ 0.77万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2008
资助国家：
日本
起止时间：
2008 至 2009
项目状态：
已结题

项目摘要

あるデータを別のデータへと変換する,このとき変換後のデータに加えた変更を,対応するように元のデータに書き戻せると便利である.本研究は,あるデータから別データへと変換するプログラムから,変換後のデータ上の変更を元のデータに書き戻すプログラムを自動的かつ系統的に導出すること,すなわちプログラムの双方向化を目指している.プログラムの双方向化において,もし変換プログラムが単射であるならば,書き戻しプログラム導出は,変換プログラムの逆関数を導出すること(プログラム逆化)により行える.また変換プログラムが単射でない場合においても,プログラムの逆化を利用することで書き戻しプログラムを得る手法が知られている,したがってプログラムの逆化の議論はプログラムの双方向化において重要である.しかし,一般にはプログラムの逆化は容易ではない.我々はこの問題に対し,形式文法に基づくプログラム逆化手法を提案した.本手法は,既存のプログラム逆化手法と比較して,(1)拡張性の高いこと,(2)系統的であり発見的でないこと,(3)逆化可能なプログラムの特徴付けが明瞭であることの三点の特長を持つ.拡張性はより広範なプログラムを逆化する上で重要であり,手法が系統的であることと逆化可能なプログラムの特徴付けが明瞭であることは本手法をプログラムの双方向化に応用するにあたって重要である.我々は本手法の実装も行い,いくつかの例について本手法を適用することで本手法の有用性を確認した.

For example, if you want to change your mind, you can change your mind. This study is aimed at the introduction of an automatic system of bi-directional transformation of the digital transformation system. The bi-directional transformation of the first class, the second class, the third class, the fourth class, the fourth class, In this case, it is important to know how to use the method of reverse transformation of the system and to discuss the reverse transformation of the system. Generally speaking, it is easy to reverse the process of transformation. We propose a method for solving this problem, which is based on formal grammar. This method is compared with the existing inversion methods,(1) high tension,(2) systematic discovery, and (3) possible inversion. It is important that the method is systematic and that the characteristics of the inversion are clear and that the method is important for the application of the inversion. We confirm the usefulness of this technique in practice and in practice.