文章基本信息

标题：モデル検査における妥当性確認を目的とした並行システムの表現手法
本地全文：下载
作者：竹内亮太郎 ; 粕谷英人 ; 大久保弘崇等
期刊名称：コンピュータソフトウェア
印刷版ISSN：0289-6540
出版年度：2011
卷号：28
期号：1
页码：1_293-1_299
DOI：10.11309/jssst.28.1_293
出版社：Japan Society for Software Science and Technology
摘要：
並行ソフトウェアシステムのモデル検査においては，モデルが正確で十分な精度を備えていることが求められる．本論文は，モデルの理解を視覚的に支援する，有限状態機械の直観的な表現手法を提案する．対象とするモデルはFSPで，表現手法はLTS表現に基づいている．提案する4種類の図法により，LTS表現の状態爆発を抑制したり，並行システムにしばしば現れる特徴的な状態遷移を明示的に表現することが可能となる．FSP記述を提案図法により可視化し，モデルの理解支援を対話的に行うツールを作成した．61個の例題を用いた評価実験により，適切に表示できることを確認した．