无限递归发生的原因是,当一个图表广播当地事件的当前状态图放在堆栈和图表是首先用新的事件。
在这个模型中,这意味着:
1。图表中醒来。
2。在“图表设置变量”。
3所示。本地事件的图问题。
4所示。图表将堆栈,并调用自身当前状态并返回步骤1。
因此,一个无限递归。
所需的行为,该函数CHG(中)将不工作,是“在”是重新分配在每一个调用,导致CHG发出本地事件。此外,CHG()是目前设计只对本地数据和在此用扩展到输入数据。然而,由于当前CHG()语义和当地的语义事件不能工作。
因此,CHG()不应该被用于输入数据。相反,请参阅附加no_recursion模型”。mdl”为例,完成所需的行为。
