本地前置条件(LocalPrecondition)和本地后置条件(LocalPostcondition)
按一下此处即可查看此页面的完整内容
Home
>>
活动图
>>
本地前置条件(LocalPrecondition)和本地后置条件(LocalPostcondition)
本地前置条件(LocalPrecondition)
本地前置条件,就是规定动作发生之前需要满足的约束。
本地后置条件(LocalPostcondition)
本地后置条件,就是规定动作发生之后要达到的预期。
MBSES用户使用说明书