論文の概要: eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation
- arxiv url: http://arxiv.org/abs/2407.08281v1
- Date: Thu, 11 Jul 2024 08:29:46 GMT
- ステータス: 処理完了
- システム内更新日: 2024-07-12 18:19:14.380243
- Title: eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation
- Title(参考訳): eUDEVS: モデリングとシミュレーションのDEVS理論による実行可能なUML
- Authors: José L. Risco-Martín, J. M. Cruz, Saurabh Mittal, Bernard P. Zeigler,
- Abstract要約: システム設計とプロトタイピングのためのモデリングとシミュレーション(M&S)は、今日では産業と学術の両方で行われている。
本稿では,eUDEVSを用いた相互変換とDEVSの相互変換に対する統合的なアプローチを提案する。
また、提案されたeUDEVSを、DEVS Unified Processと呼ばれるより大きな統一フレームワークに組み込んだ。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: Modeling and Simulation (M&S) for system design and prototyping is practiced today both in the industry and academia. M&S are two different areas altogether and have specific objectives. However, most of the times these two separate areas are taken together. The developed code is tightly woven around both the model and the underlying simulator that executes it. This constraints both the model development and the simulation engine that impacts scalability of the developed code. Furthermore, a lot of time is spent in development of a model because it needs both domain knowledge and simulation techniques, which also requires communication among users and developers. Unified Modeling Language (UML) is widely accepted in the industry, whereas Discrete Event Specification (DEVS) based modeling that separates the model and the simulator, provides a cleaner methodology to develop models and is much used in academia. DEVS today is used by engineers who understand discrete event modeling at a much detailed level and are able to translate requirements to DEVS modeling code. There have been earlier efforts to integrate UML and DEVS but they haven't succeeded in providing a transformation mechanism due to inherent differences in these two modeling paradigms. This paper presents an integrated approach towards crosstransformations between UML and DEVS using the proposed eUDEVS, which stands for executable UML based on DEVS. Further, we will also show that the obtained DEVS models belong to a specific class of DEVS models called Finite Deterministic DEVS (FD-DEVS) that is available as a W3C XML Schema in XFD-DEVS. We also put the proposed eUDEVS in a much larger unifying framework called DEVS Unified Process that allows bifurcated model-continuity based lifecycle methodology for systems M&S. Finally, we demonstrate the laid concepts with a complete example.
- Abstract(参考訳): システム設計とプロトタイピングのためのモデリングとシミュレーション(M&S)は、今日では産業と学術の両方で行われている。
M&Sは完全に2つの異なる領域であり、特定の目的を持っている。
しかし、これら2つの地域をまとめる場合がほとんどである。
開発されたコードは、モデルとそれを実行する基礎となるシミュレータの両方にしっかりと織り込まれています。
これにより、モデル開発と、開発コードの拡張性に影響を与えるシミュレーションエンジンの両方が制限される。
さらに、ドメイン知識とシミュレーション技術の両方を必要とするため、モデルの開発に多くの時間が費やされます。
統一モデリング言語(UML)は業界で広く受け入れられているが、離散イベント仕様(DEVS)ベースのモデリングはモデルとシミュレータを分離し、モデルを開発するためのよりクリーンな方法論を提供する。
DEVSは現在、離散イベントモデリングを非常に詳細なレベルで理解し、要件をDEVSモデリングコードに変換することができるエンジニアによって使用されている。
UMLとDEVSを統合する取り組みは以前からありましたが、これらの2つのモデリングパラダイムに固有の違いがあるため、トランスフォーメーションメカニズムの提供には成功していません。
本稿では,DeVSに基づく実行可能なUMLを表すeUDEVSを用いて,UMLとDEVSの相互変換に対する統合的なアプローチを提案する。
さらに、得られたDEVSモデルは、XFD-DEVSのW3C XMLスキーマとして利用可能であるFinite Deterministic DEVS(FD-DEVS)と呼ばれるDeVSモデルの特定のクラスに属することを示す。
また、提案したeUDEVSを、システムM&Sのための分岐モデル連続性に基づくライフサイクル方法論を可能にする、DEVS統一プロセスと呼ばれる、はるかに大きな統合フレームワークに組み込んだ。
最後に,提案した概念を完全な例で示す。
関連論文リスト
- VLM2Vec: Training Vision-Language Models for Massive Multimodal Embedding Tasks [60.5257456681402]
我々は、幅広い下流タスクを扱える普遍的な埋め込みモデルを構築している。
1 MMEB(Massive Multimodal Embedding Benchmark)は、4 つのメタタスク(分類、視覚的質問応答、マルチモーダル検索、視覚的グラウンド)と36 つのデータセット(20 のトレーニングと16 の評価データセットを含む)と、2 の VLM2Vec (Vision-Language Model -> Vector) を含む。
論文 参考訳(メタデータ) (2024-10-07T16:14:05Z) - Towards Synthetic Trace Generation of Modeling Operations using In-Context Learning Approach [1.8874331450711404]
本稿では,イベントログのモデリング,インテリジェントなモデリングアシスタント,モデリング操作の生成を組み合わせた概念的フレームワークを提案する。
特に、アーキテクチャは、設計者がシステムを指定するのを助け、その操作をグラフィカルなモデリング環境内で記録し、関連する操作を自動的に推奨する、モデリングコンポーネントから構成される。
論文 参考訳(メタデータ) (2024-08-26T13:26:44Z) - EMR-Merging: Tuning-Free High-Performance Model Merging [55.03509900949149]
Elect, Mask & Rescale-Merging (EMR-Merging) は既存のマージ手法と比較して優れた性能を示した。
EMR-Mergingはチューニング不要なので、データアベイラビリティや追加のトレーニングは必要ありません。
論文 参考訳(メタデータ) (2024-05-23T05:25:45Z) - Typing Requirement Model as Coroutines [6.039941247332987]
本稿では,契約区間の事前条件と事後条件を表す型システムを要件モデルで提案する。
これにより、型システムは、それで定義された契約が、付随するシーケンス図で概説されているように実行されることを保証します。
RM2PTによる4つのケーススタディを用いて,モデルの精度を検証した。
論文 参考訳(メタデータ) (2024-05-16T12:50:15Z) - Design Patterns for Multilevel Modeling and Simulation [3.0248879829045383]
マルチレベルモデリングとシミュレーション(M&S)は、この方法論がもたらす利点により、ますます関連性が高まっている。
本稿では,多段階モデルの設計と実装のための体系的なアプローチを提供する設計パターンの集合について述べる。
論文 参考訳(メタデータ) (2024-03-25T12:51:22Z) - Adapting Large Language Models for Content Moderation: Pitfalls in Data
Engineering and Supervised Fine-tuning [79.53130089003986]
大規模言語モデル(LLM)は、様々なドメインでタスクを処理するための実現可能なソリューションとなっている。
本稿では、コンテンツモデレーションのためにプライベートにデプロイ可能なLLMモデルを微調整する方法を紹介する。
論文 参考訳(メタデータ) (2023-10-05T09:09:44Z) - Scaling Vision-Language Models with Sparse Mixture of Experts [128.0882767889029]
提案手法は, 等価計算コストの高密度モデルに対して, 様々なベンチマークにおいて, 最先端性能を実現することができることを示す。
我々の研究は、MoEモデルのトレーニングの安定化、モデル解釈可能性に対するMoEの影響の理解、ビジョン言語モデルをスケールする際の計算性能間のトレードオフのバランスに関する貴重な洞察を提供する。
論文 参考訳(メタデータ) (2023-03-13T16:00:31Z) - Switchable Representation Learning Framework with Self-compatibility [50.48336074436792]
自己整合性(SFSC)を考慮した交換可能な表現学習フレームワークを提案する。
SFSCは1つのトレーニングプロセスを通じて、異なる能力を持つ一連の互換性のあるサブモデルを生成する。
SFSCは評価データセット上で最先端のパフォーマンスを達成する。
論文 参考訳(メタデータ) (2022-06-16T16:46:32Z) - Quantitatively Assessing the Benefits of Model-driven Development in
Agent-based Modeling and Simulation [80.49040344355431]
本稿では,MDD とABMS プラットフォームの利用状況と開発ミスについて比較する。
その結果、MDD4ABMSはNetLogoと類似した設計品質のシミュレーションを開発するのに、より少ない労力を必要とすることがわかった。
論文 参考訳(メタデータ) (2020-06-15T23:29:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。