HOMELv020 OCLの `oclIsKindOf(Type)` 操作と `oclIsTypeOf(Type)` 操作の違いはどれか。 2026年1月25日 `oclIsKindOf`は継承関係を考慮して「その型またはサブ型か」を判定し、`oclIsTypeOf`は「正確にその型か(サブ型は含めない)」を判定する。 「パワータイプ(PowerType)」として指定されたクラスのインスタンスは、モデル上でどのような役割を果たすか。 シーケンス図の「分解(Decomposition)」、特に「パート分解(Part Decomposition)」を示す場合、ライフラインのヘッドはどう表記されるか。