{"created":"2023-05-15T08:43:49.411034+00:00","id":8920,"links":{},"metadata":{"_buckets":{"deposit":"32f42b04-0e1c-480c-b451-16ffda9927df"},"_deposit":{"created_by":13,"id":"8920","owners":[13],"pid":{"revision_id":0,"type":"depid","value":"8920"},"status":"published"},"_oai":{"id":"oai:uec.repo.nii.ac.jp:00008920","sets":["6"]},"author_link":["24333","24334","24335","24336","24337"],"control_number":"8920","item_10001_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2018-03-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"3","bibliographicPageEnd":"538","bibliographicPageStart":"530","bibliographicVolumeNumber":"J101-D","bibliographic_titles":[{"bibliographic_title":"電子情報通信学会論文誌. D, 情報・システム","bibliographic_titleLang":"ja"}]}]},"item_10001_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"情報システムによって記録されたビジネスプロセスの実行履歴を分析することはプロセスマイニングと呼ばれ，実際に行われたビジネスプロセスの問題を把握して改善へ繋げるための重要な手段である．LTL checkerは線形時相論理(LTL)をベースにした形式的な言語を利用してビジネスプロセスにおいて成り立つべき性質を記述し，検証を行うためのツールであり，ビジネスプロセスの分析を行うための有力な手段として知られている．しかし，多くのビジネスアナリストはLTLのような数学的な記法に精通していないため，ビジネスプロセスにおいて検証したい性質を記述する際に，真に検証すべき性質を正確に記述することは困難である．論理式を誤って記述した場合は当然のことながら本来意図していた検証を行うことはできない．そこで本研究では教師あり機械学習手法の一種である決定木を用いてビジネスプロセス実行ログからイベントの実行順序関係に着目して抽出した特徴量に基づいて学習を行い，論理式を自動生成することで検証したい性質を記述する手法を提案する．本手法を用いることで，数学的な手法に精通していない者でも検証すべき性質を記述することができる．本手法の妥当性を示すために，電話修理プロセスに対し提案手法を適用し，有効性を確認した．","subitem_description_type":"Abstract"},{"subitem_description":"Process mining is a important means for analyzing business process and LTL checker is a famous tool for process mining. However, since many business analysts are not familiar with mathematical notation like LTL, it is difficult to describe exactly the property to be verified when describing the property to be verified in the business process is there. Therefore, in this study, learning is performed based on feature quantities extracted from the business process execution log using a decision tree, and a logical expression is automatically generated. We propose a method to describe properties to be verified.","subitem_description_type":"Abstract"}]},"item_10001_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"電子情報通信学会"}]},"item_10001_relation_14":{"attribute_name":"DOI","attribute_value_mlt":[{"subitem_relation_type":"isIdenticalTo","subitem_relation_type_id":{"subitem_relation_type_id_text":"10.14923/transinfj.2017PDP0020","subitem_relation_type_select":"DOI"}}]},"item_10001_relation_17":{"attribute_name":"関連サイト","attribute_value_mlt":[{"subitem_relation_type_id":{"subitem_relation_type_id_text":"http://search.ieice.org/index.html","subitem_relation_type_select":"URI"}}]},"item_10001_rights_15":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"Copyright © 2018 IEICE"}]},"item_10001_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1881-0225","subitem_source_identifier_type":"ISSN"}]},"item_10001_version_type_20":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"堀田, 大貴","creatorNameLang":"ja"},{"creatorName":"ホリタ, ヒロキ","creatorNameLang":"ja-Kana"},{"creatorName":"HORITA , Hiroki","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"平山, 秀昭","creatorNameLang":"ja"},{"creatorName":"ヒラヤマ, ヒデアキ","creatorNameLang":"ja-Kana"},{"creatorName":"HIRAYAMA, Hideaki","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"早瀬, 健夫","creatorNameLang":"ja"},{"creatorName":"ハヤセ, タケオ","creatorNameLang":"ja-Kana"},{"creatorName":"HAYASE, Takeo","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"田原, 康之","creatorNameLang":"ja"},{"creatorName":"タハラ, ヤスユキ","creatorNameLang":"ja-Kana"},{"creatorName":"TAHARA, Yasuyuki","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"大須賀, 昭彦","creatorNameLang":"ja"},{"creatorName":"オオスガ, アキヒコ","creatorNameLang":"ja-Kana"},{"creatorName":"OHSUGA, Akihiko","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-01-21"}],"displaytype":"detail","filename":"j101-d_3_530.pdf","filesize":[{"value":"1.3 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"j101-d_3_530","url":"https://uec.repo.nii.ac.jp/record/8920/files/j101-d_3_530.pdf"},"version_id":"813485e9-27cf-4ff2-b91c-ca97e253350d"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"ビジネスプロセス","subitem_subject_scheme":"Other"},{"subitem_subject":"検証","subitem_subject_scheme":"Other"},{"subitem_subject":"機械学習","subitem_subject_scheme":"Other"},{"subitem_subject":"プロセスマイニング","subitem_subject_scheme":"Other"},{"subitem_subject":"business process","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"verification","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"machine learning","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"process mining","subitem_subject_language":"en","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"決定木学習を利用したビジネスプロセス実行ログ検証のための論理式の生成","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"決定木学習を利用したビジネスプロセス実行ログ検証のための論理式の生成","subitem_title_language":"ja"},{"subitem_title":"Generating LTL Formula for Verification of Business Process Event Logs Using Decision Tree Learning","subitem_title_language":"en"}]},"item_type_id":"10001","owner":"13","path":["6"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2019-01-21"},"publish_date":"2019-01-21","publish_status":"0","recid":"8920","relation_version_is_last":true,"title":["決定木学習を利用したビジネスプロセス実行ログ検証のための論理式の生成"],"weko_creator_id":"13","weko_shared_id":-1},"updated":"2024-03-05T05:51:11.593498+00:00"}