{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00097901","sets":["6164:6165:7019:7405"]},"path":["7405"],"owner":"11","recid":"97901","title":["情報制御システムのモデル検査に対する分割アプローチと課題"],"pubdate":{"attribute_name":"公開日","attribute_value":"2014-01-16"},"_buckets":{"deposit":"9371ccf7-02f4-4fae-b587-e81a767275cf"},"_deposit":{"id":"97901","pid":{"type":"depid","value":"97901","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"情報制御システムのモデル検査に対する分割アプローチと課題","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"情報制御システムのモデル検査に対する分割アプローチと課題"},{"subitem_title":"Partitioning Approach to Model Checking of Information Control System and its Problems","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":"茨城大学"}]},"item_18_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Ibaraki National College of Technology","subitem_text_language":"en"},{"subitem_text_value":"Ibaraki University","subitem_text_language":"en"},{"subitem_text_value":"Ibaraki University","subitem_text_language":"en"},{"subitem_text_value":"Ibaraki 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/97901/files/IPSJ-WWS2014023.pdf"},"date":[{"dateType":"Available","dateValue":"2016-01-16"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-WWS2014023.pdf","filesize":[{"value":"203.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":"97b26b2d-7110-49e1-82bb-7d85a6e8cf7d","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":"上田, 賀一"}],"nameIdentifiers":[{}]}]},"item_18_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Kei, Kogai","creatorNameLang":"en"},{"creatorName":"Takumi, Miyajima","creatorNameLang":"en"},{"creatorName":"Kyohei, Oyamay","creatorNameLang":"en"},{"creatorName":"Yoshikazu, Ueday","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":"モデル検査の状態爆発の対策として，情報制御システムを相互関係があるサブシステムごとに分割して検証モデル化を行い，部分モデル間の相互関係に関する情報を検証モデルの外部で管理し，検証を行う方法とその課題について述べる．","subitem_description_type":"Other"}]},"item_18_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"As a countermeasure of state explosion of model checking, our approach makes models to interrelated each subsystem, and manages the correlations between the models outside of model checking. This study describes the problems of our approach.","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"46","bibliographic_titles":[{"bibliographic_title":"ウィンターワークショップ2014・イン・大洗 論文集"}],"bibliographicPageStart":"45","bibliographicIssueDates":{"bibliographicIssueDate":"2014-01-16","bibliographicIssueDateType":"Issued"},"bibliographicVolumeNumber":"2014"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"id":97901,"updated":"2025-01-21T12:42:29.702483+00:00","links":{},"created":"2025-01-18T23:44:15.321997+00:00"}