在 WF 4.0 中,如果发生转换,自反转换不会导致状态进入动作重新运行。
在我看来,这不是一种过渡,而是一种包含的行为。自反转换应该离开并重新进入,但 WF 4.0 有限状态机的行为并非如此。
什么正式规范在这里适用,关于自反转换及其对状态、状态进入或退出行为的影响有什么共识,以及 wf 4.0 是如何做到这一点的?
在 WF 4.0 中,如果发生转换,自反转换不会导致状态进入动作重新运行。
在我看来,这不是一种过渡,而是一种包含的行为。自反转换应该离开并重新进入,但 WF 4.0 有限状态机的行为并非如此。
什么正式规范在这里适用,关于自反转换及其对状态、状态进入或退出行为的影响有什么共识,以及 wf 4.0 是如何做到这一点的?