让我们考虑一个非常简单的情况,当第二个输入令牌(例如对象令牌(到达时,操作仍在运行。当然,我们假设没有分配流属性。我的问题是,在这种情况下,第二个令牌会等到当前运行的操作完成,还是会创建一个新的操作瞬间,从而运行该操作的两个瞬间?(我读过OMG规范中的一些内容,这似乎是第二种情况,但还有其他一些书将执行描述为第一种情况,所以我对此感到困惑。(
在控制令牌的情况下,情况是明确定义的。激活操作时,将接受所有提供的令牌。因此,在运行时,默认情况下,它不接受任何进一步的控制令牌。但是有一个名为isLocallyReentrant的属性,如果这是真的,那么该操作将同时运行。
在对象标记的情况下,UML语义不那么具体,并且保持了许多显式的开放点。SysML在这里添加了一些重要的细节。在UML中,Pins和对象节点有一个属性isControlType,如果设置为true,则表示与控制令牌相同的行为。否则,标准中的一些语句可以被解释为行为是直观预期的,即第二个objecto令牌随后被处理。