論文の概要: Semi-Automatic Extraction of Formal Models from Object Oriented Code
- arxiv url: http://arxiv.org/abs/2411.12386v1
- Date: Tue, 19 Nov 2024 10:14:40 GMT
- ステータス: 翻訳完了
- システム内更新日: 2024-11-20 13:37:11.522425
- Title: Semi-Automatic Extraction of Formal Models from Object Oriented Code
- Title（参考訳）: オブジェクト指向コードからの形式モデルの半自動抽出
- Authors: P. H. M. van Spaendonck,
- Abstract要約: オブジェクト指向コードをプロセスに変換するためのフレームワークを提供する。最小限のユーザ入力と組み合わせると、モデルが自動生成され、構成される。
我々は、このフレームワークの実装を提供する新しいSSTraGen(StateSpace Transformation & Generation)ツールを紹介します。
Philips Image Guided Therapy Systems のケーススタディを通じて,本ツールの実用性と有用性について紹介する。
- 参考スコア（独自算出の注目度）: 0.0
- License:
- Abstract: Behavioral models are incredibly useful for understanding and validating software. However, the automatic extraction of such models from actual industrial code remains a largely unsolved problem with current solutions often not scaling well with the complexity and size of industrial systems or having to rely on approximations. To enable the extraction of useful models from code, we provide a framework for transforming object-oriented code into processes from which, when paired with minimal user input, models can be automatically generated and composed. Paired with this, we introduce the novel SSTraGen (StateSpace Transformation & Generation) tool, which provides an implementation of this framework. Through case studies at Philips Image Guided Therapy Systems, we showcase the practical applicability and usefulness of this tool, including the transformation of a component with >1000 LOC.
- Abstract（参考訳）: 振る舞いモデルは、ソフトウェアを理解し、検証するのに非常に役立ちます。
しかし、そのようなモデルを実際の産業コードから自動抽出することは、現在のソリューションが産業システムの複雑さやサイズとうまくスケールしなかったり、近似に頼らなくてもよく、ほとんど未解決の課題である。
コードから有用なモデルを抽出するために、オブジェクト指向コードをプロセスに変換するためのフレームワークを提供する。
これに対応して、我々は、このフレームワークの実装を提供する新しいSSTraGen(StateSpace Transformation & Generation)ツールを紹介します。
Philips Image Guided Therapy Systemsのケーススタディを通じて、1000LOCの成分の変換を含む、このツールの実用性と有用性について紹介する。
関連論文リスト
- Synergy of Large Language Model and Model Driven Engineering for Automated Development of Centralized Vehicular Systems [2.887732304499794]
モデル駆動工学(MDE)とLarge Language Models(LLM)の相乗効果を利用したツールのプロトタイプを提案する。
CARLAシミュレータを用いて、緊急ブレーキのシナリオにおいて、生成されたコードをシミュレーション環境で評価する。
論文 参考訳（メタデータ） (2024-04-08T13:28:11Z) - Exploring Latent Pathways: Enhancing the Interpretability of Autonomous Driving with a Variational Autoencoder [79.70947339175572]
バイオインスパイアされたニューラルサーキットポリシーモデルが革新的な制御モジュールとして登場した。
我々は、変分オートエンコーダとニューラルネットワークポリシーコントローラを統合することで、飛躍的に前進する。
本研究は,変分オートエンコーダへのアーキテクチャシフトに加えて,自動潜時摂動ツールを導入する。
論文 参考訳（メタデータ） (2024-04-02T09:05:47Z) - On Augmenting Scenario-Based Modeling with Generative AI [1.4501446815590895]
モデリングプロセスの一環として,チャットボットのより安全で構造化された利用方法について概説する。
本稿では,モデルの自動解析を容易にするシナリオベースモデリング手法を提案する。
このアプローチの可能性を浮き彫りにした好適な予備結果について述べる。
論文 参考訳（メタデータ） (2024-01-04T12:58:25Z) - Code Swarm: A Code Generation Tool Based on the Automatic Derivation of
Transformation Rule Set [0.7182245711235297]
我々は、システム設計モデルから実装コードを自動的に生成するCode Swarmという新しいツール、CodSを紹介した。
この結果から,CodSが生成したコードは入力設計モデルと一致していることが示唆された。
論文 参考訳（メタデータ） (2023-12-03T22:47:42Z) - End-to-End Meta-Bayesian Optimisation with Transformer Neural Processes [52.818579746354665]
本稿では,ニューラルネットワークを一般化し,トランスフォーマーアーキテクチャを用いて獲得関数を学習する,エンド・ツー・エンドの差別化可能な最初のメタBOフレームワークを提案する。
我々は、この強化学習(RL)によるエンドツーエンドのフレームワークを、ラベル付き取得データの欠如に対処できるようにします。
論文 参考訳（メタデータ） (2023-05-25T10:58:46Z) - XVoxel-Based Parametric Design Optimization of Feature Models [11.32057097341898]
本稿では,XVoxelsと呼ばれる統一モデル表現スキームに基づくパラメトリック最適化手法を提案する。
提案手法は, その有効性を示すために, 複雑さの増大に関する一連のケーススタディにより検証された。
論文 参考訳（メタデータ） (2023-03-17T13:07:12Z) - Low-dimensional Data-based Surrogate Model of a Continuum-mechanical
Musculoskeletal System Based on Non-intrusive Model Order Reduction [0.0]
データ駆動型モデルオーダーリダクションを用いた代理モデルのような従来の手法は、高忠実度モデルをより広く利用するために用いられる。
ヒト上腕部の複素有限要素モデルに対する代理モデル手法の利点を実証する。
論文 参考訳（メタデータ） (2023-02-13T17:14:34Z) - Extending Process Discovery with Model Complexity Optimization and
Cyclic States Identification: Application to Healthcare Processes [62.997667081978825]
モデル最適化のための半自動支援を実現するプロセスマイニング手法を提案する。
所望の粒度で生モデルを抽象化するモデル単純化手法が提案されている。
医療分野の異なるアプリケーションから得られた3つのデータセットを用いて、技術的ソリューションの能力を実証することを目的としている。
論文 参考訳（メタデータ） (2022-06-10T16:20:59Z) - Visformer: The Vision-friendly Transformer [105.52122194322592]
我々は視覚に優しいトランスフォーマーから短縮したvisformerという新しいアーキテクチャを提案する。
同じ計算の複雑さにより、VisformerはTransformerベースのモデルとConvolutionベースのモデルの両方をImageNet分類精度で上回る。
論文 参考訳（メタデータ） (2021-04-26T13:13:03Z) - Anytime Sampling for Autoregressive Models via Ordered Autoencoding [88.01906682843618]
自動回帰モデルは画像生成や音声生成などのタスクに広く使われている。
これらのモデルのサンプリングプロセスは割り込みを許さず、リアルタイムの計算資源に適応できない。
いつでもサンプリングできる新しい自動回帰モデルファミリーを提案します。
論文 参考訳（メタデータ） (2021-02-23T05:13:16Z) - DirectDebug: Automated Testing and Debugging of Feature Models [55.41644538483948]
変数モデル(例えば、特徴モデル)は、ソフトウェアアーティファクトの変数と共通性を表現する一般的な方法である。
複雑でしばしば大規模な機能モデルは欠陥になりうる、すなわち、ソフトウェアアーチファクトの期待される変動特性を表現しない。
論文 参考訳（メタデータ） (2021-02-11T11:22:20Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。