HOMELv004 アクターがユースケースの実行を完了した後に得られる最終的な状態を示すプロパティはどれか。 2026年3月17日 事後条件は、ユースケースの全ステップが正常に終了した際に保証されるシステムの状況である。 モデル構造を階層的に管理する際、最上位に位置するパッケージの特殊な形態はどれか。 ブロックが提供または要求する「サービス」のセットを定義するために使われる要素はどれか。