本地前置条件（LocalPrecondition）

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

 

 

本地后置条件（LocalPostcondition）

 

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

MBSES用户使用说明书