文献

J-GLOBAL ID：202002261330186765   整理番号：20A0145466

行動モデルの理解可能性【JST・京大機械翻訳】

The Understandability of Models for Behaviour

著者 (2件)： Estivill-Castro Vladimir (School of ICT, Griffith University, Nathan, Australia) ,  Hexel Rene (School of ICT, Griffith University, Nathan, Australia)
資料名： Communications in Computer and Information Science  (Communications in Computer and Information Science)
巻： 1161  ページ： 50-75  発行年： 2020年 
JST資料番号： W5071A  ISSN： 1865-0929  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： モデルは,モデル化されている項目の最も関連性のある側面を人間の間で通信するために主に使用される。さらに,現代の複雑なアプリケーションにおけるインパクトを達成するために,モデリング言語とツールは,いくつかのレベルの構成をサポートしなければならない。さらに,実行可能なモデルはモデル駆動開発の基礎である。したがって,特にモジュール構成の観点から実行可能な挙動モデルの理解性を研究することが重要である。著者らは,実行可能なモデルの微妙な意味論の間の整合を,例えば,反応性とリアルタイムのシステムと開発者の単純な概念のような応用のために調べた。UML状態図と論理的ラベル付き有限状態機械(LLFSMs)による一連の実験を実行して,著者らは,モジュール構成のためのアーキテクチャオプションと同様に,事象駆動対論理ラベル化状態機械の理解性を調査した。著者らは,モデル操作における専門知識が不可欠であることを見出し,LLFSMの意味論の明確化が,ロボットおよび組込みシステムに対して形式的に検証可能で適切なままであるために必要であることを見出した。Copyright 2020 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： ロボット ,  モデリング ,  意味論 ,  状態図 ,  組込みシステム ,  *有限状態機械 ,  計算機アーキテクチャ ,  応用プログラム
準シソーラス用語： 専門知識 ,  実時間 ,  挙動モデル ,  モデル駆動アーキテクチャ ,  モデリング言語 ,  *行動モデル , 【Automatic Indexing@JST】

著者キーワード (3件)： モデル理解可能性 ,  状態図 ,  論理ラベル付き有限状態機械

分類 (2件)： 計算機システム開発  (JD02010R) ,  応用プログラミング言語  (JD03052Y)

タイトルに関連する用語 (3件)： 行動モデル ,  理解 ,  可能性