在 UML 中建模非返回调用

Question

我想创建一个 UML 序列图（见下文），其中我有一个具有两个条件（状态等于 foo 或 bar）的 alt 框架。在 foo 情况下，我从 A 向 B 发送同步消息，获取返回消息，然后继续执行序列图的其余部分（调用 spam()）。在酒吧的情况下，我从 A 向 C 发送另一条同步消息，但不会返回。我正在尝试在 SW 中模拟一个不返回的函数调用（它在信号量上永远阻塞），所以在这种情况下，我永远不会继续使用 spam()。这可以用序列图表示吗？我可以排除返回值，但这只会告诉我没有返回值，而不是根本没有返回。这只能通过将图表一分为二并分别处理条件来表示还是有更好的图表来表示？

Answer 1

您可以在调用和返回之间设置持续时间限制。

在正常情况下，此类约束将由一个整数表示，后跟一个时间单位，例如“10 秒”或一个范围，例如“[1;10) 秒”。

您的问题很有趣，因为您想模拟无穷大。 我会这样做：

但是我必须承认我不确定我的表述是否违反OMG's UML 2.5 standard。我在标准中没有发现任何明确禁止使用“无穷大”作为时间单位的内容；标准确实提到时间应该是相对的。