論文の概要: A KDM-Based Approach for Architecture Conformance Checking in Adaptive
Systems
- arxiv url: http://arxiv.org/abs/2401.16382v1
- Date: Mon, 29 Jan 2024 18:22:11 GMT
- ステータス: 処理完了
- システム内更新日: 2024-01-30 13:42:36.331265
- Title: A KDM-Based Approach for Architecture Conformance Checking in Adaptive
Systems
- Title(参考訳): 適応システムにおけるkdmに基づくアーキテクチャ適合性検査手法
- Authors: Daniel San Mart\'in and Guisella Angulo and Valter Vieira de Camargo
- Abstract要約: 本稿では,MAPE-K参照モデルに基づく適応型アーキテクチャの仕様を網羅したドメイン固有手法REMEDYを提案する。
提案手法は,MAPE-Kモデルからよく知られたルールを取り入れたASに特化している。
- 参考スコア(独自算出の注目度): 0.3858593544497595
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: Adaptive Systems (ASs) are capable to monitor their behavior and make
adjustments when quality goals are not achieved through the MAPE-K, a widely
recognized reference model that offers abstractions for designing ASs. By
making these abstractions evident in the system structure, numerous benefits
emerge, particularly in terms of enhancing the architecture's maintenance and
comprehensibility. However, it is observed that many existing ASs are not
designed in accordance with MAPE-K, causing these abstractions to remain hidden
in their architecture. To address this issue, Architectural Conformance
Checking (ACC) emerges as a valuable technique for verifying whether the
current architecture (CA) of a system adheres to the rules prescribed by the
planned architecture (PA) or a reference model, such as MAPE-K. In this paper,
we present REMEDY, a domain-specific approach that encompasses the
specification of the planned adaptive architecture based on the MAPE-K
reference model, the recovery of the current adaptive architecture, the
conformance checking process, and architecture visualizations. Furthermore, our
approach is specifically tailored for ASs, incorporating well-known rules from
the MAPE-K model. The evaluation of the REMEDY DSL involves a comparison with a
general-purpose DSL, and the results demonstrate improvements in productivity.
REMEDY facilitates the identification and correction of architectural
non-conformance issues, thereby enhancing the overall quality of adaptive
systems.
- Abstract(参考訳): アダプティブシステム(AS)は、ASを設計するための抽象化を提供する広く認知されている参照モデルであるMAPE-Kによって品質目標が達成されない場合、その振る舞いを監視し、調整を行うことができる。
これらの抽象化をシステム構造で明確にすることで、特にアーキテクチャのメンテナンスと理解性を高めるという点において、多くのメリットが生まれる。
しかし、既存のASの多くはMAPE-Kに従って設計されていないため、これらの抽象化はアーキテクチャに隠されている。
この問題に対処するために、アーキテクチャ適合性チェック(ACC)は、システムの現在のアーキテクチャ(CA)が計画されたアーキテクチャ(PA)またはMAPE-Kのような参照モデルによって規定される規則に準拠しているかどうかを検証するための貴重なテクニックとして現れます。
本稿では,MAPE-K参照モデルに基づく適応型アーキテクチャの仕様策定,現在の適応型アーキテクチャの回復,適合性チェックプロセス,アーキテクチャ視覚化など,ドメイン固有のアプローチであるREMEDYを提案する。
さらに,本手法はMAPE-Kモデルからよく知られた規則を取り入れたASに特化している。
REMEDY DSLの評価は汎用DSLとの比較を含み、その結果は生産性の向上を示す。
REMEDYはアーキテクチャ非適合問題の同定と修正を容易にし、適応システムの全体的な品質を向上させる。
関連論文リスト
- A Survey of Model Architectures in Information Retrieval [64.75808744228067]
機能抽出のためのバックボーンモデルと、関連性推定のためのエンドツーエンドシステムアーキテクチャの2つの重要な側面に焦点を当てる。
従来の用語ベースの手法から現代のニューラルアプローチまで,特にトランスフォーマーベースのモデルとそれに続く大規模言語モデル(LLM)の影響が注目されている。
我々は、パフォーマンスとスケーラビリティのアーキテクチャ最適化、マルチモーダル、マルチランガルデータの処理、従来の検索パラダイムを超えた新しいアプリケーションドメインへの適応など、新たな課題と今後の方向性について議論することで結論付けた。
論文 参考訳(メタデータ) (2025-02-20T18:42:58Z) - Sparse autoencoders reveal selective remapping of visual concepts during adaptation [54.82630842681845]
特定の目的のために基礎モデルを適用することは、機械学習システムを構築するための標準的なアプローチとなっている。
PatchSAEと呼ばれるCLIPビジョントランスのための新しいスパースオートエンコーダ(SAE)を開発し、解釈可能な概念を抽出する。
論文 参考訳(メタデータ) (2024-12-06T18:59:51Z) - Adaptable Embeddings Network (AEN) [49.1574468325115]
我々はカーネル密度推定(KDE)を用いた新しいデュアルエンコーダアーキテクチャであるAdaptable Embeddings Networks (AEN)を紹介する。
AENは、再トレーニングせずに分類基準のランタイム適応を可能にし、非自己回帰的である。
アーキテクチャのプリプロセスとキャッシュ条件の埋め込み能力は、エッジコンピューティングアプリケーションやリアルタイム監視システムに最適である。
論文 参考訳(メタデータ) (2024-11-21T02:15:52Z) - How to design a dataset compliant with an ML-based system ODD? [5.432478272457867]
本稿では、ビジョンベースのランディングタスクに着目し、機械学習(ML)システムの操作設計ドメイン(ODD)に準拠したデータセットの設計と検証を行う。
新たな認証基準に基づき,ODDをシステムレベルと画像レベルで確立するプロセスについて述べる。
論文 参考訳(メタデータ) (2024-06-20T06:48:34Z) - LLM4Rerank: LLM-based Auto-Reranking Framework for Recommendations [51.76373105981212]
リグレードはレコメンデーションシステムにおいて重要な要素であり、レコメンデーションアルゴリズムの出力を精査する上で重要な役割を果たす。
そこで我々は,様々な格付け基準をシームレスに統合する包括的格付けフレームワークを提案する。
カスタマイズ可能な入力機構も統合されており、言語モデルのフォーカスを特定の再配置のニーズに合わせることができる。
論文 参考訳(メタデータ) (2024-06-18T09:29:18Z) - Explaining Modern Gated-Linear RNNs via a Unified Implicit Attention Formulation [54.50526986788175]
効率的なシーケンスモデリングの最近の進歩は、Mamba、RWKV、および様々なゲートRNNのような注意のないレイヤーを生み出している。
我々はこれらのモデルの統一的なビューを示し、暗黙の因果自己注意層のような層を定式化する。
筆者らのフレームワークは,異なるレイヤに対する類似の基盤となるメカニズムを比較検討し,説明可能性の手法を直接適用する手段を提供する。
論文 参考訳(メタデータ) (2024-05-26T09:57:45Z) - OSM: Leveraging Model Checking for Observing Dynamic 1 behaviors in
Aspect-Oriented Applications [0.0]
観測ベース統計モデルチェック(OSM)フレームワークは、基本的なシステムコードから直接実行可能な形式モデルを構築するために開発された。
これにより、プリコンディションシフト中の電子健康記録システムの未収量性能が保証される。
論文 参考訳(メタデータ) (2024-03-03T00:03:34Z) - Squeezeformer: An Efficient Transformer for Automatic Speech Recognition [99.349598600887]
Conformerは、そのハイブリッドアテンション・コンボリューションアーキテクチャに基づいて、様々な下流音声タスクの事実上のバックボーンモデルである。
Squeezeformerモデルを提案する。これは、同じトレーニングスキームの下で、最先端のASRモデルよりも一貫して優れている。
論文 参考訳(メタデータ) (2022-06-02T06:06:29Z) - AutoAdapt: Automated Segmentation Network Search for Unsupervised Domain
Adaptation [4.793219747021116]
我々は、ドメイン適応のためのアーキテクチャレベルの視点と分析を提供するために、ニューラルアーキテクチャサーチ(NAS)を実行する。
本稿では,最大平均誤差と地域重み付きエントロピーを用いて,このギャップを埋めて精度を推定する手法を提案する。
論文 参考訳(メタデータ) (2021-06-24T17:59:02Z) - Towards Better Adaptive Systems by Combining MAPE, Control Theory, and
Machine Learning [16.998805882711864]
適応システムを設計するための2つの確立されたアプローチは、監視分析計画実行ループを使用するアーキテクチャベースの適応と、適応を実現するための制御理論(ct)の原則に依存する制御ベースの適応である。
私たちは、これらのアプローチが相互にどのように関連しているか、それらを組み合わせて機械学習をサポートすることがよりよい適応システムを生み出すかどうか、という問題に関係しています。
我々は、クラウドベースのエンタープライズシステムのシナリオを用いて、異なる適応アプローチを組み合わせる動機付け、異なるアプローチを組み合わせる際に分析を説明する。
論文 参考訳(メタデータ) (2021-03-19T15:00:08Z) - Residual Attention Net for Superior Cross-Domain Time Sequence Modeling [0.0]
本稿では新しいアーキテクチャのコンセプト実証として機能し、RANはモデルにシーケンスパターンのより高レベルな理解を提供することを目的としている。
その結果,35の最先端結果が得られたが,10の結果が現在の最先端結果と一致し,さらなるモデル微調整は行われなかった。
論文 参考訳(メタデータ) (2020-01-13T06:14:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。