文献

J-GLOBAL ID：201702265069859910   整理番号：17A1679722

Z-AADLモデルに基づく形式的変換【JST・京大機械翻訳】

Formal Transformation Basedon Z-AADL Model

著者 (2件)： Gao Zheng (南京航空航天大学 計算机科学与技術学院,江蘇 南京,210016) ,  Cao Zining (南京航空航天大学 計算机科学与技術学院,江蘇 南京,210016)
資料名： Jisuanji Jishu yu Fazhan  (Jisuanji Jishu yu Fazhan)
巻： 27  号： 3  ページ： 23-28  発行年： 2017年 
JST資料番号： C3602A  ISSN： 1673-629X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 構造分析と設計言語(Architecture Analysis and Design Language)。それは,いくつかの安全で重要な組込み式リアルタイムシステムのハードウェアとソフトウェアアーキテクチャを設計して,分析するために使用することができた。しかし、AADLは厳密に半形式化されたモデリング言語であり、モデル中の部品の属性も記述されているが、モデルの非機能属性については明確な形式的記述がないため、AADLシステムモデルの非機能属性に対して形式的検証を行った。それは,システムの正確さと信頼性を保証するために重要な意味を持っている。AADLモデルにおける非機能的属性とデータ特性に関する記述の不足を目的として,形式的仕様記述言語Z言語と結合して,新しい記述能力のより強力な形式的仕様言語-Z-AADLを提案した。Z-AADLモデルをZIAモデルに変換し,Z-AADLモデルからZIAモデルへの変換を実現するために,Z-AADLモデルを変換することができた。最後に,変換例を示した。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 実時間処理 ,  *モデル ,  言語 ,  形式記述 ,  形式的仕様 ,  安全性 ,  構造解析 ,  信頼性 ,  ハードウェア ,  形式的仕様記述言語
準シソーラス用語： Z言語 ,  形式的検証 ,  モデリング言語 ,  ソフトウェアアーキテクチャ , 【Automatic Indexing@JST】

著者キーワード (4件)： Z-AADL ,  ZIA ,  CT-ZIA ,  model transformation

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (1件)： モデル