論文の概要: 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にインスパイアされた述語を実行フローに統合し、システムがアクティブにアクティビティをトリガーし、連続的なセンサーの振る舞いに基づいてプロセス境界を強制することを可能にする。
このアプローチは、ハイブリッド仕様と運用管理のギャップを埋めるものです。
関連論文リスト
- PseudoAct: Leveraging Pseudocode Synthesis for Flexible Planning and Action Control in Large Language Model Agents [5.5917393750392925]
大規模言語モデル(LLM)エージェントは通常、ReActのようなリアクティブな意思決定パラダイムに依存します。
本稿では、擬似コード合成によるLLMエージェントのフレキシブルプランニングとアクション制御のための新しいフレームワークであるPseudoActを紹介する。
ベンチマークデータセットの実験により、我々の手法は既存のリアクティブエージェントのアプローチを著しく上回っていることがわかった。
論文 参考訳（メタデータ） (2026-02-27T04:30:45Z) - TriCEGAR: A Trace-Driven Abstraction Mechanism for Agentic AI [5.1181001367075]
TriCEGARはトレース駆動の抽象化メカニズムで、実行ログから状態構築を自動化する。
タイプされたエージェントライフサイクルイベントをキャプチャし、トレースから抽象化を構築するフレームワークネイティブ実装について説明する。
また, 走行確率が異常検出をガードレール信号として有効にする方法も示す。
論文 参考訳（メタデータ） (2026-01-30T14:01:47Z) - 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) - Execution Guided Line-by-Line Code Generation [48.996319645671605]
本稿では,言語モデル生成プロセスにリアルタイム実行信号を組み込んだニューラルコード生成手法を提案する。
提案手法であるExecution-Guided-Free Guidanceは,モデルがコードを生成する際に動的に実行信号を組み込む。
EG-CFGはコード生成アプローチを大幅に改善し、様々なレベルの複雑さで最先端の結果を達成する。
論文 参考訳（メタデータ） (2025-06-12T17:50:05Z) - 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) - Diffusion Predictive Control with Constraints [51.91057765703533]
拡散予測制御(Diffusion predictive control with constraints,DPCC)は、拡散に基づく制御のアルゴリズムである。
DPCCは,新しいテスト時間制約を満たすために,既存の手法よりも優れた性能を示すロボットマニピュレータのシミュレーションを通して示す。
論文 参考訳（メタデータ） (2024-12-12T15:10:22Z) - 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) - CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT
(Extended Version) [62.96267257163426]
我々はCoCoMoT(Computing Conformance Modulo Theories)フレームワークを紹介する。
まず、純粋な制御フロー設定で研究したSATベースのエンコーディングを、データ認識ケースに持ち上げる方法を示す。
次に,プロパティ保存型クラスタリングの概念に基づく新しい前処理手法を提案する。
論文 参考訳（メタデータ） (2021-03-18T20:22:50Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。