UML クラス図: ガイドライン
Visual Studio Ultimate では、UML クラス図を使用して、データ型とその関係を実装とは別個に表現できます。図は、実装ではなく、クラスの論理的な側面に注目するために使用されます。
UML クラス図を [アーキテクチャ]、のメニューで作成するには、**[新しいダイアグラム]**を選択します。
[!メモ]
このトピックでは、UML クラス図について説明します。このほか、プログラム コードを作成して視覚化するために使用されるクラス図もあります。" " を参照してください。クラスと型を設計し表示します
このトピックの内容
UML クラス図の使用
クラス図を描画するための基本的な手順
クラス、インターフェイス、および列挙の使用
属性と操作
関連の描画と使用
継承
テンプレート型
パッケージでの名前空間の定義
UML クラス図からコードを生成
UML クラス図の使用
UML クラス図は、さまざまな用途に使用できます。
システムで使用され、コンポーネント間で受け渡される型の、実装に依存しない説明を提供する。
たとえば、ビジネス層の .NET コード、コンポーネント間のインターフェイスの XML、データベースの SQL、およびユーザー インターフェイスの HTML で、Meal Order 型が実装されているとします。これらの実装は細部が異なりますが、Meal Order と他の型 (Menu や Payment) の間の関係は常に同じです。UML クラス図を使用することにより、これらの関係について、実装を考慮することなく話し合うことができます。
アプリケーションとそのユーザーの間の通信、およびユーザーのニーズの記述において使用される用語を明確にする。「ユーザー要求のモデリング」を参照してください。
たとえば、レストラン用アプリケーションのユーザー ストーリー、ユース ケース、またはその他の要求の記述について考えてみましょう。通常、このような記述には、"メニュー"、"注文"、"料理"、"価格"、"支払い" などの用語が使用されます。UML クラス図を使用すると、これらの用語の間の関係を定義できます。これにより、要求の記述、ユーザー インターフェイス、およびヘルプ ドキュメントに不整合が発生する可能性を抑えることができます。
他の図との関係
通常、UML クラス図は、使用する型の記述を提供するために、他のモデル図と共に描画します。それぞれの場合において、型の物理的表現はいずれの図においても暗示されません。
描画済みの図 |
UML クラス図を使って記述する内容 |
---|---|
アクティビティ図 |
オブジェクト ノードを通過するデータの型。 入力ピン、出力ピン、およびアクティビティ パラメーター ノードの種類。 「UML アクティビティ図: ガイドライン」を参照してください。 |
シーケンス図 |
パラメーターの型およびメッセージの戻り値。 生存線の種類。生存線のクラスには、受信できるすべてのメッセージの操作が含まれている必要があります。 「UML シーケンス図: ガイドライン」を参照してください。 |
コンポーネント図 |
コンポーネントのインターフェイスとその操作。 完全なコンポーネントをクラスとして記述することもできます。 「UML コンポーネント図: ガイドライン」を参照してください。 |
ユース ケース図 |
ユース ケースの目標と手順の説明で言及されている型。 「UML ユース ケース図: ガイドライン」を参照してください。 |
クラス図を描画するための基本的な手順
UML クラス図の要素に関するリファレンス情報については、「UML クラス図: リファレンス」を参照してください。
[!メモ]
モデル図を生成するための詳細な手順については、「方法: UML モデルおよび UML 図を編集する」を参照してください。
UML クラス図を生成するには
[アーキテクチャ] で、メニューの **[新しいダイアグラム]**を選択します。
**[テンプレート]の下に、[UML クラス図]**を選択します。
図に名前を付けます。
**[モデリング プロジェクトへの追加]**では、ソリューション内の既存のモデリング プロジェクトまたは **[新しいモデリング プロジェクトを作成します]を選択し、[OK]**を選択します。
新しいクラス図が、UML クラス ダイアグラム ツールボックスと共に表示されます。ツールボックスには、必要な要素および関係が含まれています。
UML クラス図を描画するには
型を作成するには、ツールボックスの [クラス]、[インターフェイス] または [列挙] ツールを選択し、図の空白部分をクリックします。
また、型、およびのコードを基づいて型を作成できます。図には、ソリューション エクスプローラー、アーキテクチャ エクスプローラー、または依存関係グラフから型をドラッグできます。「方法: コードから UML クラス図を作成する」を参照してください。
属性または操作を型、または列挙にリテラルを追加する場合は、型で見出し [属性]、[操作] または [リテラル] を選択するには、Enter キーを押します。
f(x:Boolean):Integer のようなシグニチャを記述できます。属性と操作を参照してください。
複数の項目をすばやく追加するには、各項目の末尾で Enter キーを 2 回押します。方向キーを使用して、リスト内を上下に移動できます。
型を展開する、または折りたたむには、左上隅のシェブロン アイコンをクリックします。クラスまたはインターフェイスの [属性] および [操作] セクションを展開したり折りたたんだりすることができます。
型間の関連、継承、または依存関係リンクを描画するには、適切な関係ツールをクリックし、ソース型をクリックしてから、ターゲット型をクリックします。
パッケージ内に型を生成するには、パッケージ ツールを使用してパッケージを生成してから、パッケージ内に新しい型とパッケージを生成します。また、コピー コマンドを使用して型をコピーし、パッケージに貼り付けることもできます。
すべての図は、同じプロジェクト内の他の図との間で共有されるモデル上のビューです。完全なモデルのツリー ビューを表示するには、[表示]、[その他のウィンドウ]、**[UML モデル エクスプローラー]**を選択します。
クラス、インターフェイス、および列挙の使用
ツールボックスには、3 種類の標準的な分類子が用意されています。このドキュメントでは、これらを型と呼びます。
クラス (1) は、多くの場合、データまたはオブジェクトの型を表すために使用します。
インターフェイス (2) は、純粋なインターフェイスと内部実装を持つ具象クラスを差別化する必要があるコンテキストで使用します。この差別化は、図の目的がソフトウェア実装を記述することである場合に便利です。しかし、受動的なデータをモデリングする場合、またはユーザー要求を記述するための概念を定義する場合には、それほど効果的ではありません。
列挙 (3) は、Stop や Go のように、リテラル値の数が限られている型を表すために使用します。
リテラル値を列挙に追加します。それぞれに別個の名前を指定します。
必要に応じて、それぞれのリテラル値に数値を指定することもできます。列挙型のリテラルのショートカット メニューを開き、**[プロパティ]**を選択し、を [プロパティ] のウィンドウの [値] のフィールドに数値を入力します。
それぞれの型に一意な名前を付けます。
他の図からの型の取得
他の図にある型を自分の UML クラス図に表示できます。
型が含まれている他の図 |
他の図から型を取得する方法 |
---|---|
UML クラス図 |
1 つのクラスを複数の UML クラス図に表示できます。1 つの図でクラスを生成した後、UML モデル エクスプローラーからそのクラスを他の図にドラッグします。 この機能は、それぞれの図で特定の関係のグループに重点を置いて作業する場合に便利です。 たとえば、"料理の注文" とレストランの "メニュー" の間の関連を 1 つの図に示し、"隆理の注文" と "支払い" の間の関連を別の図に示すことができます。 |
コンポーネント図 |
コンポーネント図でコンポーネントが定義されている場合は、UML モデル エクスプローラーからクラス図にコンポーネントをドラッグできます。コンポーネントは、クラスとして表示されます。「UML コンポーネント図: ガイドライン」を参照してください。 |
UML シーケンス図 |
シーケンス図の生存線からクラスおよびインターフェイスを生成した後、UML モデル エクスプローラーから UML クラス図にクラスをドラッグできます。シーケンス図における各生存線は、オブジェクト、コンポーネント、またはアクターのインスタンスを表します。 生存線からクラスを作成するには、生存線のショートカット メニューを開き、[クラスの生成] か [インターフェイスの作成]を選択します。「UML シーケンス図: ガイドライン」を参照してください。 |
プログラム コードします。 |
モデルのコードから型を表すことができます。UML クラス図でアーキテクチャ エクスプローラーまたは依存関係グラフからクラス、インターフェイス、または列挙型をドラッグします。 この図にドラッグした型。依存型は、モデルに追加されます。UML 型がこの方法で作成された場合、ソース・コードを開くために、をダブルクリックすることもできます。「方法: コードから UML クラス図を作成する」を参照してください。
メモ
コードとモデルで同期おかれません。図を更新し、コードに影響を及ぼすことなく変更提案を検討できます。それ以降のコードの変更が自動的に再図に型を図にドラッグには影響しません。
|
属性と操作
属性 (4) は、型のすべてのインスタンスが持つことができる名前付きの値です。属性にアクセスしても、インスタンスの状態は変更されません。
操作 (5) は、型のインスタンスが実行できるメソッドまたは関数です。操作は、値を返すことができます。isQuery プロパティが true の場合、インスタンスの状態を変更することはできません。
属性または操作を型に追加するには、型のショートカット メニューを開き、追加を選択し、を [属性] か **[操作]**を選択します。
プロパティを表示するには、属性、または操作のショートカット メニューを開き、[プロパティ]を選択します。プロパティがプロパティ ウィンドウに表示されます。
操作のパラメーターのプロパティを表示するには、[パラメーター] のプロパティの **[…]**を選択します。新しいプロパティ ダイアログ ボックスが表示されます。
設定できるすべてのプロパティの詳細については、" " を参照してください:
属性および操作の型
属性または操作のそれぞれの型と、それぞれのパラメーター型には、次のいずれかの値を使用できます。
(なし): 先頭のコロン (:) を省略することで、シグニチャでの型の指定を省略できます。
標準の基本型の 1 つ: Boolean、Integer、String。
モデルで定義されている型。
"Template<Parameter>" 形式のテンプレート型のパラメーター化された値。「テンプレート型」を参照してください。
モデルでまだ定義していない型の名前を書くこともできます。名前は、UML モデル エクスプローラーの [未指定の型] に一覧表示されます。
[!メモ]
その後、モデル内でその名前のクラス、またはインターフェイスを定義すると、以前の属性と操作は引き続き未指定型の要素を参照します。新規クラスを参照するように変更するには、それぞれの属性や操作について、ドロップダウン メニューから新規クラスを選択し、型を 1 つずつリセットする必要があります。
複数の型
任意の属性、操作、またはパラメーター型の多重度を設定できます。
許可値は次のとおりです。
Multiplicity |
属性、パラメーター、または戻り値に含まれる値 |
---|---|
[1] |
指定された型の 1 つの値。既定値です。 |
[0..1] |
Null、または指定された型の値。 |
[*] |
任意の数の指定された型のインスタンスが含まれるコレクション。 |
[1..*] |
1 つ以上の指定された型のインスタンスが含まれるコレクション。 |
[n..m] |
n ~ m 個の指定された型のインスタンスが含まれるコレクション。 |
多重度が 1 を超える場合は、以下のプロパティも設定できます。
IsOrdered: true の場合、コレクションの順序が定義されています。
IsUnique: true の場合、コレクション内に重複する値は存在しません。
Visibility
可視性は、クラス定義の外部から属性または操作にアクセスできるかどうかを示します。許可値は次のとおりです。
名前 |
省略形 |
説明 |
---|---|---|
Public |
+ |
他のすべての型からアクセスできます。 |
Private |
- |
この型の内部定義からのみアクセスできます。 |
Package |
~ |
この型を含むパッケージ内、および明示的に型をインポートするすべてのパッケージ内でアクセスできます。「名前空間およびパッケージの定義」を参照してください。 |
Protected |
# |
この型、およびこの型を継承する型からのみアクセスできます。「継承」を参照してください。 |
属性または操作のシグニチャの設定
属性または操作のシグニチャは、可視性、名前、(操作の) パラメーター、および型を含むプロパティのコレクションです。
シグニチャは、図に直接記述できます。属性または操作をクリックして選択し、もう一度クリックします。
シグニチャは、次の形式で記述します。
visibility attribute-name : Type
または
visibility operation-name (parameter1 : Type1, ...) : Type
以下はその例です。
+ AddItem (item : MenuItem, quantity : Integer) : Boolean
可視性については省略形を使用します。既定値は + (public) です。
それぞれの型には、モデルで定義した型、Integer や String などの標準型、またはまだ定義していない新しい型の名前を使用できます。
[!メモ]
パラメーター リストに名前のみを記述して型を省略した場合、その名前は、パラメーターの型ではなく名前と見なされます。この例では、MenuItem と Integer は、型が指定されていない 2 つのパラメーターの名前になります。
AddItem(MenuItem, Integer) /* parameter names, not types! */
シグニチャで型の多重度を設定するには、次の例に示すように、型の名前に続けて多重度を角かっこで囲んで指定します。
+ AddItems (items : MenuItem [1..*])
+ MenuContent : MenuItem [*]
属性または操作が静的な場合、その名前はシグニチャ内で下線付きで表示されます。属性または操作が抽象型の場合、その名前は斜体で表示されます。
Is Static プロパティと Is Abstract プロパティは、プロパティ ウィンドウでのみ設定できます。
完全なシグニチャ
属性または操作のシグニチャを編集するときに、行の末尾および各パラメーターの後に追加のプロパティが表示されることがあります。これらのプロパティは、中かっこ {...} で囲まれて表示されます。これらのプロパティは、編集または追加できます。以下はその例です。
+ AddItems (items: MenuItem [1..*] {unique, ordered})
+ GetItems (filter: String) : MenuItem [*] {ordered, query}
選択できるプロパティは次のとおりです。
シグニチャ内 |
プロパティ |
説明 |
---|---|---|
unique |
Is Unique |
コレクション内に重複する値は存在しません。多重度が 1 を超える型に適用されます。 |
ordered |
Is Ordered |
コレクションは順序付けられています。false の場合、1 番目の項目は確定されません。多重度が 1 を超える型に適用されます。 |
query |
Is Query |
操作によってインスタンスの状態が変更されることはありません。操作にのみ適用されます。 |
/ |
Is Derived |
属性は、他の属性または関連の値から計算されます。 "/" は、属性の名前の前に表示されます。以下はその例です。
|
通常、完全なシグニチャは、編集中の図にのみ表示されます。編集が完了すると、追加のプロパティは非表示になります。完全なシグニチャを常に表示するには、型のショートカット メニューを開き、**[完全署名の表示]**を選択します。
関連の描画と使用
関連は、ソフトウェアでリンクがどのように実装されるかに関係なく、2 つの要素間のあらゆる種類のリンクを表すために使用します。たとえば、関連を使用して、C# のポインター、データベースにおけるリレーションシップ、または XML ファイルのある部分から別の部分への相互参照を表すことができます。関連を使用することで、地球と太陽のような、現実世界のオブジェクト間の関連を表すことができます。関連は、リンクがどのように表されているかを示すものではなく、その情報が存在することのみを示します。
関連のプロパティ
関連を生成したら、次にそのプロパティを設定します。関連付けのショートカット メニューを開き、**[プロパティ]**を選択します。
関連の全体的なプロパティに加え、各ロール (関連の各端部) は独自のプロパティを持ちます。このようなプロパティを表示するには、[1 番目のロール] プロパティと [2 番目のロール] プロパティを展開します。
各ロールのいくつかのプロパティは、図に直接表示されます。それらは次のとおりです。
ロールの名前。図内の関連の適切な端部に表示されます。このプロパティは、図内またはプロパティ ウィンドウで設定できます。
多重度。既定値は 1 です。図内の関連の適切な端部にも表示されます。
集約。コネクタの一方の端部に菱形で表されます。集約ロール側のインスタンスがもう一方の側のインスタンスを所有または包含していることを示すために使用します。
誘導可能。1 つのロールに対してのみ true の場合、誘導可能な方向に矢印が表示されます。これを使用して、ソフトウェアのリンクの誘導可能性とデータベースのリレーションシップを示すことができます。
これらのプロパティおよびその他のプロパティの詳細については、「UML クラス図の関連のプロパティ」を参照してください。
誘導可能性
関連を描画すると、関連を移動できる方向を示す矢印が片方の末尾に付きます。これは、クラス図がソフトウェア クラスを表し、関連がポインターまたは参照を表す場合に役立ちます。ただし、クラス図を使用してエンティティと関係またはビジネス概念を表す場合は、誘導可能性との関連性は小さくなります。この場合は、矢印を使用しないで関連を描画することをお勧めします。その場合は、関連の両端で Is Navigable プロパティを True に設定します。この操作を簡単に行うには、コード サンプル UML モデリングのドメインをダウンロードできます。
属性と関連
関連は、属性を視覚的に示す方法の 1 つです。たとえば、Menu 型の属性を持つ Restaurant クラスを生成する代わりに、Restaurant から Menu への関連を描画できます。
それぞれの属性名はロール名となります。属性名は、関連の所有している型から反対側の端部に表示されます。図の myMenu に注目してください。
通常は、基本型のような図中に描画しない型に関してのみ、属性を使用することをお勧めします。
継承
[継承] ツールは、次の関係を生成するために使用します。
特化された型と一般的な型の間の汎化関係。
または
クラスとそれによって実装されるインターフェイスとの間の実現関係。
継承関係内にループを生成することはできません。
汎化
汎化とは、一般的な型または基本型の属性、操作、および関連を特化型または派生型が継承することを表します。
一般的な型は、関係の矢じり付きの端部に表示されます。
通常、継承された操作および属性は、特化型には表示されません。ただし、継承された操作を特化型の操作リストに追加することができます。この機能は、操作の特定のプロパティを特化型内でオーバーライドする場合、または実装コードでそのような操作を行う必要があることを示す場合に便利です。
操作の定義を特化型内でオーバーライドするには
汎化関係をクリックします。
これは強調表示され、アクション タグがその近くに表示されます。
アクション タグをクリックし、[操作のオーバーライド] をクリックします。
[操作のオーバーライド] ダイアログ ボックスが表示されます。
特化型に表示する操作を選択し、[OK] をクリックします。
選択した操作が特化型に表示されます。
実現
実現とは、インターフェイスによって指定された属性および操作をクラスで実装することを表します。インターフェイスは、コネクタの矢印端に示されます。
実現コネクタを生成すると、インターフェイスの操作が自動的に実現クラスに複製されます。インターフェイスに新しい操作を追加すると、その操作はその実現クラスに複製されます。
実現関係を生成した後、それをロリポップ表記に変換できます。関係を右クリックし、[ロリポップとして表示] をクリックします。
これにより、実現リンクでクラス図が煩雑になることもなく、クラスで実装するインターフェイスを表示できます。また、インターフェイスとそれを実現するクラスを別個の図に表示することもできます。
テンプレート型
他の型または値でパラメーター化できるジェネリック型またはテンプレート型を定義できます。
たとえば、キー型と値型でパラメーター化されたジェネリックな Dictionary を生成できます。
テンプレート型を生成するには
クラスまたはインターフェイスを生成します。これがテンプレート型になります。適切な名前 (たとえば、Dictionary) を付けます。
新しい型のショートカット メニューを開き、**[プロパティ]**を選択します。
プロパティ ウィンドウで、[テンプレート パラメーター] フィールドの [...] をクリックします。
[テンプレート パラメーター コレクション エディター] ダイアログ ボックスが表示されます。
[追加] をクリックします。
名前プロパティをテンプレート型のパラメーター名 (たとえば、Key) に設定します。
[パラメーターの種類] を設定します。既定値は [クラス] です。
パラメーターが特定の基本クラスの派生クラスのみを受け取るようにするには、[制約がある値] を目的の基本クラスに設定します。
必要な数のパラメーターを追加し、**[OK]**を選択します。
他のクラスの場合と同様に、属性と操作をテンプレート型に追加します。
種類が [クラス]、[インターフェイス]、または [列挙] のパラメーターを、属性および操作の定義で使用できます。たとえば、Key と Value のパラメーター クラスを使用して、この操作を Dictionary で定義できます。
Get(k : Key) : Value
種類が [整数] のパラメーターは、多重度の境界として使用できます。たとえば、パラメーター整数 max を使用して、属性の多重度を [0..max] として定義できます。
テンプレート型を生成した後は、これを使用してテンプレート バインディングを定義できます。
テンプレート型を使用するには
新しい型 (たとえば、AddressTable) を生成します。
新しい型のショートカット メニューを開き、**[プロパティ]**を選択します。
[テンプレート バインディング] プロパティで、ドロップダウン リストからテンプレート型 (たとえば、Dictionary) を選択します。
[テンプレート バインディング] プロパティを展開します。
テンプレート型のそれぞれのパラメーターに対して行が表示されます。
それぞれのパラメーターを適切な値に設定します。たとえば、Key パラメーターを Name クラスに設定します。
パッケージ
UML クラス図では、パッケージを表示できます。パッケージは、他のモデル要素のコンテナーです。パッケージ内には任意の要素を生成できます。図において、パッケージを移動すると、パッケージ内の要素も移動されます。
展開/折りたたみコントロールを使用して、パッケージの内容の表示/非表示を切り替えることができます。
「パッケージと名前空間の定義」を参照してください。
UML クラス図からコードを生成
UML クラス図のクラスの実行を開始するには、C# コードを生成するか、またはコード生成のテンプレートをカスタマイズできます。コードを生成することを C# で提供されているテンプレートを使用して呼び出す場合:
図またはで要素のショートカット メニューを開き、**[コードの生成]**を選択し、必要なプロパティを設定します。
これらのプロパティを設定し、指定されたテンプレートをカスタマイズする方法の詳細については、方法: UML クラス図からコードを生成するを参照してください。