HOMELv020 シーケンス図の相互作用オペレータ「critical」で囲まれた領域の特性はどれか。 2026年3月18日 criticalセクション内では、その領域のイベントがアトミックに処理され、外部からのイベント混入が防がれる。 「汎化セット（Generalization Set）」において、「{disjoint}」制約が意味する内容はどれか。 メタモデルにおける「再定義（Redefinition）」を行う際、元のプロパティと再定義後のプロパティの関係はどうあるべきか。
