{"created":"2025-01-18T23:44:15.225249+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00097899","sets":["6164:6165:7019:7405"]},"path":["7405"],"owner":"11","recid":"97899","title":["CSPを用いた状態マシン図とシーケンス図の整合性検証"],"pubdate":{"attribute_name":"公開日","attribute_value":"2014-01-16"},"_buckets":{"deposit":"418b4a14-9a58-4831-8575-ad84d28c97ba"},"_deposit":{"id":"97899","pid":{"type":"depid","value":"97899","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"CSPを用いた状態マシン図とシーケンス図の整合性検証","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"CSPを用いた状態マシン図とシーケンス図の整合性検証"},{"subitem_title":"Consistency veri cation of state machine diagrams and a sequence diagram using CSP","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"形式手法","subitem_subject_scheme":"Other"}]},"item_type_id":"18","publish_date":"2014-01-16","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":"岡山県立大学"},{"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":"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/97899/files/IPSJ-WWS2014021.pdf"},"date":[{"dateType":"Available","dateValue":"2016-01-16"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-WWS2014021.pdf","filesize":[{"value":"207.1 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":"39841d27-4dd2-4922-9af5-4ee433acf604","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2014 by the Information Processing Society of Japan"}]},"item_18_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"横川, 智教"},{"creatorName":"片山, 巧"},{"creatorName":"宮崎, 仁"},{"creatorName":"佐藤, 洋一郎"},{"creatorName":"有本, 和民"}],"nameIdentifiers":[{}]}]},"item_18_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Tomoyuki, YOKOGAWA","creatorNameLang":"en"},{"creatorName":"Takumi, KATAYAMA","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 の状態マシン図およびシーケンス図をプロセス代数形式のモデル記述言語であるCSP を用いて表現し，検証ツールFDR を用いて整合性検証を行う手法について示す．また，例題への適用実験を通して，整合性違反が存在する場合はそれを正しく検出できることを示している．","subitem_description_type":"Other"}]},"item_18_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"We propose a method to detect consistency errors in UML state machine diagrams and sequence diagrams by representing the diagrams as CSP, which is a process algebra style notation. We use FDR model checker to verify the consistency relation between the diagrams. We show an application example of the method where the correctness of consistencyof example diagrams is checked.","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"42","bibliographic_titles":[{"bibliographic_title":"ウィンターワークショップ2014・イン・大洗 論文集"}],"bibliographicPageStart":"41","bibliographicIssueDates":{"bibliographicIssueDate":"2014-01-16","bibliographicIssueDateType":"Issued"},"bibliographicVolumeNumber":"2014"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"id":97899,"updated":"2025-01-21T12:42:25.933901+00:00","links":{}}