論文の概要: A Dynamic Temporal Logic for Quality of Service in Choreographic Models
- arxiv url: http://arxiv.org/abs/2311.01414v1
- Date: Thu, 2 Nov 2023 17:30:51 GMT
- ステータス: 処理完了
- システム内更新日: 2023-11-03 12:38:05.193352
- Title: A Dynamic Temporal Logic for Quality of Service in Choreographic Models
- Title(参考訳): 振付モデルにおけるサービス品質のための動的時相論理
- Authors: Carlos G. Lopez Pombo, Agust\'in E. Martinez Su\~n\'e, Emilio Tuosto
- Abstract要約: 本稿では,g-choreographiesとCFSM(Communicating Finite State Machine)で構成されるコレオグラフィーモデルを用いて,メッセージパッシングシステムの品質(QoS)を表現・解析するフレームワークを提案する。
I) 局所計算の量的制約を特定するための非機能契約付きCFSMの拡張、(II) 通信プロトコルを規定するg-choreographyに対するシステムの特性を表現可能な動的時間論理、(III) 境界モデルチェックアプローチによる検証を可能にする論理の半決定性。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We propose a framework for expressing and analyzing the Quality of Service
(QoS) of message-passing systems using a choreographic model that consists of
g-choreographies and Communicating Finite State machines (CFSMs). The following
are our three main contributions: (I) an extension of CFSMs with non-functional
contracts to specify quantitative constraints of local computations, (II) a
dynamic temporal logic capable of expressing QoS, properties of systems
relative to the g-choreography that specifies the communication protocol, (III)
the semi-decidability of our logic which enables a bounded model-checking
approach to verify QoS property of communicating systems.
- Abstract(参考訳): 本稿では,g-choreographiesとCFSM(Communicating Finite State Machine)で構成されるコレオグラフィーモデルを用いて,メッセージパッシングシステムの品質(QoS)を表現・解析するフレームワークを提案する。
i) 局所計算の量的制約を規定する非機能的契約を持つcfsmsの拡張、(ii) qosを表現可能な動的時相論理、(iii) 通信プロトコルを規定するgコレオグラフィーに対するシステムの特性、(iii) 通信システムのqos特性を検証するための境界付きモデルチェックアプローチを可能にする、我々の論理の半決定可能性。
関連論文リスト
- OSM: Leveraging Model Checking for Observing Dynamic 1 behaviors in
Aspect-Oriented Applications [0.0]
観測ベース統計モデルチェック(OSM)フレームワークは、基本的なシステムコードから直接実行可能な形式モデルを構築するために開発された。
これにより、プリコンディションシフト中の電子健康記録システムの未収量性能が保証される。
論文 参考訳(メタデータ) (2024-03-03T00:03:34Z) - Reasoning with the Theory of Mind for Pragmatic Semantic Communication [62.87895431431273]
本稿では,実用的な意味コミュニケーションフレームワークを提案する。
2つの知性エージェント間の効果的な目標指向情報共有を可能にする。
数値的な評価は、少ないビット量で効率的な通信を実現するためのフレームワークの能力を示している。
論文 参考訳(メタデータ) (2023-11-30T03:36:19Z) - MoCheQoS: Automated Analysis of Quality of Service Properties of
Communicating Systems [0.0]
MoCheQoSはメッセージパッシングシステムのサービス品質を分析するツールである。
私たちが定義したロジックとコレオグラフィーモデルに基づいて、MoCheQoSは境界モデルチェックアルゴリズムを実装している。
論文 参考訳(メタデータ) (2023-11-02T17:31:31Z) - Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳(メタデータ) (2023-06-21T07:34:27Z) - A non-sequential hierarchy of message-passing models [0.0]
本稿では,大規模モデルと局所モデルの両方を含む通信モデルの統一階層について述べる。
私たちが考慮しているすべての通信モデルは、モナディック二階述語論理において公理化することができる。
論文 参考訳(メタデータ) (2022-10-24T09:31:25Z) - Neuro-Symbolic Causal Reasoning Meets Signaling Game for Emergent
Semantic Communications [71.63189900803623]
創発的SCシステムフレームワークを提案し,創発的言語設計のためのシグナリングゲームと因果推論のためのニューロシンボリック(NeSy)人工知能(AI)アプローチで構成されている。
ESCシステムは、意味情報、信頼性、歪み、類似性の新たな指標を強化するように設計されている。
論文 参考訳(メタデータ) (2022-10-21T15:33:37Z) - DG-STGCN: Dynamic Spatial-Temporal Modeling for Skeleton-based Action
Recognition [77.87404524458809]
骨格に基づく行動認識のための新しいフレームワーク,すなわち動的グループ時空間GCN(DG-STGCN)を提案する。
DG-GCNとDG-TCNの2つのモジュールで構成される。
DG-STGCNは最先端の手法よりも一貫して優れており、しばしば顕著な差がある。
論文 参考訳(メタデータ) (2022-10-12T03:17:37Z) - Sequential measurements, TQFTs, and TQNNs [0.0]
スケールフリーアーキテクチャで汎用量子情報を実装する新しい手法を提案する。
システムの境界となるホログラフィック画面から導出される測定演算子によって導出される有限ビット列が、観測結果をどのように捉えているかを示す。
解析を拡張して、トポロジカル量子ニューラルネットワーク(TQNN)を開発し、量子ニューラルネットワーク2-複素方程式の関手進化による機械学習を可能にする。
論文 参考訳(メタデータ) (2022-05-26T06:37:57Z) - SpatioTemporal Focus for Skeleton-based Action Recognition [66.8571926307011]
グラフ畳み込みネットワーク(GCN)は骨格に基づく行動認識において広く採用されている。
近年提案されている骨格に基づく行動認識法の性能は以下の要因によって制限されていると論じる。
近年の注目機構に着想を得て,アクション関連関係情報を取得するためのマルチグラインド・コンテキスト集中モジュール MCF を提案する。
論文 参考訳(メタデータ) (2022-03-31T02:45:24Z) - On the spatial attention in Spatio-Temporal Graph Convolutional Networks
for skeleton-based human action recognition [97.14064057840089]
カルチャーネットワーク(GCN)は、スケルトンをグラフとしてモデル化することで、スケルトンに基づく人間の行動認識の性能を約束する。
最近提案されたG時間に基づく手法のほとんどは、ネットワークの各層におけるグラフ構造を学習することで、性能を向上させる。
論文 参考訳(メタデータ) (2020-11-07T19:03:04Z) - Modelling Weak-Coherent CV-QKD Systems Using a Classical Simulation
Framework [0.0]
連続変数(CV)弱コヒーレント状態プロトコルは量子鍵分布(QKD)技術の広範な展開の候補として期待されている。
本稿では,従来の光学系をモデル化するためのシミュレーションフレームワークを,弱いコヒーレントCV-QKDリンクのシミュレーションに利用できることを示す。
論文 参考訳(メタデータ) (2020-04-30T11:34:19Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。