HOMELv032 ステートマシン図において、状態内で実行されている `do` アクティビティが、外部からの遷移によって中断された場合、そのアクティビティはどうなるか。 2026年1月25日 状態からの退場(exit)が発生すると、その状態で実行中だったdoアクティビティは強制的に終了させられる。 UMLメタモデルにおいて、`Relationship`(関係)のサブクラスであり、2つの要素間に方向性を持たない(または双方向の)結びつきを表す最も基本的なクラスはどれか。 シーケンス図において「状態不変式(State Invariant)」の制約 `{ t > 10 }` がライフライン上に置かれている場合、その意味はどれか。