双方向モデル変換の言語的基盤技術
(BiG)

ソフトウェアの構成論からソフトウェアの進化論へ

プロジェクト概要

OMGのモデル駆動型ソフトウェア開発で重要な要素であるモデル変換（model transformation）は、仕様、設計モデル、プログラムコード、テスト、構成ファイル、ドキュメンテーション等のソフトウェア成果物（software artifacts） をモデルとして表現し、変換する標準技術です。 通常、この枠組みでは、変換を適用する前のモデル（source model）と変換によって得られたモデル（target model）が共存してそれぞれ発展します。このとき、あるモデルに加えた変更をどのように正しく他のモデルに伝播し、システムの一貫性を保証するかは重要な未解決問題です。

本プロジェクトでは、この問題を解決し、ソフトウェアの信頼性の確保と生産性の向上のための方法論を確立することを目的としています。具体的には、双方向モデル変換（bidirectional model transformation）の言語的基盤の確立、双方向モデル変換をソフトウェア開発過程に適用する手法の開発、および、実用的なソフトウェアツールの開発を行います。

本研究の進展により、双方向モデル変換の新しい規格、進化的ソフトウェア開発のための新しい形式的な方法論、および、ソフトウェア成果物の一貫性を保持するためのツールの構築が期待できます。本研究はソフトウェア工学におけるきわめて大きな貢献となりうるものと確信しています。

主な連携機関・メンバー
国立情報学研究所 : 胡振江（リーダー）、日高宗一郎、加藤弘之
東京大学 : 武市正人、Yingfei Xiong、松田一孝
北京大学 : Hong Mei、Haiyan Zhao、Hui Song
電気通信大学 : 中野圭介
University of Copenhagen : Robert Glueck

プロジェクトのホームページ
▼Bidirectional Computation
http://research.nii.ac.jp/~hu/project/bix.html