@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00089253,
 author = {横川, 智教 and 宮崎, 仁 and 佐藤, 洋一郎 and 有本, 和民 and Tomoyuki, Yokogawa and Hisashi, Miyazaki and Yoichiro, Sato and Kazutami, Arimoto},
 book = {ウィンターワークショップ2013・イン・那須 論文集},
 month = {Jan},
 note = {これまでに著者らは，プロセスの模倣性判定を利用して，UMLのシーケンス図を対象とした詳細化関係の検証手法を提案してきた．本稿では，この手法を状態マシン図へと拡張し，状態マシン図をプロセスとして表現することで，状態マシン図とシーケンス図に対する整合性検証をプロセスの模倣性判定として実現する．, 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.},
 pages = {7--8},
 publisher = {情報処理学会},
 title = {プロセスの模倣性判定に基づくUML設計間の整合性検証},
 volume = {2013},
 year = {2013}
}