| Item type |
学術雑誌論文 / Journal Article(1) |
| 公開日 |
2019-01-21 |
| タイトル |
|
|
タイトル |
決定木学習を利用したビジネスプロセス実行ログ検証のための論理式の生成 |
|
言語 |
ja |
| タイトル |
|
|
タイトル |
Generating LTL Formula for Verification of Business Process Event Logs Using Decision Tree Learning |
|
言語 |
en |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題 |
ビジネスプロセス |
| キーワード |
|
|
主題 |
検証 |
| キーワード |
|
|
主題 |
機械学習 |
| キーワード |
|
|
主題 |
プロセスマイニング |
| キーワード |
|
|
言語 |
en |
|
主題 |
business process |
| キーワード |
|
|
言語 |
en |
|
主題 |
verification |
| キーワード |
|
|
言語 |
en |
|
主題 |
machine learning |
| キーワード |
|
|
言語 |
en |
|
主題 |
process mining |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
journal article |
| 著者 |
堀田, 大貴
平山, 秀昭
早瀬, 健夫
田原, 康之
大須賀, 昭彦
|
| 抄録 |
|
|
内容記述タイプ |
Abstract |
|
内容記述 |
情報システムによって記録されたビジネスプロセスの実行履歴を分析することはプロセスマイニングと呼ばれ，実際に行われたビジネスプロセスの問題を把握して改善へ繋げるための重要な手段である．LTL checkerは線形時相論理(LTL)をベースにした形式的な言語を利用してビジネスプロセスにおいて成り立つべき性質を記述し，検証を行うためのツールであり，ビジネスプロセスの分析を行うための有力な手段として知られている．しかし，多くのビジネスアナリストはLTLのような数学的な記法に精通していないため，ビジネスプロセスにおいて検証したい性質を記述する際に，真に検証すべき性質を正確に記述することは困難である．論理式を誤って記述した場合は当然のことながら本来意図していた検証を行うことはできない．そこで本研究では教師あり機械学習手法の一種である決定木を用いてビジネスプロセス実行ログからイベントの実行順序関係に着目して抽出した特徴量に基づいて学習を行い，論理式を自動生成することで検証したい性質を記述する手法を提案する．本手法を用いることで，数学的な手法に精通していない者でも検証すべき性質を記述することができる．本手法の妥当性を示すために，電話修理プロセスに対し提案手法を適用し，有効性を確認した． |
| 抄録 |
|
|
内容記述タイプ |
Abstract |
|
内容記述 |
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. |
| 書誌情報 |
ja : 電子情報通信学会論文誌. D, 情報・システム
巻 J101-D,
号 3,
p. 530-538,
発行日 2018-03-01
|
| 出版者 |
|
|
出版者 |
電子情報通信学会 |
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
1881-0225 |
| DOI |
|
|
関連タイプ |
isIdenticalTo |
|
|
識別子タイプ |
DOI |
|
|
関連識別子 |
10.14923/transinfj.2017PDP0020 |
| 権利 |
|
|
権利情報 |
Copyright © 2018 IEICE |
| 関連サイト |
|
|
|
識別子タイプ |
URI |
|
|
関連識別子 |
http://search.ieice.org/index.html |
| 著者版フラグ |
|
|
出版タイプ |
VoR |
|
出版タイプResource |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
j101-d_3_530 (1.3 MB)
