BPMN 適合性
概要
BPMN 適合性チェックは、実際のプロセスデータと設計された BPMN プロセスモデルを比較します。イベントログ内のすべてのケースを分析し、それぞれのケースが BPMN モデルで定義された期待されるプロセスフローに従っているかどうかを判定します。
この機能は、mindzieStudio にイベントログをロードする際の Dataset Upload ウィザードで設定されます。
この機能は正確な適合性チェックのために Petri Net トークンリプレイ を使用します。単純なシーケンスマッチングと異なり、トークンリプレイは以下を正しく処理します：
- 並列ゲートウェイ（AND）：すべての枝を実行する必要がある
- 排他的ゲートウェイ（XOR）：いずれか1つの枝のみを通るべき
- 包括的ゲートウェイ（OR）：1つ以上の枝を通ってもよい
主な用途
- プロセス遵守：ケースが BPMN モデルで定義された標準的な運用手順に従っていることを検証する
- 逸脱分析：期待されるプロセスフローから逸脱しているケースを特定する
- 品質管理：適合しないケースをレビューや修正のためにフラグ付けする
- 継続的改善：時間経過に伴う適合率を追跡し、プロセス改善を測定する
- 監査支援：内部・外部監査のためのプロセス遵守の証拠を提供する
設定方法
ステップ 1: データセット設定にアクセス
データセットアップロードウィザードの Configure ステップ（7ステップ中の6）に進み、左サイドバーで BPMN Conformance を選択します。
ステップ 2: BPMN モデルをアップロード
アップロード領域をクリックして、コンピューターから BPMN 2.0 ファイルを選択します。
対応フォーマット:
.bpmn- 標準の BPMN 2.0 ファイル.xml- BPMN 2.0 定義を含む XML ファイル
ファイル要件:
- 最大ファイルサイズ: 10 MB
- 有効な BPMN 2.0 XML フォーマットであること
ステップ 3: 適合性結果を確認
アップロード後すぐにシステムが BPMN モデルに対してデータを解析し、以下を表示します：
- サマリーボックス：適合バリアント数と非適合バリアント数のカウント
- バリアントリスト：各プロセスバリアントのフィットネススコアと適合状況
- アクティビティシーケンス：各バリアントのアクティビティの視覚的表示
ステップ 4: フィットネス閾値を調整（任意）
Fitness Threshold スライダーを使って「適合」とみなす基準を調整します：
- 1.0（100%）：完全一致のみを適合とする
- 0.8（80%）：フィットネス80%以上のケースを適合とする（推奨設定）
- 0.5（50%）：寛容設定 - 適度な逸脱があっても適合と見なす
ステップ 5: 設定を保存
Save Configuration をクリックして BPMN モデルを保存します。データが更新されるたびに自動的に適合性チェックが実行されます。
出力属性
このエンリッチメントが実行されると、イベントログの各ケースに 4つの新しい属性 が追加されます：
BPMN Conforming（はい/いいえ）
| 属性 | 詳細 |
|---|---|
| カラム名 | ~enrich~BpmnConforming |
| 表示名 | BPMN Conforming |
| データ型 | ブール値（はい/いいえ） |
意味：
- はい：このケースは BPMN モデルに従っている（フィットネススコアが閾値以上）
- いいえ：このケースは BPMN モデルから逸脱している
BPMN Fitness Score（0% - 100%）
| 属性 | 詳細 |
|---|---|
| カラム名 | ~enrich~BpmnFitness |
| 表示名 | BPMN Fitness Score |
| データ型 | パーセンテージ |
意味：
- 100%：完全一致 - ケースが BPMN モデルに正確に従う
- 90-99%：軽微な逸脱 - 大部分がモデルに従う
- 70-89%：中程度の逸脱 - 一部のアクティビティが不足または順序が異なる
- 70% 未満：大きな逸脱 - 期待されるフローから大幅に異なる
BPMN Conformance Status（テキスト）
| 属性 | 詳細 |
|---|---|
| カラム名 | ~enrich~BpmnConformanceStatus |
| 表示名 | BPMN Conformance Status |
| データ型 | テキスト |
可能な値： | フィットネススコア | ステータス | |---------------|--------| | 100% | Perfect | | 90% - 99% | Minor Deviations | | 70% - 89% | Moderate Deviations | | 70% 未満 | Major Deviations |
BPMN Deviations（テキスト）
| 属性 | 詳細 |
|---|---|
| カラム名 | ~enrich~BpmnDeviations |
| 表示名 | BPMN Deviations |
| データ型 | テキスト |
内容：
- トークンリプレイ時に失敗したアクティビティ遷移を列挙
- 最大5つの問題となった遷移をセミコロンで区切って表示
- ケースが完全に適合している場合は空欄
例：
- (空白) - 逸脱なし
Submit for Approval- 1つのアクティビティが欠落Receive Goods; Invoice Match; Pay Invoice- 複数の逸脱
出力例
Order-to-Cash プロセスで BPMN Conformance を実行した後のケーステーブル例：
| Case ID | BPMN Conforming | BPMN Fitness Score | BPMN Conformance Status | BPMN Deviations |
|---|---|---|---|---|
| PO-001 | はい | 100% | Perfect | |
| PO-002 | いいえ | 65% | Major Deviations | Receive Goods; Invoice Match |
| PO-003 | はい | 92% | Minor Deviations | Post Invoice |
| PO-004 | はい | 100% | Perfect | |
| PO-005 | いいえ | 45% | Major Deviations | Submit for Approval; Approve; Receive Goods |
適合結果の活用
適合属性がデータに追加されると、次のことが可能になります：
ケースのフィルタリング
- 非適合ケースのみを表示：
BPMN Conforming = Noでフィルター - 重度の逸脱を見つける：
BPMN Fitness Score < 70%でフィルター
ダッシュボードの作成
- 適合／非適合ケース数の円グラフを追加
- 時系列で適合率を追跡するトレンドチャートを作成
- 取引先別、地域別、ケース種別で適合率を比較
根本原因分析
- Deviations 属性を使って共通の問題アクティビティを特定
- 適合ケースと非適合ケースを属性値で比較
- 逸脱しやすいケースのパターンを識別
アラート設定
- 適合率が閾値を下回った場合にアラートを作成
- 特定のケースが適合しなかった場合に関係者に通知
トークンリプレイの理解
トークンリプレイは、各ケースを BPMN モデル上で実行シミュレーションする適合性チェックアルゴリズムです：
- プロセス開始位置に「トークン」が置かれる
- ケースの各アクティビティについて、アルゴリズムは BPMN モデル上の対応する遷移でトークンを移動させようとする
- 遷移が発火可能（トークンが正しい場所にある）なら成功
- 遷移が発火不可能（トークンがない）なら逸脱として記録される
- 最終的にトークンが終了状態に到達したかを確認
Fitness の計算式：
Fitness = 1 - (missing tokens + remaining tokens) / (produced tokens + consumed tokens)
0.0（全く適合しない）から 1.0（完全適合）までのスコアを算出します。
関連情報
関連機能：
- Expected Order - 期待されるアクティビティの順序を定義
- Conformance Issue - 適合違反のあるケースをフラグ付け
関連トピック：
- Process Variants - プロセスの異なる経路を分析
- Process Map - 実際のプロセスフローを視覚化
このドキュメントは mindzieStudio プロセスマイニングプラットフォームの一部です。