@article{oai:uec.repo.nii.ac.jp:00008920,
 author = {堀田, 大貴 and HORITA , Hiroki and 平山, 秀昭 and HIRAYAMA, Hideaki and 早瀬, 健夫 and HAYASE, Takeo and 田原, 康之 and TAHARA, Yasuyuki and 大須賀, 昭彦 and OHSUGA, Akihiko},
 issue = {3},
 journal = {電子情報通信学会論文誌. D, 情報・システム},
 month = {Mar},
 note = {情報システムによって記録されたビジネスプロセスの実行履歴を分析することはプロセスマイニングと呼ばれ，実際に行われたビジネスプロセスの問題を把握して改善へ繋げるための重要な手段である．LTL checkerは線形時相論理(LTL)をベースにした形式的な言語を利用してビジネスプロセスにおいて成り立つべき性質を記述し，検証を行うためのツールであり，ビジネスプロセスの分析を行うための有力な手段として知られている．しかし，多くのビジネスアナリストはLTLのような数学的な記法に精通していないため，ビジネスプロセスにおいて検証したい性質を記述する際に，真に検証すべき性質を正確に記述することは困難である．論理式を誤って記述した場合は当然のことながら本来意図していた検証を行うことはできない．そこで本研究では教師あり機械学習手法の一種である決定木を用いてビジネスプロセス実行ログからイベントの実行順序関係に着目して抽出した特徴量に基づいて学習を行い，論理式を自動生成することで検証したい性質を記述する手法を提案する．本手法を用いることで，数学的な手法に精通していない者でも検証すべき性質を記述することができる．本手法の妥当性を示すために，電話修理プロセスに対し提案手法を適用し，有効性を確認した．, 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.},
 pages = {530--538},
 title = {決定木学習を利用したビジネスプロセス実行ログ検証のための論理式の生成},
 volume = {J101-D},
 year = {2018},
 yomi = {ホリタ, ヒロキ and ヒラヤマ, ヒデアキ and ハヤセ, タケオ and タハラ, ヤスユキ and オオスガ, アキヒコ}
}