「ユースケース記述」における「事後条件(Post-conditions)」とは何か。

一連のアクションが成功または失敗した後に、システムやデータがどうなっているべきかを示す。