表題番号:2017B-134 日付:2018/04/09
研究課題モデリング言語とその実装への高水準プログラミング言語概念の導入
研究者所属(当時) 資格 氏名
(代表者) 理工学術院 基幹理工学部 教授 上田 和紀
研究成果概要
研究代表者はグラフと実数という汎用性の高いデータを扱うモデリング言語の設計と実装に取り組み,モデリング言語LMNtalとHydLaの実行系と検証系を開発・公開してきた.本研究では,高階概念,抽象化,メタプログラミングなど,プログラミング言語分野での有用性が広く認められている概念をモデリング言語に導入するための技術課題に設計から実装まで取り組み,高信頼ソフトウェアのためのより高水準なモデリング環境の実現を目指した.成果として,グラフ書換え言語LMNtalにおいては高階関数の表現と操作,ハイブリッド制約言語HydLaにおいては変数や制約の動的生成などのさまざまな拡張を達成した.