文献

J-GLOBAL ID：201302212511875660   整理番号：13A1104997

C4ISRシステム信用要求事項行動性モデリングと検証

Behavioral modeling and verification of C4ISR system capability requirements

著者 (5件)： He Hongyue (Inst. of Command Automation,Univ. of Sci. and Technol. of PLA, Nanjing) ,  Wang Zhixue (Inst. of Command Automation,Univ. of Sci. and Technol. of PLA, Nanjing) ,  Dong Qingchao (Inst. of Command Automation,Univ. of Sci. and Technol. of PLA, Nanjing) ,  Xu Jing (Inst. of Command Automation,Univ. of Sci. and Technol. of PLA, Nanjing) ,  Zhang Zhaowei (Inst. of Command Automation,Univ. of Sci. and Technol. of PLA, Nanjing)
資料名： Xitong Gongcheng yu Dianzi Jishu  (Xitong Gongcheng yu Dianzi Jishu)
巻： 34  号： 6  ページ： 1153-1160  発行年： 2012年 
JST資料番号： C2068A  ISSN： 1001-506X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： C4ISR信用要求事項を分析するためにUMLを使用するとき,挙動モデルは検証するのが難しい。問題を解決するために,C4ISRのシステム能力の要求事項行動性モデリングと検証への手法を提案する。まず最初に,性能行動性メタモデルを,C4ISR性能概念メタモデルに従って統一モデリング言語(UML)メタモデルを拡張することによってモデル化する。次に挙動モデルを性能行動性メタモデルによってモデル化する。挙動モデルが性能概念メタモデル,行動性メタモデル,およびドメイン規則の規制に適合するかどうか検証するために,挙動モデルをOWLDLオントロジーとDL安全規則に移し,次にいくつかの規則を定義して,行動性モデル検証のためにオントロジーを推論して質問するために使用する。Data from the ScienceChina, LCAS. Translated by JST

シソーラス用語： *モデリング ,  システム ,  UML【モデリング言語】 ,  オントロジー ,  モデル ,  検証 ,  範囲
準シソーラス用語： 統一モデリング言語 ,  挙動モデル ,  モデル検証 ,  メタモデル ,  モデル化 ,  ドメイン

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (4件)： 信用 ,  行動 ,  モデリング ,  検証