文献

J-GLOBAL ID：201102224803556127   整理番号：11A1444368

LTSAを用いたシーケンス図の詳細化関係の検証

Refinement Check of Sequence Diagrams Using LTSA

著者 (4件)： 浅田和真 ,  横川智教 ,  宮崎仁 ,  佐藤洋一郎
資料名： 情報処理学会研究報告(CD-ROM)
巻： 2011  号： 2  ページ： ROMBUNNO.SE-173,NO.1  発行年： 2011年08月15日 
JST資料番号： Z0031C  ISSN： 2186-2583  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本論文では,UMLのシーケンス図で記述され,hMSCに基づいて統合されたソフトウェアの設計記述を対象として,詳細化関係の検証を行う手法を提案する。検証にはモデル検査ツールLTSAを用いる。本手法では,シーケンス図の振る舞いをLTSAの入力記法であるFSPによって表現する。さらに,与えられたhMSCに基づいて複数のシーケンス図を合成し,FSPによる表現を求める。また,本手法を例題システムへと適用してその有効性を示す。(著者抄録)

シソーラス用語： *モデル検査 ,  図面 ,  支援プログラム ,  *UML【モデリング言語】 ,  精密化 ,  遷移システム ,  *有限状態機械 ,  安全性 ,  ソフトウェア設計
準シソーラス用語： *LTSA ,  シーケンス図 ,  ソフトウェアツール ,  詳細化

分類 (3件)： 計算理論  (JB02000A) ,  応用プログラミング言語  (JD03052Y) ,  オートマトン理論  (JB04000O)

タイトルに関連する用語 (3件)： シーケンス図 ,  詳細化 ,  検証