Generating LTL Formula for Verification of Business Process Event Logs Using Decision Tree Learning

DOI IR

Bibliographic Information

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

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.

Journal

Related Projects

See more

Keywords

Details 詳細情報について

Report a problem

Back to top