コンピュータ ソフトウェア
Print ISSN : 0289-6540
ハイブリッド制約言語HydLaの宣言的意味論
上田 和紀細部 博史石井 大輔
著者情報
ジャーナル フリー

2011 年 28 巻 1 号 p. 1_306-1_311

詳細
抄録

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

著者関連情報
© 日本ソフトウェア科学会 2011
前の記事
feedback
Top