研究課題
実行系と検証系を統合した高水準モデリング言語の構築に関して，以下の二つの処理系を軸に研究開発を実施した．1. ハイブリッドシステムモデリング言語HydLaの記号実行シミュレータHyroseについて以下の開発を進めた．(a) 無限時間モデル検査への発展を視野に入れて，前年度検討したHydLaからハイブリッドオートマトンへの変換技法を改良して実装した．(b) 記号的に解けない問題の解の存在範囲を正しく計算するために，記号実行処理系にアフィン演算を統合的に導入する方法の基礎検討を行った．(c) 制約が矛盾する原因をunsat coreを用いて説明するための機能をインタラクティブ実行系に組み込んだ．(d) Hyroseの基本演算である制約求解について，求解結果の再利用や制約間の依存関係解析に基づく最適化アルゴリズムを開発し実装を行った．(e) 求解エンジンとしてMathematicaに加えてREDUCEを使えるように拡張を行った．2. 階層グラフ書換えに基づくモデリング言語LMNtalとその処理系について以下の研究開発を進めた．(a) 並列モデル検査機能について，MAPとNested DFSの複合によって効率とスケーラビリティを改善する方法を実装し評価を行った．(b) モデル検査における状態空間構築で重要な多数のグラフ構造間の同型性判定を効率化するために，グラフ間の差分情報に着目してグラフ正規化のコストを削減する手法を開発して試験実装と評価を行った．(c) 大規模グラフ書換えの並列処理を可能にする抽象機械命令を導入して評価を行った．(d) ハイパーグラフ書換え系への拡張について，多相型推論や論理型言語の実装実験を通じて有効性評価と処理系の保守改良を進めた．(e) LMNtalの文脈機能の拡張に向けて，ユーザ定義文脈機能の試験実装および例題記述実験を行った．(f) 汎用性の高い新たな実行可視化環境Grapheneの設計と実装を行った．
25年度が最終年度であるため、記入しない。
すべて 2014 2013 その他
すべて 雑誌論文 (4件) (うち査読あり 4件) 学会発表 (15件) (うち招待講演 1件) 図書 (1件) 備考 (2件)
人工知能学会論文誌
巻: Vol. 29, No. 1 ページ: 182-187
10.1527/tjsai.29.182
電子情報通信学会論文誌
巻: J97-D(3) ページ: 625-634
コンピュータソフトウェア
巻: Vol. 30, No. 4 ページ: 18-35
10.11309/jssst.30.4_18
巻: 30(3) ページ: 109-122
10.11309/jssst.30.3_109
http://www.ueda.info.waseda.ac.jp/lmntal/
http://www.ueda.info.waseda.ac.jp/hydla/
