論文

査読有り 本文へのリンクあり
2011年

ハイブリッド制約言語HydLaの宣言的意味論

コンピュータ ソフトウェア
  • 上田 和紀
  • ,
  • 細部 博史
  • ,
  • 石井 大輔

28
1
開始ページ
306
終了ページ
311
記述言語
掲載種別
研究論文(学術雑誌)
DOI
10.11309/jssst.28.1_306
出版者・発行元
日本ソフトウェア科学会

時間の経過に伴って状態が連続変化したり,状態や方程式系自体が離散変化したりする系をハイブリッドシステムと呼ぶ.我々は,不確実値の扱い,シミュレーションと検証の統合などの観点から,制約概念に基づくハイブリッドシステムモデリング言語HydLaの設計と実装を進めてきた.HydLaは,制約階層概念の採用によって制約条件を過不足なく与えることを容易にした点を特徴とするが,種々の言語機能の相互作用のためにその意味論の定式化は自明ではない.本論文では,HydLaの宣言的意味論を定式化して考察を加えるとともに,宣言的意味論から導かれる性質や帰結を具体例を用いつつ論じる.

リンク情報
DOI
https://doi.org/10.11309/jssst.28.1_306
CiNii Articles
http://ci.nii.ac.jp/naid/130004892168
CiNii Resolver ID
http://ci.nii.ac.jp/nrid/9000283468084
URL
https://www.jstage.jst.go.jp/article/jssst/28/1/28_1_1_306/_article/-char/ja/ 本文へのリンクあり
URL
https://arxiv.org/abs/1910.12272 本文へのリンクあり