メタモデルにおける「再定義（Redefinition）」を行う際、元のプロパティと再定義後のプロパティの関係はどうあるべきか。

2026年3月18日

再定義は型安全性を保つため、元の定義と一貫性のある（より具体的な）型で行う必要がある。

シーケンス図の相互作用オペレータ「critical」で囲まれた領域の特性はどれか。

ステートマシン図における「フォーク」擬似状態からの遷移において、ターゲットが異なるリージョンである必要がある理由はどれか。