論文の概要: A SysML Profile for the Standardized Description of Processes during
System Development
- arxiv url: http://arxiv.org/abs/2403.06723v1
- Date: Mon, 11 Mar 2024 13:44:38 GMT
- ステータス: 処理完了
- システム内更新日: 2024-03-12 19:07:56.874963
- Title: A SysML Profile for the Standardized Description of Processes during
System Development
- Title(参考訳): システム開発におけるプロセスの標準化記述のためのSysMLプロファイル
- Authors: Lasse Beers, Hamied Nabizada, Maximilian Weigand, Felix Gehlhoff,
Alexander Fay
- Abstract要約: 形式化されたプロセス記述(FPD)のためのVDI/VDE 3682標準は、プロセスのシンプルで理解しやすい表現を提供する。
この貢献は、システムモデリング言語(SysML)へのVDI/VDE 3682の統合を促進するドメイン特化モデリング言語(D)の開発に焦点を当てている。
- 参考スコア(独自算出の注目度): 40.539768677361735
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: A key aspect in creating models of production systems with the use of
model-based systems engineering (MBSE) lies in the description of system
functions. These functions shouldbe described in a clear and standardized
manner.The VDI/VDE 3682 standard for Formalised Process De-scription (FPD)
provides a simple and easily understandable representation of processes. These
processes can be conceptualized as functions within the system model, making
the FPD particularly well-suited for the standardized representation ofthe
required functions. Hence, this contribution focuses on thedevelopment of a
Domain-Specific Modeling Language(DSML) that facilitates the integration of
VDI/VDE 3682 into the Systems Modeling Language (SysML). The presented approach
not onlyextends classical SysML with domain-specific requirements but also
facilitates model verification through constraints modeled in Object Constraint
Language (OCL). Additionally, it enables automatic serialization of process
descriptions into the Extensible Markup Language (XML) using the Velocity
Template Language (VTL). This serialization enables the use of process modeling
in applications outside of MBSE. The approach was validated using an collar
screwing use case in the major component assembly in aircraft production.
- Abstract(参考訳): モデルベースシステムエンジニアリング(MBSE)を用いた生産システムのモデル作成における重要な側面は、システム機能の記述にある。
形式化されたプロセス記述(FPD)のためのVDI/VDE 3682標準は、プロセスのシンプルで分かりやすい表現を提供する。
これらのプロセスはシステムモデル内の関数として概念化することができ、FPDは要求される関数の標準化された表現に特に適している。
したがって、このコントリビューションは、VDI/VDE 3682をシステムモデリング言語(SysML)に統合するための、ドメイン特化モデリング言語(DSML)の開発に焦点を当てている。
提案手法は、従来のsysmlをドメイン固有の要件で拡張するだけでなく、オブジェクト制約言語(ocl)でモデル化された制約によるモデル検証を容易にする。
さらに、Velocity Template Language (VTL)を使用して、プロセス記述を拡張可能なマークアップ言語(XML)に自動シリアライズできる。
このシリアライズにより、mbse以外のアプリケーションでプロセスモデリングを使用できる。
このアプローチは、航空機製造における主要な部品組立における首輪ねじりの使用事例を用いて検証された。
関連論文リスト
- Process Modeling With Large Language Models [45.129578769739]
本稿では,大規模言語モデル(LLM)のプロセスモデリングへの統合について検討する。
プロセスモデルの自動生成と反復的改善にLLMを利用するフレームワークを提案する。
予備的な結果は、プロセスモデリングタスクを合理化するフレームワークの能力を示している。
論文 参考訳(メタデータ) (2024-03-12T11:27:47Z) - Model Composition for Multimodal Large Language Models [73.70317850267149]
本稿では,既存のMLLMのモデル構成による新しいパラダイムを提案する。
我々の基本的な実装であるNaiveMCは、モダリティエンコーダを再利用し、LLMパラメータをマージすることで、このパラダイムの有効性を実証する。
論文 参考訳(メタデータ) (2024-02-20T06:38:10Z) - Adapting Large Language Models for Content Moderation: Pitfalls in Data
Engineering and Supervised Fine-tuning [79.53130089003986]
大規模言語モデル(LLM)は、様々なドメインでタスクを処理するための実現可能なソリューションとなっている。
本稿では、コンテンツモデレーションのためにプライベートにデプロイ可能なLLMモデルを微調整する方法を紹介する。
論文 参考訳(メタデータ) (2023-10-05T09:09:44Z) - Formal description of ML models for unambiguous implementation [2.28438857884398]
我々は、訓練されたモデルのトレース可能な分散と並列化の最適化を可能にするために、nnef言語を拡張することを提案する。
このような仕様が Xavier プラットフォーム上で cuda でどのように実装できるかを示す。
論文 参考訳(メタデータ) (2023-07-24T11:49:10Z) - Capturing Dependencies within Machine Learning via a Formal Process
Model [11.91042044893791]
機械学習モデルの開発は、単なるソフトウェア開発(SD)の特殊なケースではない
文献に記述されているほとんどのタスクやアーティファクトを一貫した方法で包含する、MLのための包括的なSDプロセスモデルを定義する。
我々は、MLがカプセル化されたタスクである標準的なSDプロセスと様々なインタラクションポイントを提供する。
論文 参考訳(メタデータ) (2022-08-10T08:45:37Z) - From Natural Language to Simulations: Applying GPT-3 Codex to Automate
Simulation Modeling of Logistics Systems [0.0]
この研究は、物流にとって重要なシステムのシミュレーションモデルの開発を自動化するために自然言語処理を適用する最初の試みである。
我々は,変換言語モデルであるGPT-3コーデックスをベースとしたフレームワークが,言語記述による待ち行列と在庫制御系の機能的に有効なシミュレーションを生成できることを実証した。
論文 参考訳(メタデータ) (2022-02-24T14:01:50Z) - SMT-Based Safety Verification of Data-Aware Processes under Ontologies
(Extended Version) [71.12474112166767]
我々は、このスペクトルで最も調査されたモデルの1つ、すなわち単純なアーティファクトシステム(SAS)の変種を紹介する。
このDLは適切なモデル理論特性を享受し、後方到達性を適用可能なSASを定義することができ、対応する安全問題のPSPACEにおける決定可能性をもたらす。
論文 参考訳(メタデータ) (2021-08-27T15:04:11Z) - Semantic based model of Conceptual Work Products for formal verification
of complex interactive systems [3.0458872052651973]
概念的作業製品に対する客観的な仕様を検証するための自動論理推論器について述べる。
概念的な作業製品仕様は、明確に述べられ、正しく、解決可能な、基本的な出力要件として機能する。
セマンティックWebのツールによる作業オントロジーは、自動推論による解決可能性の検証のために、クラスと状態図を変換するために必要です。
論文 参考訳(メタデータ) (2020-08-04T15:10:44Z) - Few-shot Natural Language Generation for Task-Oriented Dialog [113.07438787659859]
FewShotWozは,タスク指向対話システムにおける数ショットの学習設定をシミュレートする最初の NLG ベンチマークである。
我々は, SC-GPTモデルを開発し, その制御可能な生成能力を得るために, 注釈付きNLGコーパスの大規模なセットで事前学習を行った。
FewShotWozとMulti-Domain-WOZデータセットの実験は、提案したSC-GPTが既存の手法を大幅に上回っていることを示している。
論文 参考訳(メタデータ) (2020-02-27T18:48:33Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。