論文の概要: Typing Requirement Model as Coroutines

• arxiv url: http://arxiv.org/abs/2405.10060v1
• Date: Thu, 16 May 2024 12:50:15 GMT
• ステータス: 処理完了
• システム内更新日: 2024-05-17 14:12:27.840840
• Title: Typing Requirement Model as Coroutines
• Title（参考訳）: コルーチンとしてのタイピング要求モデル
• Authors: Qiqi Gu, Wei Ke,
• Abstract要約: 本稿では,契約区間の事前条件と事後条件を表す型システムを要件モデルで提案する。 これにより、型システムは、それで定義された契約が、付随するシーケンス図で概説されているように実行されることを保証します。 RM2PTによる4つのケーススタディを用いて,モデルの精度を検証した。
• 参考スコア（独自算出の注目度）: 6.039941247332987
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: Model-Driven Engineering (MDE) is a technique that aims to boost productivity in software development and ensure the safety of critical systems. Central to MDE is the refinement of high-level requirement models into executable code. Given that requirement models form the foundation of the entire development process, ensuring their correctness is crucial. RM2PT is a widely used MDE platform that employs the REModel language for requirement modeling. REModel contains contract sections and other sections including a UML sequence diagram. This paper contributes a coroutine-based type system that represents pre- and post-conditions in the contract sections in a requirement model as the receiving and yielding parts of coroutines, respectively. The type system is capable of composing coroutine types, so that users can view functions as a whole system and check their collective behavior. By doing so, our type system ensures that the contracts defined in it are executed as outlined in the accompanied sequence diagram. We assessed our approach using four case studies provided by RM2PT, validating the accuracy of the models.
• Abstract（参考訳）: モデル駆動工学(MDE)は、ソフトウェア開発の生産性を高め、重要なシステムの安全性を確保することを目的とした技術である。 MDEの中心は、高レベルの要求モデルを実行可能なコードに洗練することである。 要求モデルが開発プロセス全体の基盤となることを考えると、その正確性を保証することが重要です。 RM2PTは、要求モデリングにREModel言語を使用する、広く使われているMDEプラットフォームである。 REModelにはUMLシーケンス図を含むコントラクトセクションやその他のセクションが含まれている。 本稿では,コルーチンの受信部と取得部として,要求モデルにおける契約区間の事前条件と後条件を表すコルーチン型システムを提案する。 型システムはコルーチン型を構成することができ、ユーザーはシステム全体として関数を閲覧し、集合的な振る舞いをチェックすることができる。 これにより、型システムは、それで定義された契約が、付随するシーケンス図で概説されているように実行されることを保証します。 RM2PTによる4つのケーススタディを用いて,モデルの精度を検証した。

関連論文リスト

• Qwen2-VL: Enhancing Vision-Language Model's Perception of the World at Any Resolution [82.38677987249348]
  本稿では,従来の視覚処理における既定分解能アプローチを再定義するQwen2-VLシリーズを提案する。 Qwen2-VLでは、さまざまな解像度の画像を異なる数のビジュアルトークンに動的に処理できるNaive Dynamic Resolutionメカニズムが導入されている。 また、Multimodal Rotary Position Embedding (M-RoPE)を統合し、テキスト、画像、ビデオ間で位置情報の効果的な融合を容易にする。
  論文  参考訳（メタデータ） (2024-09-18T17:59:32Z)
• Model Merging in LLMs, MLLMs, and Beyond: Methods, Theories, Applications and Opportunities [89.40778301238642]
  モデルマージは、機械学習コミュニティにおける効率的なエンパワーメント技術である。 これらの手法の体系的かつ徹底的なレビューに関する文献には大きなギャップがある。
  論文  参考訳（メタデータ） (2024-08-14T16:58:48Z)
• eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation [0.0]
  システム設計とプロトタイピングのためのモデリングとシミュレーション(M&S)は、今日では産業と学術の両方で行われている。 本稿では,eUDEVSを用いた相互変換とDEVSの相互変換に対する統合的なアプローチを提案する。 また、提案されたeUDEVSを、DEVS Unified Processと呼ばれるより大きな統一フレームワークに組み込んだ。
  論文  参考訳（メタデータ） (2024-07-11T08:29:46Z)
• Constraint based Modeling according to Reference Design [0.0]
  ベストプラクティスという形での参照モデルは、再利用のための設計としての知識を確保するための重要な要素である。 本稿では,セマンティック技術を用いた参照モデルの形式記述のための汎用的アプローチとその応用について述べる。 システム設計の文脈で複数の参照モデルを使用することが可能である。
  論文  参考訳（メタデータ） (2024-06-17T07:41:27Z)
• EMR-Merging: Tuning-Free High-Performance Model Merging [55.03509900949149]
  Elect, Mask & Rescale-Merging (EMR-Merging) は既存のマージ手法と比較して優れた性能を示した。 EMR-Mergingはチューニング不要なので、データアベイラビリティや追加のトレーニングは必要ありません。
  論文  参考訳（メタデータ） (2024-05-23T05:25:45Z)
• OSM: Leveraging Model Checking for Observing Dynamic 1 behaviors in Aspect-Oriented Applications [0.0]
  観測ベース統計モデルチェック(OSM)フレームワークは、基本的なシステムコードから直接実行可能な形式モデルを構築するために開発された。 これにより、プリコンディションシフト中の電子健康記録システムの未収量性能が保証される。
  論文  参考訳（メタデータ） (2024-03-03T00:03:34Z)
• Sample Complexity Characterization for Linear Contextual MDPs [67.79455646673762]
  文脈決定プロセス(CMDP)は、遷移カーネルと報酬関数がコンテキスト変数によってインデックス付けされた異なるMDPで時間とともに変化できる強化学習のクラスを記述する。 CMDPは、時間とともに変化する環境で多くの現実世界のアプリケーションをモデル化するための重要なフレームワークとして機能する。 CMDPを2つの線形関数近似モデルで検討する: 文脈変化表現とすべての文脈に対する共通線形重み付きモデルIと、すべての文脈に対する共通表現と文脈変化線形重み付きモデルIIである。
  論文  参考訳（メタデータ） (2024-02-05T03:25:04Z)
• Execution-based Evaluation for Data Science Code Generation Models [97.96608263010913]
  データサイエンスコード生成タスクの実行評価のための評価データセットであるExeDSを紹介する。 ExeDSにはJupyter Notebooksの534の問題が含まれており、それぞれがコードコンテキスト、タスク記述、参照プログラム、望ましい実行出力で構成されている。 表面形状評価スコアを高い精度で達成した5つの最先端コード生成モデルの実行性能を評価する。
  論文  参考訳（メタデータ） (2022-11-17T07:04:11Z)
• Switchable Representation Learning Framework with Self-compatibility [50.48336074436792]
  自己整合性(SFSC)を考慮した交換可能な表現学習フレームワークを提案する。 SFSCは1つのトレーニングプロセスを通じて、異なる能力を持つ一連の互換性のあるサブモデルを生成する。 SFSCは評価データセット上で最先端のパフォーマンスを達成する。
  論文  参考訳（メタデータ） (2022-06-16T16:46:32Z)
• CLCNet: Rethinking of Ensemble Modeling with Classification Confidence Network [1.5686134908061993]
  CLCNetは、分類モデルが入力サンプルを正しく分類するかどうかを決定することができる。 我々は,複数のSOTA分類モデルからなる単純なカスケード構造システムにおいて,CLCNetを利用することができる。
  論文  参考訳（メタデータ） (2022-05-19T15:07:53Z)
• Tiny Neural Models for Seq2Seq [0.0]
  pQRNN-MAttと呼ばれるプロジェクションベースエンコーダデコーダモデルを提案する。 その結果得られた量子化モデルのサイズは3.5MB未満であり、デバイス上のレイテンシクリティカルなアプリケーションに適している。 本稿では,多言語意味解析データセットであるMTOPにおいて,平均モデル性能が,85倍の精度で事前学習した埋め込みを用いたLSTMベースのSeq2seqモデルを上回ることを示す。
  論文  参考訳（メタデータ） (2021-08-07T00:39:42Z)

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

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