[論文レビュー] Conformance checking: A state-of-the-art literature review
本論文は、プロセスマイニングにおける37の適合性チェック手法について、体系的文献レビューを実施し、モデリング言語、視点、アルゴリズムタイプ、品質指標の4つの次元に沿って分類している。本研究では、記述的モデリング言語における適合性チェックに関する顕著な研究ギャップと、制御フロー分析に強い注目が集まっていることが明らかになった。今後の研究では、時間、役割、ビジネスルールを含むマルチパースペクティブ手法の開発が求められる。
Conformance checking is a set of process mining functions that compare process instances with a given process model. It identifies deviations between the process instances' actual behaviour ("as-is") and its modelled behaviour ("to-be"). Especially in the context of analyzing compliance in organizations, it is currently gaining momentum -- e.g. for auditors. Researchers have proposed a variety of conformance checking techniques that are geared towards certain process model notations or specific applications such as process model evaluation. This article reviews a set of conformance checking techniques described in 37 scholarly publications. It classifies the techniques along the dimensions "modelling language", "algorithm type", "quality metric", and "perspective" using a concept matrix so that the techniques can be better accessed by practitioners and researchers. The matrix highlights the dimensions where extant research concentrates and where blind spots exist. For instance, process miners use declarative process modelling languages often, but applications in conformance checking are rare. Likewise, process mining can investigate process roles or process metrics such as duration, but conformance checking techniques narrow on analyzing control-flow. Future research may construct techniques that support these neglected approaches to conformance checking.
研究の動機と目的
- 情報システム分野における適合性チェック分野における現在の研究動向と盲点を特定すること。
- モデリング言語、視点、アルゴリズムタイプ、品質指標の4つの主要な次元に基づいて、既存の適合性チェック手法を分類すること。
- 記述的モデルや制御フロー以外の視点（例：時間、役割、期間）といった、研究が不足している分野を浮き彫りにすること。
- トレースアライメント最適化、実世界での検証、ルールベースシステムとの統合といった分野における今後の研究機会を特定することで、今後の研究を導くこと。
- 構造化された概念マトリクスを提供することで、実務家や研究者が適切な適合性チェック手法を選定できるように支援すること。
提案手法
- Scopusを主たるデータベースとして用い、事前に定めた含む・除外する基準を適用して体系的文献レビューを実施した。
- プロセスモデルとイベントログを用いて、独立した適合性チェック手法を提示する37件の学術論文を選定した。
- 各手法を以下の4つの次元に沿って分類した：(1) モデリング言語（例：BPMN、プレーティー・ネット、Declare）、(2) 視点（制御フロー対マルチパースペクティブ）、(3) アルゴリズムタイプ（例：ログリプレイ、トレースアライメント、ルールベース、人工的ネガティブイベント）、(4) 品質指標（適合性、正確性、単純性、一般化性）。
- 4つの次元に沿った手法の分布を可視化するための概念マトリクスを構築し、研究の集中度と盲点を特定した。
- Scopusを用いて文献計測的データを評価し、代表的な研究のカバレッジと引用インパクトを確認した。
- プロセスマイニングにおける適合性チェックに厳密に焦点を当てていない論文、特にプロセスモデルの整合性なしにコンプライアンスチェックや不正検出に特化した論文は除外した。
実験結果
リサーチクエスチョン
- RQ1情報システム分野における適合性チェック研究の主な動向は何か？
- RQ2既存の適合性チェック手法が最も多くサポートしているプロセスモデリング言語は何か？
- RQ3現在の手法は、制御フロー以外の視点（例：時間、役割、リソース使用）をどの程度考慮しているか？
- RQ4どのアルゴリズムタイプが最も一般的で、それらの実装および最適化においてどのような違いがあるか？
- RQ5適合性を評価するために用いられている品質指標は何か？正確性、単純性、一般化性の測定においてギャップは存在するか？
主な発見
- BPMN や Petri ネットとは異なり、Declara などの記述的プロセスモデリング言語に対する適合性チェック手法の不足が顕著である。
- 大多数の適合性チェック手法は制御フロー分析に限定されており、時間、役割、リソース割り当てを含むマルチパースペクティブ分析への対応は限定的である。
- トレースアライメントが最も広く用いられているアルゴリズムタイプであり、次いでログリプレイが続く。ルールベースおよび人工的ネガティブイベント手法は「その他」と分類される。
- 適合性が最も頻繁に用いられている品質指標であるが、正確性、単純性、一般化性は現在の研究で十分に検討されていない。
- 実際のイベントログを用いた適合性チェック手法の検証を行っている研究はわずかであり、実証的評価や実用的妥当性の評価にギャップがあることが示された。
- 論文数の増加にもかかわらず、適合性チェックが実際の組織的環境で適用されている研究は少なく、特に医療分野を除いては、スケーラビリティや使いやすさに関する実践的知見が限られている。
より良い研究を、今すぐ始めましょう
論文の読解から最終レビューまで、研究時間を劇的に削減しましょう。
クレジットカード登録不要
このレビューはAIが作成し、人間の編集者が確認しました。