HOMELv030 ステートマシン図における「終了状態（Final State）」は、擬似状態（Pseudo-state）か、それとも状態（State）の一種か。 2026年1月25日 Final State（二重丸の中黒）は、メタモデル上は `State` の一種であり、その領域の実行完了を表す特別な状態である（擬似状態ではない）。 クラス図の関連において、`{subsets}` 制約を使用する場合、サブセット側（子）とスーパーセット側（親）の多重度の関係として正しいものはどれか。 シーケンス図において、条件分岐を表す `alt` フラグメントの各オペランド（区画）に記述される「ガード条件」は、どのタイミングで評価されるか。
