決定木学習を利用したビジネスプロセス実行ログ検証のための論理式の生成

DOI 機関リポジトリ

書誌事項

タイトル別名
  • Generating LTL Formula for Verification of Business Process Event Logs Using Decision Tree Learning

説明

情報システムによって記録されたビジネスプロセスの実行履歴を分析することはプロセスマイニングと呼ばれ，実際に行われたビジネスプロセスの問題を把握して改善へ繋げるための重要な手段である．LTL checkerは線形時相論理(LTL)をベースにした形式的な言語を利用してビジネスプロセスにおいて成り立つべき性質を記述し，検証を行うためのツールであり，ビジネスプロセスの分析を行うための有力な手段として知られている．しかし，多くのビジネスアナリストはLTLのような数学的な記法に精通していないため，ビジネスプロセスにおいて検証したい性質を記述する際に，真に検証すべき性質を正確に記述することは困難である．論理式を誤って記述した場合は当然のことながら本来意図していた検証を行うことはできない．そこで本研究では教師あり機械学習手法の一種である決定木を用いてビジネスプロセス実行ログからイベントの実行順序関係に着目して抽出した特徴量に基づいて学習を行い，論理式を自動生成することで検証したい性質を記述する手法を提案する．本手法を用いることで，数学的な手法に精通していない者でも検証すべき性質を記述することができる．本手法の妥当性を示すために，電話修理プロセスに対し提案手法を適用し，有効性を確認した．

収録刊行物

関連プロジェクト

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ