プロセスの模倣性判定に基づくUML設計間の整合性検証

• Item type: Symposium(1)
• 公開日: 2013-01-17
• タイトル: プロセスの模倣性判定に基づくUML設計間の整合性検証
• タイトル / 言語: en
• タイトル: Consistency verification of UML diagrams based on weak simulation
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 形式手法
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 岡山県立大学
• 著者所属: 川崎医療福祉大学
• 著者所属: 岡山県立大学
• 著者所属: 岡山県立大学
• 著者所属(英): en
• 著者所属(英): Okayama Prefectural University
• 著者所属(英): en
• 著者所属(英): Kawasaki University of Medical Welfare
• 著者所属(英): en
• 著者所属(英): Okayama Prefectural University
• 著者所属(英): en
• 著者所属(英): Okayama Prefectural University
• 著者名: 横川, 智教; 宮崎, 仁; 佐藤, 洋一郎; 有本, 和民
• 著者名(英): Tomoyuki, Yokogawa; Hisashi, Miyazaki; Yoichiro, Sato; Kazutami, Arimoto
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: これまでに著者らは，プロセスの模倣性判定を利用して，UMLのシーケンス図を対象とした詳細化関係の検証手法を提案してきた．本稿では，この手法を状態マシン図へと拡張し，状態マシン図をプロセスとして表現することで，状態マシン図とシーケンス図に対する整合性検証をプロセスの模倣性判定として実現する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We had proposed the method for refinement check for UML sequence diagrams. In this method, refinement of sequence diagrams is represented as weak simulation of processes obtained from the sequence diagrams. In this paper, we propose the method for verifying consistency of a sequence diagram and state machine diagrams. We represent state machine diagrams and a sequence diagram as processes and verify the consistency by checking weak simulation of the processes.
• 書誌情報: ウィンターワークショップ2013・イン・那須 論文集; 巻 2013, p. 7-8, 発行日 2013-01-17
• 出版者 / 言語: ja
• 出版者: 情報処理学会