論文の概要: Tooling Offline Runtime Verification against Interaction Models :
recognizing sliced behaviors using parameterized simulation
- arxiv url: http://arxiv.org/abs/2403.03083v1
- Date: Tue, 5 Mar 2024 16:09:55 GMT
- ステータス: 処理完了
- システム内更新日: 2024-03-06 14:09:14.150216
- Title: Tooling Offline Runtime Verification against Interaction Models :
recognizing sliced behaviors using parameterized simulation
- Title（参考訳）: 対話モデルに対するオフラインランタイム検証ツール : パラメータ化シミュレーションによるスライス動作の認識
- Authors: Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre,
Pascale Le Gall
- Abstract要約: オフライン実行時の検証には、仕様に対するシステムの実行の静的解析が含まれる。
分散システムでは、グローバルクロックが存在しないため、グローバルトレースの形での実行を特徴付けることは一般的に不可能である。
本稿では,インタラクションと呼ばれる形式仕様に対して,そのようなトレースの適合性を検証するアルゴリズムを提案する。
- 参考スコア（独自算出の注目度）: 0.4199844472131921
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Offline runtime verification involves the static analysis of executions of a
system against a specification. For distributed systems, it is generally not
possible to characterize executions in the form of global traces, given the
absence of a global clock. To account for this, we model executions as
collections of local traces called multi-traces, with one local trace per group
of co-localized actors that share a common clock. Due to the difficulty of
synchronizing the start and end of the recordings of local traces, events may
be missing at their beginning or end. Considering such partially observed
multi-traces is challenging for runtime verification. To that end, we propose
an algorithm that verifies the conformity of such traces against formal
specifications called Interactions (akin to Message Sequence Charts). It relies
on parameterized simulation to reconstitute unobserved behaviors.
- Abstract（参考訳）: オフライン実行時の検証には、仕様に対するシステム実行の静的解析が含まれる。
分散システムでは、グローバルクロックが存在しないため、グローバルトレースの形での実行を特徴付けることは一般的に不可能である。
これを考慮するため、実行をマルチトレースと呼ばれるローカルトレースの集合としてモデル化し、共通のクロックを共有するコローカライズされたアクタのグループごとに1つのローカルトレースを持つ。
ローカルトレースの記録の開始と終了を同期させるのが難しいため、イベントは開始または終了時に欠落する可能性がある。
このような部分的なマルチトレースを考慮すると、実行時の検証は困難である。
そこで本稿では,インタラクション(メッセージシーケンスチャート)と呼ばれる形式仕様に対するトレースの適合性を検証するアルゴリズムを提案する。
パラメータ化されたシミュレーションを使って、観測されていない振る舞いを再構成する。
関連論文リスト
- Efficient Online Computation of Business Process State From Trace Prefixes via N-Gram Indexing [0.5141137421503899]
プロセスモデルとプロセスの進行中ケースのトレースプレフィックスを含むイベントログが与えられたら、各ケースをモデル内の対応する状態にマップする。
この状態計算問題に対するアプローチは、モデルに対して各トレースプレフィックスのトークンベースのリプレイを実行することである。
本稿では,現在進行中の事例のトレースプレフィックスが与えられた場合,n-gramとして状態を表わす指標を用いて,その状態を一定時間に計算する手法を提案する。
論文 参考訳（メタデータ） (2024-09-09T14:28:24Z) - TraceMesh: Scalable and Streaming Sampling for Distributed Traces [51.08892669409318]
TraceMeshは、分散トレースのためのスケーラブルでストリーミングなサンプリングツールである。
以前は見つからなかったトレース機能を、統一的で合理化された方法で扱える。
TraceMeshは、サンプリング精度と効率の両方において、最先端の手法よりも大幅に優れている。
論文 参考訳（メタデータ） (2024-06-11T06:13:58Z) - Sound Concurrent Traces for Online Monitoring Technical Report [0.0]
並列プログラムは通常、抽象的なプログラム実行のためのトレースの収集に依存します。
まず、トレースが並列実行を表すときの概念を定義します。
次に,非ブロッキングベクトルクロックアルゴリズムを提案し,音の同時トレースをハエで収集する。
論文 参考訳（メタデータ） (2024-02-28T15:11:39Z) - Detecting Anomalous Events in Object-centric Business Processes via
Graph Neural Networks [55.583478485027]
本研究では,ビジネスプロセスにおける異常検出のための新しいフレームワークを提案する。
まず、属性グラフとしてオブジェクト中心のイベントログのプロセス依存性を再構築する。
次に、異常事象を検出するために、グラフ畳み込みオートエンコーダアーキテクチャを用いる。
論文 参考訳（メタデータ） (2024-02-14T14:17:56Z) - Graph Spatiotemporal Process for Multivariate Time Series Anomaly
Detection with Missing Values [67.76168547245237]
本稿では,グラフ時間過程と異常スコアラを用いて異常を検出するGST-Proという新しいフレームワークを提案する。
実験結果から,GST-Pro法は時系列データ中の異常を効果的に検出し,最先端の手法より優れていることがわかった。
論文 参考訳（メタデータ） (2024-01-11T10:10:16Z) - End-to-end Tracking with a Multi-query Transformer [96.13468602635082]
マルチオブジェクトトラッキング(MOT)は、時間とともにシーン内のオブジェクトの位置、外観、アイデンティティを同時に推論する必要がある課題である。
本研究の目的は、トラッキング・バイ・ディテクト・アプローチを超えて、未知のオブジェクト・クラスに対してもよく機能するクラスに依存しないトラッキングへと移行することである。
論文 参考訳（メタデータ） (2022-10-26T10:19:37Z) - Inferring Unobserved Events in Systems With Shared Resources and Queues [0.8602553195689513]
実生活システムは、しばしば起こる全ての出来事のサブセットのみを記録する。
共有リソースを持つプロセスの動作を理解し,分析するために,発生したに違いないが記録されていないイベントのタイムスタンプの境界を再構築することを目的としている。
我々は、非観測イベントのタイムスタンプを効率的に導き出すために、エンティティトレース上の線形プログラミングを使用する。
論文 参考訳（メタデータ） (2021-02-27T09:34:01Z) - A Background-Agnostic Framework with Adversarial Training for Abnormal
Event Detection in Video [120.18562044084678]
近年,ビデオにおける異常事象検出は複雑なコンピュータビジョンの問題として注目されている。
通常のイベントのみを含むトレーニングビデオから学習するバックグラウンドに依存しないフレームワークを提案する。
論文 参考訳（メタデータ） (2020-08-27T18:39:24Z) - Partial Order Resolution of Event Logs for Process Conformance Checking [10.58705988536919]
既存の適合性チェック技術の重要な前提は、すべてのイベントがプロセスインスタンス毎のイベントの順序を推測できるタイムスタンプに関連付けられているということです。
本稿では,動作抽象化の異なる概念を取り入れた,この課題に対するいくつかの推定手法を提案する。
実世界のデータと合成データの実験により、我々の手法は最先端の精度を大幅に向上させることが明らかとなった。
論文 参考訳（メタデータ） (2020-07-05T18:43:57Z) - Deep Multi-Shot Network for modelling Appearance Similarity in
Multi-Person Tracking applications [0.0]
本稿では、人の観察における外観類似度(MS-DoAS)の測定のためのディープマルチショットニューラルモデルを提案する。
モデルは故意に訓練され、以前のアイデンティティスイッチの存在を管理し、処理されたトラックでの観察を見逃すことができる。
これは、新しい観測が特定の軌道に対応するときの識別能力の高さを示し、ハードテストで97%の分類精度を達成している。
論文 参考訳（メタデータ） (2020-04-07T16:43:35Z) - Spatio-Temporal Action Detection with Multi-Object Interaction [127.85524354900494]
本稿では,多目的インタラクションを用いたS時間動作検出問題について検討する。
マルチオブジェクトインタラクションを含むアクションチューブに空間的アノテーションを付加した新しいデータセットを提案する。
本研究では,空間的・時間的回帰を同時に行うエンド・ツー・エンドの時間的行動検出モデルを提案する。
論文 参考訳（メタデータ） (2020-04-01T00:54:56Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。