論文の概要: Tool-Assisted Conformance Checking to Reference Process Models
- arxiv url: http://arxiv.org/abs/2508.00738v2
- Date: Mon, 04 Aug 2025 12:03:24 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-08-05 14:07:57.823317
- Title: Tool-Assisted Conformance Checking to Reference Process Models
- Title（参考訳）: ツールによる参照プロセスモデルへのコンフォーマンスチェック
- Authors: Bernhard Rumpe, Max Stachon, Sebastian Stüber, Valdes Voufo,
- Abstract要約: 整合性チェックは、さまざまなプロセスの品質と一貫性を維持するために不可欠です。
本稿では,参照モデルに対する具体的なプロセスモデルの自動適合性チェックについて検討する。
- 参考スコア（独自算出の注目度）: 0.9117519504551699
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Reference models convey best practices and standards. The reference frameworks necessitate conformance checks to ensure adherence to established guidelines and principles, which is crucial for maintaining quality and consistency in various processes. This paper explores automated conformance checks for concrete process models against reference models using causal dependency analysis of tasks and events. Existing notions of conformance checking for process models focus on verifying process execution traces and lack the expressiveness and automation needed for semantic model comparison, leaving this question unresolved. We integrate our approach into a broader semantic framework for defining reference model conformance. We outline an algorithm for reference process model conformance checking, evaluate it through a case study, and discuss its strengths and limitations. Our research provides a tool-assisted solution enhancing accuracy and flexibility in process model conformance verification.
- Abstract（参考訳）: 参照モデルはベストプラクティスと標準を伝達します。
参照フレームワークは、さまざまなプロセスの品質と一貫性を維持するために不可欠である確立されたガイドラインと原則の遵守を保証するために、適合性チェックを必要とする。
本稿では,タスクやイベントの因果依存性分析を用いて,参照モデルに対する具体的なプロセスモデルの自動適合性チェックについて検討する。
プロセスモデルに対する既存の適合性チェックの概念は、プロセス実行トレースの検証に重点を置いており、セマンティックモデルの比較に必要な表現性と自動化が欠如しており、この問題は未解決のままである。
我々は、参照モデル適合性を定義するためのより広範なセマンティックフレームワークにアプローチを統合する。
本稿では,参照プロセスモデル適合性チェックのためのアルゴリズムの概要と,ケーススタディを通じて評価を行い,その強度と限界について論じる。
本研究は,プロセスモデル適合性検証における精度と柔軟性を向上させるツール支援ソリューションを提供する。
関連論文リスト
- Consistency Verification in Ontology-Based Process Models with Parameter Interdependencies [40.539768677361735]
プロセス知識の形式化は、製造におけるパラメータ相互依存の一貫性のあるモデリングを可能にする。
クロスコンテキストアプリケーションと知識再利用をサポートするために、そのような表現は汎用形式で定義され、複数のプロセスコンテキストにまたがって適用される。
本稿では,これまで開発されたプロセスセマンティクスモデルに対する検証機構について述べる。
論文 参考訳（メタデータ） (2025-06-19T07:21:16Z) - Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing [0.3807314298073301]
有限状態オートマトン方言を用いて指定されたサービスアプリケーションを実現するため、tt CAREと呼ばれる分散ランタイムアプリケーションが導入された。
tt CAREの形式的モデリング、検証、テストについて詳述する。
論文 参考訳（メタデータ） (2025-01-22T15:03:25Z) - Mining Constraints from Reference Process Models for Detecting Best-Practice Violations in Event Log [1.389948527681755]
本稿では,参照モデルコレクションから宣言的ベストプラクティス制約をマイニングするためのフレームワークを提案する。
本稿では,実世界のプロセスモデルコレクションとイベントログに基づく評価により,ベストプラクティス違反を検出するフレームワークの能力を実証する。
論文 参考訳（メタデータ） (2024-07-02T15:05:37Z) - OSM: Leveraging Model Checking for Observing Dynamic 1 behaviors in
Aspect-Oriented Applications [0.0]
観測ベース統計モデルチェック(OSM)フレームワークは、基本的なシステムコードから直接実行可能な形式モデルを構築するために開発された。
これにより、プリコンディションシフト中の電子健康記録システムの未収量性能が保証される。
論文 参考訳（メタデータ） (2024-03-03T00:03:34Z) - QualEval: Qualitative Evaluation for Model Improvement [82.73561470966658]
モデル改善のための手段として,自動定性評価による定量的スカラー指標を付加するQualEvalを提案する。
QualEvalは強力なLCM推論器と新しいフレキシブルリニアプログラミングソルバを使用して、人間の読みやすい洞察を生成する。
例えば、その洞察を活用することで、Llama 2モデルの絶対性能が最大15%向上することを示す。
論文 参考訳（メタデータ） (2023-11-06T00:21:44Z) - Variable Importance Matching for Causal Inference [73.25504313552516]
これらの目標を達成するためのModel-to-Matchと呼ばれる一般的なフレームワークについて説明する。
Model-to-Matchは、距離メートル法を構築するために変数重要度測定を使用する。
LASSO を用いて Model-to-Match フレームワークを運用する。
論文 参考訳（メタデータ） (2023-02-23T00:43:03Z) - Extending Process Discovery with Model Complexity Optimization and
Cyclic States Identification: Application to Healthcare Processes [62.997667081978825]
モデル最適化のための半自動支援を実現するプロセスマイニング手法を提案する。
所望の粒度で生モデルを抽象化するモデル単純化手法が提案されている。
医療分野の異なるアプリケーションから得られた3つのデータセットを用いて、技術的ソリューションの能力を実証することを目的としている。
論文 参考訳（メタデータ） (2022-06-10T16:20:59Z) - Lifted Model Checking for Relational MDPs [12.574454799055026]
pCTL-REBELは、リレーショナルMDP上のpCTL特性を検証するためのリフトモデルチェック手法である。
pCTLモデル検査手法は, 無限領域であっても, リレーショナルMDPに対して決定可能であることを示す。
論文 参考訳（メタデータ） (2021-06-22T13:12:36Z) - CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT
(Extended Version) [62.96267257163426]
我々はCoCoMoT(Computing Conformance Modulo Theories)フレームワークを紹介する。
まず、純粋な制御フロー設定で研究したSATベースのエンコーディングを、データ認識ケースに持ち上げる方法を示す。
次に,プロパティ保存型クラスタリングの概念に基づく新しい前処理手法を提案する。
論文 参考訳（メタデータ） (2021-03-18T20:22:50Z) - Evaluating the Safety of Deep Reinforcement Learning Models using
Semi-Formal Verification [81.32981236437395]
本稿では,区間分析に基づく半形式的意思決定手法を提案する。
本手法は, 標準ベンチマークに比較して, 形式検証に対して比較結果を得る。
提案手法は, 意思決定モデルにおける安全性特性を効果的に評価することを可能にする。
論文 参考訳（メタデータ） (2020-10-19T11:18:06Z) - Control as Hybrid Inference [62.997667081978825]
本稿では、反復推論と償却推論のバランスを自然に仲介するCHIの実装について述べる。
連続的な制御ベンチマークでアルゴリズムのスケーラビリティを検証し、強力なモデルフリーおよびモデルベースラインを上回る性能を示す。
論文 参考訳（メタデータ） (2020-07-11T19:44:09Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。