残念ながら、私はまだUMLに精通しておらず、標準ツールでどのようなバリデーションが行われているのかわかりません。しかし、thisを読んだ後では、検証が欠落しているようですので、私には助言を求めます。誰でもUMLツールのバリデーションをお勧めしますか？
私はそれが
Visual Studioを使用している場合は、VS 2010 UltimateのRCリリースを試すことがあります。 .NETコードの依存関係グラフを生成して、接続されていないコードまたは到達不能なコードを見つけることができます。依存関係グラフまたは既存の成果物からレイヤー図を作成し、許可された依存関係を抽出し、レイヤー検証を使用して無効な依存関係が導入されていないことを確認できます。このバージョンには、クラス、コンポーネント、シーケンス、ユースケース、およびアクティビティの5つのUML図が含まれています。あなたは 生成有向グラフ文書で既存のコード内の関係や組織を探索するのVisual Studio Ultimateを使用することができますhttp://msdn.microsoft.com/en-us/library/dd409453%28VS.100%29.aspx#SeeSpecificSource
：コードからグラフ文書の生成：どのように
。これらのグラフは、リンクまたはエッジによって接続されたノードの集合としてコード要素およびその関係 を表しています。これらのグラフを使用して、 のコードを視覚化、探索、および分析することができます。
方法：アーキテクチャエクスプローラーを使用してコードを探す：http://msdn.microsoft.com/en-us/library/dd409431%28VS.100%29.aspx
あなたは アーキテクチャExplorerを使用して視覚化したい垂直セクションやコードの「スライス」を選択することができます。 Visual Studioソリューションでソースコードを参照するか、.dllファイルまたは.dllファイルで コンパイル済み管理コードを参照できます。exeファイル。追加のプロバイダをインストールすることにより、アーキテクチャエクスプローラを使用して 他のドメインを参照できます。 を視覚化するコードが見つかったら、そのコードの関係を調べるためのグラフを生成できます。
どのようにします。システムの高レベルアーキテクチャを視覚化すると コードはこれに準拠していることを確認するために、層図を使用して... http://msdn.microsoft.com/en-us/library/dd465141%28VS.100%29.aspx
：アーティファクトからレイヤー図を作成設計。このタスクを実行するには、Visual Studioソリューションの 成果物を整理して、論理、抽象的なグループ、またはレイヤーに関連付けます。これらのレイヤー は、これらの成果物が実行する主なタスクまたはシステムの主要コンポーネントを記述します。レイヤー間の矢印 は、これらの間に存在する、または存在するはずの相互依存性を表します。コードにアーキテクチャ上の制約を適用するには、 の依存関係を記述してから、ダイアグラムに対してコードを検証します。この の方法でレイヤーダイアグラムを使用することで、コードの理解、再利用、および保守を容易にすることができます。
Layer Diagram http://i.msdn.microsoft.com/Dd465141.UML_LayerRefReading(en-us,VS.100).png
方法：検証コードレイヤダイアグラムに対して：図は、それが進化するにつれ、あなたがコード に建築制約を強制することができます層に対してコードを検証http://msdn.microsoft.com/en-us/library/dd409395%28VS.100%29.aspx
。このタスクを実行すると、コードの依存関係が図の依存関係 と比較されます。
のVisual Studio 2010に建築ディスカバリー&モデリングツールフォーラム：http://social.msdn.microsoft.com/Forums/en-US/vsarch/threads
いいえ、私はこれらのことを行うUMLツールは認識していません。私は雇用主のためのツールのかなり最近の調査をしました、そして、私はそのような特徴を見ませんでした。
あなたは、もちろん、あなたに求めている機能のレベルは高いと思います。あなたは、あなたが一般的であると思っているかのように書く。
私はこれらのツールです 特別OCL制約（例えば私自身の検証ツールhttp://gres.uoc.edu/UMLtoCSP/またはhttp://www.db.informatik.uni-bremen.de/projects/USE/）の有無にかかわらず、クラス図の検証と妥当性確認のために、いくつかの研究プロトタイプツールを指すが、可能性だけである：研究ツール（とこれが意味するすべての制限）。
私は、高度な検証/検証機能を提供する市販のCASEツールについてはあまり気づいていません。
Sparx Enterprise Architect多くの検証が行われます。私はそれがすべてのことをするかどうかわかりません。
.png){kind=link}
一つは望むことができます... – Nifle