研究課題
平成24年度には、順序付くグラフを対象とする双方向グラフ言語の意味論、双方向モデル変換言語の効率的な実現、そして双方向モデル変換の応用を中心に研究を進め、次の研究成果をあげた。(1) 順序付くグラフを対象とする双方向モデル変換言語の意味論への拡張:これまでの双方向グラフ変換は順序なし分岐グラフを対象としている。今年度は、XMLなどを応用対象とする順序付き分岐グラフなども変換の対象として拡張し、より一般的な双方向グラフ変換言語を定義し実現した。(2) 双方向グラフ変換言語の効率的な実現:双方向モデル変換の記述に際して、複数の変換を組み合わせて大きな変換を合成出来ることは重要である。更に処理対象のモデルの大きさに対してスケーラブルであることは実用的なソフトウェア開発に不可欠であり、有力な双方向計算の解析技術と逐次更新による効率的な計算手法の開発が必要である。本年度は、遅延評価、逐次更新計算方法、並列計算等の最適化の技術を検討した。(3) 双方向モデル変換の応用:モデルとコードの共進化という具体的なソフトウェアの開発事例を用いて実証実験を行い、双方向モデル変換の有効性と実用性を評価した。この成果はソフトウエア工学のトップ会議であるICSE 2012で発表した。また、次のステップとして、双方向変換の手法を用いて、CPSにおけるソフトウエアの挑戦課題を解くための斬新なCPSにおけるソフトウエア運用基盤の構築を検討した。この基盤Bの継続研究としての「大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築」という基盤Aプロジェクトは、プログラムコードのような大規模なグラフ構造を有する応用に適用するために、宣言的な枠組みでユーザの意図した逆変換を組み込みながら(1) 信頼性の確保、(2) 拡張可能性、(3) 効率化の自動化を目指す。
24年度が最終年度であるため、記入しない。
すべて 2013 2012 その他
すべて 雑誌論文 (8件) (うち査読あり 7件) 学会発表 (3件) (うち招待講演 1件) 備考 (1件)
Frontiers of Computer Science
巻: Volume 7, Issue 2 ページ: 257-271
10.1007/s11704-013-2047-0
Progress in Informatics
巻: Vol. 10 ページ: 89-130
巻: Vol. 10 ページ: 131-148
Mathematical Structures in Computer Science (MSCS)
巻: Vol. 23 ページ: 未定
Science of Computer Programming
巻: 未定 ページ: 未定
10.1016/j.scico.2012.07.014
Journal of Functional Programming
巻: Vol. 22, No. 3 ページ: 275-299
10.1017/S0956796812000111
Electronic Communications of the EASST
巻: Volume 49 ページ: 1-17
コンピュータソフトウエア
巻: 29巻2号 ページ: 174-192
10.11309/jssst.29.2-174
http://www.biglab.org