{"links":{},"id":89253,"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00089253","sets":["6164:6165:7019:7023"]},"path":["7023"],"owner":"11","recid":"89253","title":["プロセスの模倣性判定に基づくUML設計間の整合性検証"],"pubdate":{"attribute_name":"公開日","attribute_value":"2013-01-17"},"_buckets":{"deposit":"11f2c92d-0595-4419-9262-dcb19fbeabfa"},"_deposit":{"id":"89253","pid":{"type":"depid","value":"89253","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"プロセスの模倣性判定に基づくUML設計間の整合性検証","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"プロセスの模倣性判定に基づくUML設計間の整合性検証"},{"subitem_title":"Consistency verification of UML diagrams based on weak simulation","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"形式手法","subitem_subject_scheme":"Other"}]},"item_type_id":"18","publish_date":"2013-01-17","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_18_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"岡山県立大学"},{"subitem_text_value":"川崎医療福祉大学"},{"subitem_text_value":"岡山県立大学"},{"subitem_text_value":"岡山県立大学"}]},"item_18_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Okayama Prefectural University","subitem_text_language":"en"},{"subitem_text_value":"Kawasaki University of Medical Welfare","subitem_text_language":"en"},{"subitem_text_value":"Okayama Prefectural University","subitem_text_language":"en"},{"subitem_text_value":"Okayama Prefectural University","subitem_text_language":"en"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/89253/files/IPSJ-WWS2013004.pdf"},"date":[{"dateType":"Available","dateValue":"2015-01-17"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-WWS2013004.pdf","filesize":[{"value":"361.8 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"12"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"7bbff3c9-ef22-431f-9edd-6439b7066f5d","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2013 by the Information Processing Society of Japan"}]},"item_18_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"横川, 智教"},{"creatorName":"宮崎, 仁"},{"creatorName":"佐藤, 洋一郎"},{"creatorName":"有本, 和民"}],"nameIdentifiers":[{}]}]},"item_18_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Tomoyuki, Yokogawa","creatorNameLang":"en"},{"creatorName":"Hisashi, Miyazaki","creatorNameLang":"en"},{"creatorName":"Yoichiro, Sato","creatorNameLang":"en"},{"creatorName":"Kazutami, Arimoto","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_18_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"これまでに著者らは，プロセスの模倣性判定を利用して，UMLのシーケンス図を対象とした詳細化関係の検証手法を提案してきた．本稿では，この手法を状態マシン図へと拡張し，状態マシン図をプロセスとして表現することで，状態マシン図とシーケンス図に対する整合性検証をプロセスの模倣性判定として実現する．","subitem_description_type":"Other"}]},"item_18_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"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.","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"ウィンターワークショップ2013・イン・那須 論文集"}],"bibliographicPageStart":"7","bibliographicIssueDates":{"bibliographicIssueDate":"2013-01-17","bibliographicIssueDateType":"Issued"},"bibliographicVolumeNumber":"2013"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"created":"2025-01-18T23:39:04.491780+00:00","updated":"2025-01-21T16:36:34.612613+00:00"}