研究テーマ ｜ Research theme
プロセスマイニングによるビジネスプロセス発見と検証
Business process discovery and verification through process mining
研究概要 ｜ Research summary
何かの業務目的を達成するために組織されたタスク群のことをビジネスプロセスといいます。ビジネスプロセスの誤りや実行エラーは企業の損失につながるため，その正しさを保証することの重要性は広く認識されています。この研究では，ビジネスプロセスの分析と検証を行う手法の開発を目的としています。
Business process is a set of tasks organized to achieve some business goals. Design flaws or runtime errors of business processes result in loss of a company. Thefore, the importance of ensuring its correctness is widely recognized. This research aims to develop a methodology for business process analysis and verification.
特色・研究成果・今後の展望
厳密な計算モデルに基づくモデル化と分析手法を特徴とする形式手法と呼ばれる手法を用いて，この問題に取り組んでいます。現在のところ，ビジネスプロセスの実行記録（イベントログと呼ばれる）をプロセスマイニングと呼ばれるデータマイニングの一手法を用いて分析し，ビジネスプロセスのモデルを半自動的に生成し，モデル検査と呼ばれる手法でそのモデルの正しさを検証する手法を確立しました。
社会実装への展望
本研究により，企業の業務プロセスの分析と改善を行うビジネスプロセスマネジメントを，勘や経験に頼ることなく厳密な裏付けのもとに実践することが可能になります。