論文の概要: Mining Constraints from Reference Process Models for Detecting Best-Practice Violations in Event Log
- arxiv url: http://arxiv.org/abs/2407.02336v1
- Date: Tue, 2 Jul 2024 15:05:37 GMT
- ステータス: 処理完了
- システム内更新日: 2024-07-03 14:56:27.096805
- Title: Mining Constraints from Reference Process Models for Detecting Best-Practice Violations in Event Log
- Title（参考訳）: イベントログにおけるベストプラクティス違反検出のための参照プロセスモデルからのマイニング制約
- Authors: Adrian Rebmann, Timotheus Kampik, Carl Corea, Han van der Aa,
- Abstract要約: 本稿では,参照モデルコレクションから宣言的ベストプラクティス制約をマイニングするためのフレームワークを提案する。
本稿では,実世界のプロセスモデルコレクションとイベントログに基づく評価により,ベストプラクティス違反を検出するフレームワークの能力を実証する。
- 参考スコア（独自算出の注目度）: 1.389948527681755
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Detecting undesired process behavior is one of the main tasks of process mining and various conformance-checking techniques have been developed to this end. These techniques typically require a normative process model as input, specifically designed for the processes to be analyzed. Such models are rarely available, though, and their creation involves considerable manual effort.However, reference process models serve as best-practice templates for organizational processes in a plethora of domains, containing valuable knowledge about general behavioral relations in well-engineered processes. These general models can thus mitigate the need for dedicated models by providing a basis to check for undesired behavior. Still, finding a perfectly matching reference model for a real-life event log is unrealistic because organizational needs can vary, despite similarities in process execution. Furthermore, event logs may encompass behavior related to different reference models, making traditional conformance checking impractical as it requires aligning process executions to individual models. To still use reference models for conformance checking, we propose a framework for mining declarative best-practice constraints from a reference model collection, automatically selecting constraints that are relevant for a given event log, and checking for best-practice violations. We demonstrate the capability of our framework to detect best-practice violations through an evaluation based on real-world process model collections and event logs.
- Abstract（参考訳）: プロセスマイニングの主要な課題のひとつとして,望ましくないプロセスの振る舞いを検出する手法が開発されている。
これらの技術は一般的に、入力として規範的なプロセスモデルを必要とし、特に分析対象のプロセスのために設計されている。
しかし、そのようなモデルはほとんど利用できず、それらの作成にはかなりの手作業が必要であり、しかしながら、参照プロセスモデルは、多くのドメインにおいて組織プロセスのためのベストプラクティスのテンプレートとして機能し、よくエンジニアリングされたプロセスにおける一般的な行動関係に関する貴重な知識を含んでいる。
これらの一般的なモデルは、望ましくない振る舞いをチェックする基盤を提供することで、専用モデルの必要性を軽減することができる。
それでも、実際のイベントログに完全に一致する参照モデルを見つけるのは現実的ではありません。
さらに、イベントログは異なる参照モデルに関連する振る舞いを包含する可能性があり、個々のモデルにプロセスの実行を整合させる必要があるため、従来の適合性チェックは実行不可能である。
本稿では、参照モデルを用いて、参照モデルコレクションから宣言的ベストプラクティス制約を抽出し、所定のイベントログに関連する制約を自動的に選択し、ベストプラクティス違反をチェックするためのフレームワークを提案する。
本稿では,実世界のプロセスモデルコレクションとイベントログに基づく評価により,ベストプラクティス違反を検出するフレームワークの能力を実証する。
関連論文リスト
- Object-Centric Conformance Alignments with Synchronization (Extended Version) [57.76661079749309]
対象中心のペトリネットが一対多の関係を捉える能力と,その同一性に基づいたオブジェクトの比較と同期を行う識別子を持つペトリネットの能力を組み合わせた,新たな形式主義を提案する。
我々は、満足度変調理論(SMT)の符号化に基づく、そのようなネットに対する適合性チェック手法を提案する。
論文 参考訳（メタデータ） (2023-12-13T21:53:32Z) - Adapting Large Language Models for Content Moderation: Pitfalls in Data
Engineering and Supervised Fine-tuning [79.53130089003986]
大規模言語モデル(LLM)は、様々なドメインでタスクを処理するための実現可能なソリューションとなっている。
本稿では、コンテンツモデレーションのためにプライベートにデプロイ可能なLLMモデルを微調整する方法を紹介する。
論文 参考訳（メタデータ） (2023-10-05T09:09:44Z) - Formal Verification Of A Shopping Basket Application Model Using PRISM [0.0]
ショッピング・バスケット・アプリケーション・モデルにおけるPrism Model Checkerを用いたシミュレーションの結果を示す。
目的は、買い物客が買い物プロセスの多くの定義された状態を通過するときの行動をシミュレートすることである。
論文 参考訳（メタデータ） (2023-07-16T00:14:40Z) - Earning Extra Performance from Restrictive Feedbacks [41.05874087063763]
モデルチューニング問題の形式を記述するために,rerestriCTive feeddbacks (EXPECTED) から emphEarning eXtra PerformancE という課題を設定した。
モデルプロバイダの目標は、最終的にフィードバックを利用することで、ローカルユーザに対して満足のいくモデルを提供することです。
本稿では,パラメータ分布を探索し,モデルパラメータに関するモデル性能の幾何を特徴付けることを提案する。
論文 参考訳（メタデータ） (2023-04-28T13:16:54Z) - Relational Action Bases: Formalization, Effective Safety Verification,
and Invariants (Extended Version) [67.99023219822564]
我々はリレーショナルアクションベース(RAB)の一般的な枠組みを紹介する。
RABは両方の制限を解除することで既存のモデルを一般化する。
データ対応ビジネスプロセスのベンチマークにおいて、このアプローチの有効性を実証する。
論文 参考訳（メタデータ） (2022-08-12T17:03:50Z) - Extending Process Discovery with Model Complexity Optimization and
Cyclic States Identification: Application to Healthcare Processes [62.997667081978825]
モデル最適化のための半自動支援を実現するプロセスマイニング手法を提案する。
所望の粒度で生モデルを抽象化するモデル単純化手法が提案されている。
医療分野の異なるアプリケーションから得られた3つのデータセットを用いて、技術的ソリューションの能力を実証することを目的としている。
論文 参考訳（メタデータ） (2022-06-10T16:20:59Z) - Easy, adaptable and high-quality Modelling with domain-specific
Constraint Patterns [0.0]
ドメイン固有の制約パターンが導入され、制約プログラミング設定のためのソフトウェアエンジニアリングのパターンの設計と相反する。
これらのパターンは、繰り返し発生する問題に対する専門家の知識とベストプラクティスのソリューションを記述し、サンプル実装を含めます。
論文 参考訳（メタデータ） (2022-06-06T10:29:40Z) - On the Limits of Evaluating Embodied Agent Model Generalization Using
Validation Sets [101.28658250723804]
本稿では,より広い視野を効果的に活用し,次のステップでナビゲーションや操作を行うかを選択するモジュールによるトランスフォーマーモデルの拡張実験を行う。
提案したモジュールは改良され,実際に,一般的なベンチマークデータセットであるALFREDの未確認検証セット上での最先端のパフォーマンスが向上した。
この結果は、機械学習タスクではより広い現象かもしれないが、主にテストスプリットの評価を制限するベンチマークでのみ顕著である、と我々は考えているので強調する。
論文 参考訳（メタデータ） (2022-05-18T23:52:21Z) - Generalization in Automated Process Discovery: A Framework based on
Event Log Patterns [0.03222802562733786]
既存の一般化対策は、実践上の適用性を著しく阻害するいくつかの欠点を示している。
本稿では、イベントログから検出されたパターンの集合を代表トレースで一般化するフレームワークを提案する。
ベースライン一般化測度が扱える最大データセットより2桁大きいデータセットに対して,我々の測度を効率的に計算できることが示される。
論文 参考訳（メタデータ） (2022-03-26T13:49:11Z) - Online Soft Conformance Checking: Any Perspective Can Indicate
Deviations [0.0]
コンフォーマンスチェック(Conformance check)は、プロセスの実行が参照モデルの期待される振る舞いに適合する範囲を確立するために用いられる。
本稿では、必ずしも制御フローを参照していない記述モデルを用いた適合性アプローチを提案する。
アプローチ全体がオフラインでもオンラインでも動作し、リアルタイムでフィードバックを提供する。
論文 参考訳（メタデータ） (2022-01-23T10:26:44Z) - CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT
(Extended Version) [62.96267257163426]
我々はCoCoMoT(Computing Conformance Modulo Theories)フレームワークを紹介する。
まず、純粋な制御フロー設定で研究したSATベースのエンコーディングを、データ認識ケースに持ち上げる方法を示す。
次に,プロパティ保存型クラスタリングの概念に基づく新しい前処理手法を提案する。
論文 参考訳（メタデータ） (2021-03-18T20:22:50Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。