文献

J-GLOBAL ID：201002263898914449   整理番号：10A0979445

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

著者 (3件)： 上田和紀 (早稲田大 理工学術院) ,  細部博史 (国立情報学研) ,  石井大輔 (Univ. Nantes)
資料名： 日本ソフトウェア科学会大会講演論文集(CD-ROM)  (日本ソフトウエア科学会大会講演論文集(CD-ROM))
巻： 27th  ページ： ROMBUNNO.4A-3  発行年： 2010年 
JST資料番号： X0080B  ISSN： 1348-0901  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

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

シソーラス用語： *応用向き言語 ,  *ハイブリッド系 ,  計算機シミュレーション ,  プログラム検証 ,  言語設計 ,  実装設計 ,  制約条件 ,  相互作用 ,  *意味論
準シソーラス用語： *HydLa ,  *ハイブリッド制約言語 ,  モデリング言語 ,  *宣言的意味論

分類 (3件)： 応用プログラミング言語  (JD03052Y) ,  システムモデル  (IB02000Z) ,  計算理論  (JB02000A)

タイトルに関連する用語 (3件)： 制約 ,  言語 ,  宣言的意味論