本地前置条件(LocalPrecondition)

本地前置条件,就是规定动作发生之前需要满足的约束。

 

 

本地后置条件(LocalPostcondition)

 

本地后置条件,就是规定动作发生之后要达到的预期。

MBSES用户使用说明书