HOMELv027 OCLにおいて、オブジェクトの型をチェックする操作 `oclIsTypeOf(T)` は、対象がTのサブクラスのインスタンスである場合に何を返すか。 2026年1月25日 `oclIsTypeOf`は「厳密にその型であるか」を問うため、サブクラスのインスタンスに対してはFalseを返す(サブクラスも含める場合は`oclIsKindOf`を使う)。 ステートマシン図の「内部遷移(Internal Transition)」と「自己遷移(Self Transition)」の挙動の違いに関する記述として正しいものはどれか。 パッケージ図における `<<merge>>` 関係では、マージ元のパッケージ定義がマージ先に統合されるが、このとき「マージ先」のパッケージはどのように変化するか。