{"links":{},"id":2007718,"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:02007718","sets":["1164:1384:1771205742511:1771205807242"]},"path":["1771205807242"],"owner":"80578","recid":"2007718","title":["UE5 Blueprintのゲームスクリプトを対象としたモデル検査による自動検証環境の開発"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2026-03-02"},"_buckets":{"deposit":"72a55309-e65b-4014-bf70-87f687cd0a90"},"_deposit":{"id":"2007718","pid":{"type":"depid","value":"2007718","revision_id":0},"owners":[80578],"status":"published","created_by":80578},"item_title":"UE5 Blueprintのゲームスクリプトを対象としたモデル検査による自動検証環境の開発","author_link":[],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"UE5 Blueprintのゲームスクリプトを対象としたモデル検査による自動検証環境の開発","subitem_title_language":"ja"},{"subitem_title":"Development of an Automatic Verification Environment for Game Scripts Created by UE5 Blueprint","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"2026-03-02","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"岡山県立大学"},{"subitem_text_value":"岡山県立大学"},{"subitem_text_value":"岡山県立大学"},{"subitem_text_value":"南山大学"},{"subitem_text_value":"愛媛大学"},{"subitem_text_value":"岡山県立大学"}]},"item_4_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":"Okayama Prefectural University","subitem_text_language":"en"},{"subitem_text_value":"Nanzan University","subitem_text_language":"en"},{"subitem_text_value":"Ehime University","subitem_text_language":"en"},{"subitem_text_value":"Okayama Prefectural University","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"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/2007718/files/IPSJ-SE26222018.pdf","label":"IPSJ-SE26222018.pdf"},"date":[{"dateType":"Available","dateValue":"2028-03-02"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE26222018.pdf","filesize":[{"value":"1.1 MB"}],"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":"b7d94625-40b3-49d2-9ce1-d91afd0a0868","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2026 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"茅野,立"}]},{"creatorNames":[{"creatorName":"横川,智教"}]},{"creatorNames":[{"creatorName":"須田,元太郎"}]},{"creatorNames":[{"creatorName":"天嵜,聡介"}]},{"creatorNames":[{"creatorName":"阿萬,裕久"}]},{"creatorNames":[{"creatorName":"有本,和民"}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10112981","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2188-8825","subitem_source_identifier_type":"ISSN"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本研究では，UE5 Blueprintで記述されたゲームロジックにモデル検査を適用するため，ノードグラフをSMVプログラムへ自動変換する変換器を提案・実装した．ノードグラフから得られるテキストダンプ（ノードテキスト）から抽出したメタ情報と，ノード種別ごとのセマンティクス定義を入力として，実行フローとデータフローを遷移として表現することでSMVプログラムとしてのモデル化を行う．特に，ノードセマンティクスをJSONとして外部化し，ノードの追加・変更をプログラム本体から分離することで拡張性を高め，検証上重要でないノードは実行フローのみに着目して抽象化を行った．開発したツールの有効性を確認するため，変換器を用いて典型的なバグをもつノードグラフからSMVプログラムを生成し，モデル検査ツールNuSMVによる検証を行った．その結果，バグを検出するとともに反例トレースが得られ，自動生成したモデルが正しくバグを検出できることを確認した．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"In this study, we proposed and implemented a converter that automatically transforms node graphs into SMV programs to apply model checking to game logic written in UE5 Blueprints. The converter models the logic as an SMV program by representing execution and data flows as transitions, using meta-information extracted from text dumps (node text) of node graphs and semantic definitions for each node type as inputs. In particular, we enhanced extensibility by externalizing node semantics as JSON files, separating node additions and modifications from the main program. Additionally, nodes that are not critical for verification were abstracted by focusing solely on their execution flow. To confirm the effectiveness of the developed tool, we generated SMV programs from node graphs containing typical bugs using the converter and performed verification with the model checking tool NuSMV. As a result, we successfully detected the bugs and obtained counterexample traces, confirming that the automatically generated models can correctly identify defects.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"研究報告ソフトウェア工学（SE）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2026-03-02","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"18","bibliographicVolumeNumber":"2026-SE-222"}]},"relation_version_is_last":true,"weko_creator_id":"80578"},"created":"2026-02-19T09:54:15.072662+00:00","updated":"2026-02-19T09:54:18.970316+00:00"}