HOME
Lv024

「Lv024」の記事一覧

シーケンス図の `ref` フレーム（Interaction Use）において、呼び出し元のライフラインと、呼び出し先の図のライフラインを対応付ける引数/パラメータはどこに記述するか。

相互作用の利用では、引数を `ref` の横に記述するか、詳細にはフレーム境界上の接続点（ゲート）を通じて…

2026年1月25日

プロトコルステートマシンにおいて、遷移後に「事後条件」が満たされなかった場合、どう解釈されるか。

プロトコルステートマシンは契約（Contract）を定義するものであり、事後条件違反は実装が仕様（契約）を…

2026年1月25日

デプロイメント図における「デプロイメント仕様（Deployment Specification）」は、どの要素と依存関係（または関連）を持つのが一般的か。

デプロイメント仕様（xmlファイル等）は、それが設定を記述している対象の「コンポーネント」や、それを具…

2026年1月25日

汎化セット（Generalization Set）の制約が `{incomplete, disjoint}` である場合、何を意味するか。

incompleteは「サブクラスリストが不完全（他にもある、または親のままのインスタンスがあり得る）」、dis…

2026年1月25日

OCLの `implies` 演算子（含意）において、`A implies B` が False になるのはどの場合か。

論理包含（ならば）は、「前提Aが真なのに結論Bが偽」である場合のみ偽となる。Aが偽なら、Bの値に関わら…

2026年1月25日

ステートマシン図の「深い履歴（Deep History, H*）」は、何階層下まで状態を記憶・復元するか。

深い履歴（H*）は、そのコンポジット状態に含まれる、どんなに深くネストされたサブ状態の構成であっても…

2026年1月25日

アクティビティ図において、デシジョンノード（分岐）の入力フローが「ObjectFlow（データフロー）」である場合、出力フローのガード条件は何を評価するか。

オブジェクトフローでの分岐は、流れてきたオブジェクトの内容（属性値など）をガード条件で評価して行き…

2026年1月25日

関連クラス（Association Class）が自分自身に関連付けられている（自己関連）場合、インスタンスレベルではどのような制約が発生するか。

関連クラスは「キーとなるオブジェクトのペアに対して一意」であるため、同じ2つのオブジェクト間（自己関…

2026年1月25日

クラス図において、関連の「読み取り方向（Reading Direction）」を示す黒三角（▲）の正式名称は？

UML仕様書におけるプロパティ名としては特定されていないが、図形要素としては「Name Direction（名前の方…

2026年1月25日

シーケンス図の「critical」領域（Critical Region）内で、実行可能なイベント以外の割り込みが発生した場合の挙動は？

Critical領域はアトミックな実行を保証するため、領域外からの割り込みイベントはその処理が終わるまで待…

2026年1月25日