BiGプロジェクト:双方向モデル変換の言語的基盤技術
ソフトウェアの構成論からソフトウェアの進化論へ
プロジェクト概要
OMGのモデル駆動型ソフトウェア開発で重要な要素であるモデル変換(model transformation)は、仕様、設計モデル、プログラムコード、テスト、構成ファイル、ドキュメンテーション等のソフトウェア成果物(software artifacts) をモデルとして表現し、変換する標準技術です。 通常、この枠組みでは、変換を適用する前のモデル(source model)と変換によって得られたモデル(target model)が共存してそれぞれ発展します。このとき、あるモデルに加えた変更をどのように正しく他のモデルに伝播し、システムの一貫性を保証するかは重要な未解決問題です。
本プロジェクトでは、この問題を解決し、ソフトウェアの信頼性の確保と生産性の向上のための方法論を確立することを目的としています。具体的には、双方向モデル変換(bidirectional model transformation)の言語的基盤の確立、双方向モデル変換をソフトウェア開発過程に適用する手法の開発、および、実用的なソフトウェアツールの開発を行います。
本研究の進展により、双方向モデル変換の新しい規格、進化的ソフトウェア開発のための新しい形式的な方法論、および、ソフトウェア成果物の一貫性を保持するためのツールの構築が期待できます。本研究はソフトウェア工学におけるきわめて大きな貢献となりうるものと確信しています。
主な連携機関・メンバー
国立情報学研究所 : 胡振江(リーダー)、日高宗一郎、加藤弘之、浅田和之
電気通信大学 : 中野圭介
芝浦工業大学:篠埜功
北京大学 : Hong Mei、Haiyan Zhao、Yingfei Xiong
上海交通大学:Jianjun Zhao
Oxford University: Jeremy Gibbons
Open University: Yijun Yu
プロジェクトのホームページ
Bidirectional Computation
http://research.nii.ac.jp/~hu/project/bix.html
主な論文
Zhenjiang Hu, Andy Schurr, Perdita Stevens, James Terwilliger, Dagstuhl Seminar on Bidirectional Transformations, SIGMOD Record, Vol.40, No.1 2011. pp.35-39.
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper), 26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011), Oread, Lawrence, Kansas, USA, November 6-10, 2011.
研究紹介シリーズ
【第3回】 双方向モデル変換の言語的基盤技術に関する研究(ザBiGプロジェクト)
「ソフトウェアの開発過程記述からソフトウェアを進化させる」