文献

J-GLOBAL ID：201202260695545702   整理番号：12A0042592

UMLステートマシン-アクティビティ図間の整合性分析

Consistency Analysis between UML State Machine and Activity Diagram

著者 (2件)： 野村将人 (龍谷大) ,  新川芳行 (龍谷大)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 111  号： 308(SWIM2011 18-29)  ページ： 65-70  発行年： 2011年11月11日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： UMLアクティビティ図は複数のオブジェクト間の相互作用を含むプロセスの進行を体系的に記述する。一方,UMLステートマシン図は個々のオブジェクトの振る舞いを状態遷移に基づいて記述する。従ってこれら二つの図の間には,全体-部分(Whole and Parts)の関係があり,互いに整合することが求められるがUML自体にこれを検証する機能はない。二つの図の間に不整合がある場合,開発されるシステムが矛盾を含むことになり,様々な問題を引き起こす恐れがある。本論文は,二つの図の間の整合性を状態に基づいて厳密に定義し,さらに二つの図をCPNという共通の表記法に変換することにより,この整合性の検証を正確に行うための手法を提案する。(著者抄録)

シソーラス用語： *UML【モデリング言語】 ,  *有限状態機械 ,  *状態遷移図 ,  図面 ,  *コンシステンシー【計算機】 ,  *検証 ,  Petriネット ,  オブジェクト指向設計
準シソーラス用語： *シーケンス図 ,  *色付きPetriネット

分類 (1件)： CAD,CAM  (JE10000A)

タイトルに関連する用語 (5件)： UML ,  ステートマシン ,  アクティビティ図 ,  整合性 ,  分析