論文の概要: Executing Discrete/Continuous Declarative Process Specifications via Complex Event Processing

• arxiv url: http://arxiv.org/abs/2512.05653v1
• Date: Fri, 05 Dec 2025 11:57:52 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-12-13 22:40:57.01193
• Title: Executing Discrete/Continuous Declarative Process Specifications via Complex Event Processing
• Title（参考訳）: 複合イベント処理による離散/連続宣言プロセス仕様の実行
• Authors: Stefan Schönig, Leo Poss, Fabrizio Maria Maggi,
• Abstract要約: 本稿では,ハイブリッド宣言モデルのリアルタイム実行と実行を可能にする,CEP(Complex Event Processing)ベースの実行アーキテクチャを提案する。 我々の3層アプローチは、STLにインスパイアされた述語を実行フローに統合し、システムがアクティブにアクティビティをトリガーし、連続的なセンサーの振る舞いに基づいてプロセス境界を強制することを可能にする。
• 参考スコア（独自算出の注目度）: 2.314405422721801
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: Traditional Business Process Management (BPM) focuses on discrete events and fails to incorporate critical continuous sensor data in cyber-physical environments. Hybrid declarative specifications, utilizing Signal Temporal Logic (STL), address this limitation by allowing constraints over both discrete events and real-valued signals. However, existing work has been limited to monitoring and post-hoc conformance checking. This paper introduces a novel Complex Event Processing (CEP)-based execution architecture that enables the real-time execution and enforcement of hybrid declarative models. Our three-layer approach integrates STL-inspired predicates into the execution flow, allowing the system to actively trigger activities and enforce process boundaries based on continuous sensor behavior. This approach bridges the gap between hybrid specification and operational control.
• Abstract（参考訳）: 従来のビジネスプロセス管理(BPM)は、離散的なイベントに焦点を当てており、サイバー物理環境に重要な連続センサーデータを組み込むことができない。 Signal Temporal Logic (STL) を利用したハイブリッド宣言仕様は、離散イベントと実数値信号の両方の制約を許容することによって、この制限に対処する。 しかし、既存の作業は監視とポストホック適合性チェックに限られている。 本稿では,ハイブリッド宣言モデルのリアルタイム実行と実行を可能にする,CEP(Complex Event Processing)ベースの実行アーキテクチャを提案する。 我々の3層アプローチは、STLにインスパイアされた述語を実行フローに統合し、システムがアクティブにアクティビティをトリガーし、連続的なセンサーの振る舞いに基づいてプロセス境界を強制することを可能にする。 このアプローチは、ハイブリッド仕様と運用管理のギャップを埋めるものです。

関連論文リスト

• Real-Time Inference for Distributed Multimodal Systems under Communication Delay Uncertainty [37.15356899831919]
  接続されたサイバー物理システムは、複数のデータストリームからのリアルタイム入力に基づいて推論を行う。 本稿では,適応時間窓を用いたニューラルインスパイアされたノンブロッキング推論パラダイムを提案する。 我々のフレームワークは、精度-遅延トレードオフをきめ細かな制御で堅牢なリアルタイム推論を実現する。
  論文  参考訳（メタデータ） (2025-11-20T10:48:54Z)
• Improving Generative Behavior Cloning via Self-Guidance and Adaptive Chunking [29.920087317401396]
  ジェネレーティブ・ビヘイビア・クローン(Generative Behavior Cloning)は、ロボット学習のためのシンプルで効果的なフレームワークである。 拡散政策の一貫性と反応性を高めるための2つの新しい手法を提案する。 提案手法は,多種多様なシミュレーションおよび実世界のロボット操作タスクにおいて,GBCの性能を大幅に向上させる。
  論文  参考訳（メタデータ） (2025-10-14T11:16:34Z)
• Edit-Based Flow Matching for Temporal Point Processes [51.33476564706644]
  時間的ポイントプロセス(TPP)は、イベントシーケンスを連続的にモデル化するための基本的なツールである。 最近の非自己回帰拡散型モデルでは、ノイズとデータとの連立補間によってこれらの問題を緩和している。 本稿では,TPPの編集操作を挿入,削除,置換することで,ノイズをデータに転送する編集フロープロセスを提案する。
  論文  参考訳（メタデータ） (2025-10-07T15:44:12Z)
• Constrained Discrete Diffusion [61.81569616239755]
  本稿では,拡散過程における微分可能制約最適化の新たな統合であるCDD(Constrained Discrete Diffusion)を紹介する。 CDDは直接、離散拡散サンプリングプロセスに制約を課し、トレーニング不要で効果的なアプローチをもたらす。
  論文  参考訳（メタデータ） (2025-03-12T19:48:12Z)
• Semantic Integrity Constraints: Declarative Guardrails for AI-Augmented Data Processing Systems [39.23499993745249]
  セマンティッククエリにおけるLLM出力に対する正当性条件を指定・強制するためのセマンティック整合性制約(SIC)を導入する。 SICは、従来のデータベース整合性制約をセマンティックセッティングに一般化し、グラウンド、サウンドネス、排他といった一般的なタイプの制約をサポートする。 本稿では,SICをクエリ計画と実行環境に統合するシステム設計について述べる。
  論文  参考訳（メタデータ） (2025-03-01T19:59:25Z)
• Code-as-Monitor: Constraint-aware Visual Programming for Reactive and Proactive Robotic Failure Detection [56.66677293607114]
  オープンセットのリアクティブかつアクティブな障害検出のためのCode-as-Monitor(CaM)を提案する。 モニタリングの精度と効率を高めるために,制約関連エンティティを抽象化する制約要素を導入する。 実験により、CaMは28.7%高い成功率を達成し、厳しい乱れの下で実行時間を31.8%短縮することが示された。
  論文  参考訳（メタデータ） (2024-12-05T18:58:27Z)
• Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach [2.5407767658470726]
  宣言的プロセス仕様は、有限トレース上の線形時間論理に基づくルールによってプロセスの振舞いを定義します。 マイニングの文脈では、これらの仕様は情報システムによって記録された複数セットの実行から推論され、チェックされる。 本稿では,イベントログに対する仕様書の満足度を測定する手法を提案する。
  論文  参考訳（メタデータ） (2023-05-09T13:07:01Z)

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

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