論文の概要: Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach

• arxiv url: http://arxiv.org/abs/2111.13136v1
• Date: Thu, 25 Nov 2021 15:49:33 GMT
• ステータス: 処理完了
• システム内更新日: 2021-11-30 06:55:13.390676
• Title: Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach
• Title（参考訳）: 競合管理によるハイブリッドプロセス仕様の監視:オートマタ理論的アプローチ
• Authors: Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, and Andrey Rivkin
• Abstract要約: 場合によっては、複数のプロセス仕様を同時に検討する必要があります。 医学領域において、特定の疾患の治療を記述した臨床ガイドラインは、共存可能なすべてのコファクターを説明できない。 本稿では,ペトリネットと時間論理則を組み合わせたハイブリッドプロセス仕様の相互運用をモニタリングする手法を提案する。
• 参考スコア（独自算出の注目度）: 7.031737039359481
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Business process monitoring approaches have thus far mainly focused on monitoring the execution of a process with respect to a single process model. However, in some cases it is necessary to consider multiple process specifications simultaneously. In addition, these specifications can be procedural, declarative, or a combination of both. For example, in the medical domain, a clinical guideline describing the treatment of a specific disease cannot account for all possible co-factors that can coexist for a specific patient and therefore additional constraints may need to be considered. In some cases, these constraints may be incompatible with clinical guidelines, therefore requiring the violation of either the guidelines or the constraints. In this paper, we propose a solution for monitoring the interplay of hybrid process specifications expressed as a combination of (data-aware) Petri nets and temporal logic rules. During the process execution, if these specifications are in conflict with each other, it is possible to violate some of them. The monitoring system is equipped with a violation cost model according to which the system can recommend the next course of actions in a way that would either avoid possible violations or minimize the total cost of violations.
• Abstract（参考訳）: ビジネスプロセスモニタリングのアプローチは、これまでは主に単一のプロセスモデルに関してプロセスの実行を監視することに重点を置いてきた。 しかし、場合によっては複数のプロセス仕様を同時に検討する必要がある。 さらに、これらの仕様は手続き的、宣言的、あるいは両方の組み合わせでもよい。 例えば、医学領域において、特定の疾患の治療を記述した臨床ガイドラインは、特定の患者と共存できる全てのコファクターを考慮できないため、追加の制約を考慮する必要がある。 場合によっては、これらの制約は臨床ガイドラインと相容れない場合があるため、ガイドラインまたは制約に違反する必要がある。 本稿では,ペトリネットと時間論理規則の組み合わせとして表現されたハイブリッドプロセス仕様の相互作用を監視するためのソリューションを提案する。 プロセス実行中、これらの仕様が互いに矛盾している場合、それらの一部に違反する可能性がある。 監視システムは、違反を回避するか、違反の合計コストを最小にするかのどちらかの方法で、システムが次の行動経路を推奨できる違反コストモデルを備えている。

関連論文リスト

• Defining and executing temporal constraints for evaluating engineering artifact compliance [56.08728135126139]
  プロセスコンプライアンスは、実際のエンジニアリング作業が記述されたエンジニアリングプロセスに可能な限り密接に従うことを保証することに焦点を当てます。 これらのプロセスの制約をチェックすることは、依然として大変な作業であり、多くの手作業を必要とし、プロセスの後半にエンジニアにフィードバックを提供する。 関連するエンジニアリングアーティファクト間の時間的制約を,アーティファクトの変更毎に段階的にチェックする,自動制約チェックアプローチを提案する。
  論文  参考訳（メタデータ） (2023-12-20T13:26:31Z)
• Neighborhood Adaptive Estimators for Causal Inference under Network Interference [152.4519491244279]
  我々は,古典的非干渉仮説の違反を考える。つまり,ある個人に対する治療が他者の結果に影響を及ぼす可能性がある。 干渉をトラクタブルにするために、干渉がどのように進行するかを記述する既知のネットワークを考える。 このような環境下での処理に対する平均的直接的処理効果の予測について検討した。
  論文  参考訳（メタデータ） (2022-12-07T14:53:47Z)
• Declarative Guideline Conformance Checking of Clinical Treatments: A Case Study [1.9844265130823326]
  本研究では,HL7標準Arden Syntaxの宣言型規則ベース適合性チェックへの適用性について検討した。 治療内容の適合性を確認し,医療ガイドラインの大部分に医学的に意味のあるアライメントを作成することが可能であった。
  論文  参考訳（メタデータ） (2022-09-20T08:07:02Z)
• Causal Modeling of Policy Interventions From Sequences of Treatments and Outcomes [5.107614397012659]
  データ駆動意思決定は、ポリシーが変更されたときに何が起こるかを予測する能力を必要とする。 結果がどのように進化するかを予測する既存の方法は、将来の治療の仮のシーケンスが事前に固定されていると仮定する。 実際には、治療は政策によって決定され、以前の治療の効率に依存する可能性がある。
  論文  参考訳（メタデータ） (2022-09-09T06:50:37Z)
• Continuous-Time Modeling of Counterfactual Outcomes Using Neural Controlled Differential Equations [84.42837346400151]
  反現実的な結果を予測することは、パーソナライズされたヘルスケアをアンロックする可能性がある。 既存の因果推論アプローチでは、観察と治療決定の間の通常の離散時間間隔が考慮されている。 そこで本研究では,腫瘍増殖モデルに基づく制御可能なシミュレーション環境を提案する。
  論文  参考訳（メタデータ） (2022-06-16T17:15:15Z)
• Prescriptive Process Monitoring: Quo Vadis? [64.39761523935613]
  本論文はシステム文献レビュー(SLR)を通して,本分野における既存手法について考察する。 SLRは今後の研究の課題や分野に関する洞察を提供し、規範的なプロセス監視手法の有用性と適用性を高めることができる。
  論文  参考訳（メタデータ） (2021-12-03T08:06:24Z)
• CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version) [62.96267257163426]
  我々はCoCoMoT(Computing Conformance Modulo Theories)フレームワークを紹介する。 まず、純粋な制御フロー設定で研究したSATベースのエンコーディングを、データ認識ケースに持ち上げる方法を示す。 次に,プロパティ保存型クラスタリングの概念に基づく新しい前処理手法を提案する。
  論文  参考訳（メタデータ） (2021-03-18T20:22:50Z)
• Case Level Counterfactual Reasoning in Process Mining [0.0]
  我々は, emphcounterfactual equation model と emphcounterfactual reasoning の使用を提唱する。 ProMプラグインは、パフォーマンスやコンプライアンスの問題を避けるために、特定のケースがどのように異なる方法で処理されたかを示す推奨事項を生成します。
  論文  参考訳（メタデータ） (2021-02-25T09:52:18Z)
• An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets [68.8204255655161]
  過制約問題における最小限の障害制約を識別する分割・分散型診断アルゴリズム(FastDiag)を提案する。 ヒットセットの競合指向計算とfastdiagを比較し,詳細な性能解析を行う。
  論文  参考訳（メタデータ） (2021-02-17T19:55:42Z)
• Partial Order Resolution of Event Logs for Process Conformance Checking [10.58705988536919]
  既存の適合性チェック技術の重要な前提は、すべてのイベントがプロセスインスタンス毎のイベントの順序を推測できるタイムスタンプに関連付けられているということです。 本稿では,動作抽象化の異なる概念を取り入れた,この課題に対するいくつかの推定手法を提案する。 実世界のデータと合成データの実験により、我々の手法は最先端の精度を大幅に向上させることが明らかとなった。
  論文  参考訳（メタデータ） (2020-07-05T18:43:57Z)
• Towards Multi-perspective conformance checking with fuzzy sets [3.7593339428804295]
  本稿では,違反に対する俳優の寛容さを表現し,逸脱の深刻さを考慮に入れた新しいアプローチを提案する。 また, 診断精度の向上に加えて, 偏差評価の許容度も向上し, 適合性検査技術の柔軟性の向上が期待できる。
  論文  参考訳（メタデータ） (2020-01-29T09:02:23Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。