論文の概要: Evaluating Design Conformance Through Trace Comparison

• arxiv url: http://arxiv.org/abs/2605.07909v1
• Date: Fri, 08 May 2026 15:48:03 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-11 19:43:39.175676
• Title: Evaluating Design Conformance Through Trace Comparison
• Title（参考訳）: トレース比較による設計適合性の評価
• Authors: Reid Anderson, Hassan Reza,
• Abstract要約: システムの設計とその実装は、開発チームでしばしば異なる個人によって実行される2つのタスクである。 これにより、実際の振る舞いと実装が適合することを意図した設計モデルの間に分岐する可能性がある。 本稿では,重要な実装の詳細が設計と一致し,特定の戦略への忠実さが時間の経過とともに失われないようにするためのアプローチを提案する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: The design of a system and its implementation are two tasks often carried out by different individuals on a development team, and can occur weeks or months apart. This creates a potential for divergence between real behavior and the designed model that an implementation is intended to match. Particularly as time passes and individuals who were present for the original conception of the design leave, a system can lose coherence and drift from intended design principles. Even with a robust system design, more is needed to ensure that the key implementation details match the design and that adherence to a particular strategy is not lost over time. This paper proposes an approach to address that concern for distributed systems using conformance checking, a methodology borrowed from process mining. Distributed traces produced by instrumented applications are evaluated for conformance by comparison to design traces. The resulting conformance percentage is a quantitative metric that can be tracked over time to determine how closely a concrete implementation corresponds to the key attributes of the expected design model. This analysis is done using the dominant industry standard, OpenTelemetry, and so should apply to a wide range of distributed systems.
• Abstract（参考訳）: システムの設計とその実装は、しばしば開発チームで異なる個人によって実行される2つのタスクであり、数週間から数ヶ月間隔で起こりうる。 これにより、実際の振る舞いと実装が適合することを意図した設計モデルの間に分岐する可能性がある。 特に、タイムパスやデザイン離脱の当初の概念に出席していた個人がそうであるように、システムは意図された設計原則からコヒーレンスとドリフトを失う可能性がある。 堅牢なシステム設計であっても、重要な実装の詳細が設計と一致し、特定の戦略への固執が時間の経過とともに失われないようにするためには、より多くのものが必要である。 本稿では,プロセスマイニングから借用した手法である適合性チェックを用いて,分散システムに対するその問題に対処する手法を提案する。 計測されたアプリケーションによって生成された分散トレースは、設計トレースと比較して適合性を評価する。 結果の適合率(英語版)は、具体的な実装が期待される設計モデルの重要属性にどの程度近いかを決定するために、時間とともに追跡できる定量的な計量である。 この分析は業界標準であるOpenTelemetryを使って行われ、幅広い分散システムに適用されるべきである。

関連論文リスト

• SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types [2.758944775979243]
  SynQは、完全な同期仮説に従うシステムの設計を目的とした組み込みドメイン仕様言語(EDSL)である。 形式的な仕様と検証、モデリング、シミュレーション、コード生成など、セマンティックに一貫性のある設計プロセスを可能にする。
  論文  参考訳（メタデータ） (2025-05-05T12:44:13Z)
• A Top-down Graph-based Tool for Modeling Classical Semantic Maps: A Crosslinguistic Case Study of Supplementary Adverbs [50.982315553104975]
  セマンティックマップモデル(SMM)は、言語横断的なインスタンスや形式からネットワークのような概念空間を構築する。 ほとんどのSMMは、ボトムアップ手順を使用して、人間の専門家によって手動で構築される。 本稿では,概念空間とSMMをトップダウンで自動生成するグラフベースの新しいアルゴリズムを提案する。
  論文  参考訳（メタデータ） (2024-12-02T12:06:41Z)
• Draft Model Knows When to Stop: Self-Verification Speculative Decoding for Long-Form Generation [64.59292053188264]
  主流SDベンチマークと推論重ベンチマークの実験結果から,SVIPの優れた性能が示された。 SVIPは、ドラフトエントロピーを参照して、ドラフトシーケンスの長さを適応的に決定する、投機的復号システムのためのトレーニング不要な動的長さポリシーである。
  論文  参考訳（メタデータ） (2024-11-27T15:53:17Z)
• Object-Centric Conformance Alignments with Synchronization (Extended Version) [57.76661079749309]
  対象中心のペトリネットが一対多の関係を捉える能力と,その同一性に基づいたオブジェクトの比較と同期を行う識別子を持つペトリネットの能力を組み合わせた,新たな形式主義を提案する。 我々は、満足度変調理論(SMT)の符号化に基づく、そのようなネットに対する適合性チェック手法を提案する。
  論文  参考訳（メタデータ） (2023-12-13T21:53:32Z)
• Beyond the training set: an intuitive method for detecting distribution shift in model-based optimization [0.4188114563181614]
  一般的なシナリオは、モデルのトレーニングに固定されたトレーニングセットを使用することであり、トレーニングデータに存在するものよりも優れた新しいサンプルを設計することを目的としている。 この設定における大きな課題は、トレーニングと設計サンプルの分布が異なる分散シフトである。 本稿では,分散シフトを検出する設計実践者のための簡単な手法を提案する。
  論文  参考訳（メタデータ） (2023-11-09T13:44:28Z)
• Representation Learning for Sequential Volumetric Design Tasks [11.702880690338677]
  本稿では,設計知識を専門家や高性能な設計シーケンスの集合から符号化することを提案する。 学習した表現の密度を推定して選好モデルを開発する。 逐次設計生成のための自己回帰変換モデルを訓練する。
  論文  参考訳（メタデータ） (2023-09-05T21:21:06Z)
• Design Space Exploration and Explanation via Conditional Variational Autoencoders in Meta-model-based Conceptual Design of Pedestrian Bridges [52.77024349608834]
  本稿では,条件付き変分オートエンコーダ(CVAE)による人間設計者向上のための性能駆動型設計探索フレームワークを提案する。 CVAEはスイスの歩行者橋の合成例18万件で訓練されている。
  論文  参考訳（メタデータ） (2022-11-29T17:28:31Z)
• Robust Learning Through Cross-Task Consistency [92.42534246652062]
  クロスタスク整合性を用いた学習向上のための,広く適用可能な完全計算手法を提案する。 クロスタスク一貫性による学習は,より正確な予測と,アウト・オブ・ディストリビューション・インプットの一般化につながることを観察する。
  論文  参考訳（メタデータ） (2020-06-07T09:24:33Z)

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

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