2007 Fiscal Year Annual Research Report
| Project/Area Number |
19200002
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
武市 正人 The University of Tokyo, 大学院・情報理工学系研究科, 教授 (10011165)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
胡 振江 東京大学, 大学院・情報理工学系研究科, 准教授 (50292769)
松崎 公紀 東京大学, 大学院・情報理工学系研究科, 助教 (30401243)
|
|---|
| Keywords | プログラミング言語 / ソフトウェア設計 / 双方向変換 |
|---|
| Research Abstract |
本研究では,原データから操作対象データへの順方向の変換fから構成的にその逆変換f'を生成する仕組みとしての双方向変換機構とその応用を扱う。この双方向変換機構では,順変換fのプログラムを記述すれば,自動的にその逆変換f'に相当するプログラムが得られるので,人手によって逆変換を記述する必要がない。逆変換のプログラムを作成することがないので,順変換と逆変換のプログラムが矛盾するといった誤りが生じることがなく,信頼性の高い変換を実現できるとともに,逆変換プログラム作成の手間が削減され,生産性が向上するといった効果が得られることになる。
本研究課題の目的は,順方向の変換fから構成的(自動的)にその逆変換f'を生成する仕組みとしての双方向変換機構をソフトウェアの高信頼化,生産性の向上のための方法論として確立することにある。そこでは,一般的な双方向変換機構の基盤を確立し,その枠組みのもとで,原データSrcと対象データTarの適用領域を定めるとともに,その間の双方向変換(f,f')の記述言語を設計し,双方向変換機構による実用的なシステム開発のためのソフトウェアを構築する。具体的な研究項目として,A:双方向変換機構の数学的基盤の確立と双方向変換言語の開発,B:双方向変換システムの開発支援環境の構築,C:ソフトウェア開発過程における双方向変換基盤の構築の3項目を設定し,平成19年度にはそれぞれの小項目A1:双方向変換機構の数学的基盤の確立,B2:ビュー更新ソフトウェアのための汎用ライブラリの開発,C1:特徴重視プログラミングにおける双方向変換基盤の設計について研究し,論文およびソフトウェアを公開した。とくに,ソフトウェア工学におけるモデル変換に双方向変換機構を導入してその有効性を確認した。
|
Research Products
(4 results)
