HOMELv032 シーケンス図において「状態不変式（State Invariant）」の制約 `{ t > 10 }` がライフライン上に置かれている場合、その意味はどれか。 2026年1月25日 状態不変式は、相互作用の特定の時点におけるアサーション（表明）であり、その時点でシステムが満たすべき条件を定義する。 ステートマシン図において、状態内で実行されている `do` アクティビティが、外部からの遷移によって中断された場合、そのアクティビティはどうなるか。 コンポーネント図において、コンポーネントの中に「クラス」や「インターフェース」を定義して描画することは可能か。
