情報処理学会 第79回全国大会講演要旨

近年、ソフトウェア開発の高信頼化とコストの低減が求められている。
これに対し、我々は入力されたモデルを細分化し、それらのモデルを満たす実装を持つ部品を検索し結合することで、モデルと実装の組であるソフトウェアを出力するモデル充足ソフトウェア合成手法を提案している。
しかしモデルを一度細かい粒度に細分化するため、階層的なモジュール構造を持つモデルの入力の際に元の構造を再現した出力が出来ない。

本研究では、モデル細分化時にモジュール間の関係に関する追加の情報を残すことで、結合時にその情報を利用して再現する手法を提案する。