HOMELv020 ステートマシン図における「フォーク」擬似状態からの遷移において、ターゲットが異なるリージョンである必要がある理由はどれか。 2026年3月18日 フォークは並行実行を開始するための要素であり、同一リージョン内の複数の状態へ同時に遷移することはできない。 メタモデルにおける「再定義(Redefinition)」を行う際、元のプロパティと再定義後のプロパティの関係はどうあるべきか。 コンポーネントにおける「実現(Realization)」が「<<manifest>>」ステレオタイプを持つ場合、それは何を意味するか。