medini UML to Simulink - UMLからSimulinkへのモデル変換

多くのモデルベース開発プロセスにおいて、異なるモデリング技術を同時期に並行適用することはよくあります。典型的な例は、アーキテクチャの仕様設計にUMLやSysMLを使用し、機能的動作のモデリングにSimulinkを使用するものです。medini UML to Simulink を使うことによって次のことが可能になります:

• UMLの構造からSimulinkモデルへの変換
• ブロック、ポートおよび結線の自動生成
• 高度な更新メカニズムや逆方向変換によるUMLとSimulink間のモデル整合

medini UML to Simulink は、複雑なシステムの開発のためにUMLとSimulinkを並行して適用する開発者を対象としています。

medini proFeat - 妥当性検証機能を持ったグラフィカルなフィーチャーモデルエディタ

様々な派生を効率的に管理することは、複雑なシステムの開発の大きな課題の一つとなっています。プロダクトラインは、この問題に対して期待されている一つの解決策です。フィーチャーモデルは、このアプローチにおける異なる製品派生の構成のためのカギとなる概念です。medini proFeat は次のことを提供します:

• グラフィカルなエディタを使ったフィーチャーモデルの作成
• フィーチャー間の関連性のモデリングと妥当性検証
• 製品固有のフィーチャーモデルの構成と自動導出

medini proFeat は、個々のプロダクトラインの実現をサポートします。

medini QVT - 宣言ルールメカニズムに基づいたモデル変換

モデルベースアプローチおよびプロセス自動化は、高まりつつある自動モデル変換というニーズを示しています。変換ルールの簡単かつ快適な定義は、そうした技術の成功のための主な要因の一つです。

弊社の medini QVTは、オープンソースのモデル変換エンジンで、OMGのQVT規格を効率的に実装し、QVTリレーションをサポートします。

medini QVT のホームページ(英語)