2010年4月 - 2012年3月
モデルの型検査からモデル変換の型検査へ
日本学術振興会 科学研究費助成事業(挑戦的萌芽研究)
- 担当区分
- 研究代表者
- 配分額
-
- (総額)
- 2,470,000円
- (直接経費)
- 2,200,000円
- (間接経費)
- 270,000円
- 資金種別
- 競争的資金
本研究では、木構造を一般化したグラフ構造の変換の研究に力を注ぎ、グラフ問い合わせ言語UnQL(UnCAL)で書かれたグラフ変換が、入出力グラフに課したい構造制約を常に満たす変換となっているかを静的検証する計算機実行可能な枠組みを定式化することに成功した。また、具体的な型検査システムの実装としては、単項二階論理(MSO)と呼ばれる論理の真偽判定問題へとモデル変換の型検査問題を帰着させて、MONAという既存のMSO実装系を活用し、高速な実装を行った。さらに、ユーザの意図する入力グラフに対応する値域をモデル変換からあらかじめ算出し、更新された出力グラフがユーザの与えたグラフスキーマの値域に含まれるかを事前に判定する手法を提案した。これにより、正確なビュー更新の妥当性を事前に確認することが可能となる。