Uml 2.5 活动图中标记的用途

Question

UML specs 2.5 说：

一个ActivityNode对另一个ActivityNode的影响由流程指定 tokens 在 ActivityNode 之间的 ActivityEdges 上。

但是上面的定义是模糊的；特别是因为令牌没有在 Activity 中显式建模。

阅读15.2.3.3 Activity Edges 部分规范后，我认为它们的目的是：

能够用图表来描述 它可能会等待其他令牌 或拒绝流动 而不是立即进入下一个节点

这是真的吗？这也是令牌的唯一目的吗？如果是真的，为什么我们不使用带有条件的decision node 和end flow 节点来显示该条件下的拒绝流，而不是token 和guards？或者将信息分组到更大的 objects 节点 中，而不是使用 weight？

Answer 1

活动图和状态机都源自Petri nets。给出一个完整的描述会破坏这个答案，所以我试着把它归结为。

可以说，令牌是一些信息。它是原子的，不能拆分。相反，它是由上下文中定义的事件的“大爆炸”创建的（通常由一个大黑点显示）。它沿着InformationFlow 连接器（最终被必须等待的守卫阻止）传播到节点。节点有 1 到多个 InformationFlow 连接器。当所有传入的InformationFlow 连接器都有一个令牌到达时，一个节点将变为活动状态。当节点完成时，它会沿着其所有传出的InformationFlow 连接器发送单个令牌（至少 UML 操作会这样做，这称为隐式分叉）。有一些特殊的节点，比如 fork 和 merge，它们的行为有点不同（参见规范）。最后，令牌可以落入水槽（通常是一个内部有一个胖点的圆圈），在那里它们一出现就消失了。

因此，从一个起始节点出现的单个令牌（此处不解释多个起点的细节/问题）开始，该令牌在网络中传播，最终创建其他令牌，所有令牌都在循环，直到（通常）所有令牌都到达下沉。在此期间，网络被认为是活跃的。

tl;dr 不，你的假设是不正确的。