文献

J-GLOBAL ID：201802234808780402   整理番号：18A1938617

形式的方法と可視化技術の組合せによるデータフロー図の分析【JST・京大機械翻訳】

Analyzing data flow diagrams by combination of formal methods and visualization techniques

著者 (4件)： Zhang Haocheng (BASICS, Department of Computer Science and Engineering, School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, China) ,  Liu Wei (BASICS, Department of Computer Science and Engineering, School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, China) ,  Xiong Hao (BASICS, Department of Computer Science and Engineering, School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, China) ,  Dong Xiaoju (BASICS, Department of Computer Science and Engineering, School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, China)
資料名： Journal of Visual Languages & Computing  (Journal of Visual Languages & Computing)
巻： 48  ページ： 41-51  発行年： 2018年 
JST資料番号： W0216A  ISSN： 1045-926X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： データフロー図(DFD)はソフトウェア工学におけるデータ処理をモデル化するための不可欠な方法である。DFDを厳密に解析するために,形式的意味論が要求される。DFDの形式的解釈とその形式的意味論は正確で非あいまいな解析をもたらす。同時システムモデリングにおける形式的アプローチである通信システム(CCS)の計算はDFDを記述するために利用できる。CCS記述を与えると,自動化ツールはDFDによって表現されるシステムの状態空間を生成する。それはシステムのすべての挙動を反映する。しかし,文字表現のみで状態空間を解析することはソフトウェア開発者にとって困難である。本論文において,視覚システムを導入して,開発者が形式的方法と可視化技術の組合せによってシステムを分析して比較した。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： ソフトウェア工学 ,  データ処理 ,  自動化 ,  ソフトウェア開発 ,  *可視化 ,  曖昧さ ,  通信方式 ,  グラフ ,  モデリング
準シソーラス用語： 視覚システム ,  状態空間 ,  システムモデリング ,  形式的意味論 ,  *データフロー ,  *可視化技術 , 【Automatic Indexing@JST】

著者キーワード (4件)： データフロー図 ,  通信システムの計算 ,  状態空間 ,  グラフ可視化

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

タイトルに関連する用語 (5件)： 形式的方法 ,  可視化技術 ,  組合せ ,  データフロー ,  分析