論文の概要: In Perfect Harmony: Orchestrating Causality in Actor-Based Systems
- arxiv url: http://arxiv.org/abs/2603.17909v1
- Date: Wed, 18 Mar 2026 16:47:25 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-03-19 18:32:57.826641
- Title: In Perfect Harmony: Orchestrating Causality in Actor-Based Systems
- Title（参考訳）: 完全調和:アクターベースシステムにおける因果関係のオーケストレーション
- Authors: Vladyslav Mikytiv, Bernardo Toninho, Carla Ferreira,
- Abstract要約: アクターベースのシステムは、実行時の検証に重大な課題をもたらす。
ACTORCHESTRAはErlangのランタイム検証フレームワークで、マルチアクターインタラクション間の因果関係を自動的に追跡する。
ACTORCHESTRAが現実のアクターシステムにおける複雑な行動違反の検出に有効であることを示す3つのケーススタディである。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Runtime verification has gained popularity as a lightweight approach for increasing assurance in systems under scrutiny. Performing runtime checks enables dynamic monitoring and alerts for unexpected behavior, thereby improving reliability and correctness. Actor-based systems present significant challenges for runtime verification. Properties frequently span multiple actors with complex causal dependencies, while nondeterministic message interleavings can obscure execution semantics. Moreover, most existing monitoring tools are designed for single-process behavior. This paper presents ACTORCHESTRA, a runtime verification framework for Erlang that automatically tracks causality across multi-actor interactions. The framework instruments Erlang systems that comply with OTP guidelines via targeted code injection. This method establishes the orchestration infrastructure required to track causal relationships between actors without requiring manual modifications to the target system. To ease the specification of multi-actor properties, the framework provides WALTZ, a specification language that automatically compiles properties into executable Erlang monitors that integrate with the instrumented system. Three case studies demonstrate ACTORCHESTRA's effectiveness in detecting complex behavioral violations in real-world actor systems. A performance evaluation quantifies the runtime overhead of the monitoring infrastructure and analyzes the trade-offs between added safety guarantees and execution costs.
- Abstract（参考訳）: ランタイム検証は、精査中のシステムの保証を高めるための軽量なアプローチとして人気を集めている。
実行時チェックを実行することで、予期しない動作の動的監視と警告が可能になり、信頼性と正確性が改善される。
アクターベースのシステムは、実行時の検証に重大な課題をもたらす。
プロパティはしばしば複雑な因果依存性を持つ複数のアクターにまたがるが、非決定論的メッセージインターリーブは実行セマンティクスを曖昧にすることができる。
さらに、既存の監視ツールのほとんどは、シングルプロセスの振る舞い用に設計されている。
本稿では,Erlangのランタイム検証フレームワークであるACTORCHESTRAについて述べる。
このフレームワークは、ターゲットのコードインジェクションを通じてOPPガイドラインに準拠したErlangシステムを実行する。
この手法は、アクター間の因果関係を追跡するために必要なオーケストレーション基盤を、ターゲットシステムに手動で変更することなく確立する。
マルチアクタープロパティの仕様を簡単にするために、このフレームワークはWALTZを提供する。WALTZは、プロパティを自動的に実行可能なErlangモニタにコンパイルし、計測されたシステムと統合する仕様言語である。
ACTORCHESTRAが現実のアクターシステムにおける複雑な行動違反の検出に有効であることを示す3つのケーススタディである。
パフォーマンス評価は、監視インフラストラクチャのランタイムオーバーヘッドを定量化し、追加の安全保証と実行コストの間のトレードオフを分析する。
関連論文リスト
- Detecting Object Tracking Failure via Sequential Hypothesis Testing [80.7891291021747]
ビデオにおけるリアルタイムのオンラインオブジェクト追跡は、コンピュータビジョンにおける中核的なタスクである。
本稿では,物体追跡を逐次的仮説テストとして解釈することを提案する。
本研究では,地中追跡情報と内部追跡情報の両方を活用することにより,教師なしと教師なしの両方の変種を提案する。
論文 参考訳（メタデータ） (2026-02-13T14:57:15Z) - An Explainable Market Integrity Monitoring System with Multi-Source Attention Signals and Transparent Scoring [0.0]
AIMM-Xは、市場スタイルの信号と公共の注意信号を組み合わせた監視パイプラインであり、アナリストレビューの恩恵を受ける表面時間ウィンドウである。
我々は、データをダウンロードし、注意機能を構築し、統一パネルを構築し、ウィンドウを検出し、コンポーネント信号を計算し、要約図/表を生成する、エンドツーエンドで再現可能な実装を提供する。
私たちの目標は、操作のラベル付けではなく、コンプライアンスチームや取引所、研究者による下流の調査を支援する、実用的な監査可能なスクリーニングツールを提供することです。
論文 参考訳（メタデータ） (2026-01-10T22:48:57Z) - MAESTRO: Multi-Agent Evaluation Suite for Testing, Reliability, and Observability [37.727210168531364]
MAESTRO は LLM ベースの MAS のテスト,信頼性,可観測性の評価スイートである。
一般的なエージェント・フレームワークとインタラクション・パターンにまたがる12の代表的なMASを用いてMAESTROをインスタンス化する。
ケーススタディでは、MASの実行は構造的に安定するが、時間的に変動し、実行と実行のばらつきがかなり大きいことが示されている。
論文 参考訳（メタデータ） (2026-01-01T21:25:52Z) - InspectCoder: Dynamic Analysis-Enabled Self Repair through interactive LLM-Debugger Collaboration [71.18377595277018]
大きな言語モデル(LLM)は、診断が難しい複雑なロジックエラーを伴うバグの多いコードを生成することが多い。
対話型デバッガ制御による動的解析を LLM に委ねる初のエージェントプログラム修復システムである InspectCoder を提案する。
論文 参考訳（メタデータ） (2025-10-21T06:26:29Z) - AgentSight: System-Level Observability for AI Agents Using eBPF [10.37440633887049]
既存のツールは、エージェントの高レベルな意図(LSMプロンプトを介して)または低レベルな行動(例えば、システムコール)を観察するが、これら2つのビューを関連付けることはできない。
AgentOpsはハイブリッドアプローチを使用して,このセマンティックギャップをブリッジする,AgentOpsオブザーバビリティフレームワークです。
AgentSightはTLS暗号化されたLLMトラフィックをインターセプトしてセマンティックインテントを抽出し、カーネルイベントを監視してシステム全体の効果を観察し、これら2つのストリームをプロセス境界を越えて因果的に関連付ける。
論文 参考訳（メタデータ） (2025-08-02T01:43:39Z) - DRIFT: Dynamic Rule-Based Defense with Injection Isolation for Securing LLM Agents [52.92354372596197]
大規模言語モデル(LLM)は、強力な推論と計画能力のため、エージェントシステムの中心となってきています。
この相互作用は、外部ソースからの悪意のある入力がエージェントの振る舞いを誤解させる可能性がある、インジェクション攻撃のリスクも引き起こす。
本稿では,信頼に値するエージェントシステムのための動的ルールベースの分離フレームワークを提案する。
論文 参考訳（メタデータ） (2025-06-13T05:01:09Z) - 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) - Runtime Instrumentation for Reactive Components (Extended Version) [0.0]
リアクティブソフトウェアは、システムのリアクティブ属性を裏付けるインスツルメンテーションメソッドを要求する。
本稿では,この2つの要求を満たすアウトラインモニタのための分散インスツルメンテーションアルゴリズムであるRIARCを提案する。
RIARCは次のホップIPルーティングアプローチを使ってこれらの課題を克服し、イベントを再配置し、モニタに適切に報告する。
論文 参考訳（メタデータ） (2024-06-28T13:18:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。