文献

J-GLOBAL ID：201802260142386491   整理番号：18A0191774

作用の正確な意味論に向けて【Powered by NICT】

Toward precise semantics of actions

著者 (1件)： Alshareef Abdurrahman (Arizona Center for Integrative Modeling & Simulation, School of Computing, Informatics and Decision Systems Engineering, Arizona State University, 699 S. Mill Avenue, Tempe, AZ, 85281, USA)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： WSC  ページ： 4638-4639  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 作用モデルにおける行動仕様の基本的な単位である。作用の意味を特定する離散EVentシステム仕様(DEVS形式)の使用を提案した。結合を利用して,異なる種類の行動モデルを形成した。ステートチャートと活性は,システム挙動を記述できる二つの異なる手法である。行動は,これら二つの方法のコアであり,従ってそれらの仕様を制御のような他の部品の挙動と共に全体的挙動の重要な部分としてまとめてできた。作用のためのDEVSにおいて定義された時間と状態の概念を導入する手法を提案した。これらは広い範囲のシステムのモデル化のための抽象化として役立つ。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *意味論 ,  モデル ,  状態遷移図 ,  モデリング
準シソーラス用語： 行動モデル , 【Automatic Indexing@JST】

分類 (2件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (1件)： 意味論