conditional-statements - 在某些条件下阅读序列图

Question

我有以下序列图，它由交换一组消息的四个生命线组成。

我的问题是：

我如何阅读此图中红色矩形包围的内容？

这是我的尝试：

第一个是：“t=0”

据我所知，这是一个时间观察，但我真的不确定，因为当我通读 UML 参考手册（2004）时，时间观察的语义是获取当前时间并且具有语法“t = now”，这里 t 分配给零？

第二个是条件“t<=500 ms”

这是否意味着这个条件应该为真才能调用 write(record) 消息？以及此消息上方的条件（t <= 50 ms）这意味着什么？

你能澄清每一个吗？

Answer 1

首先，我不确定 UML 规范是否定义了如何“阅读”您的图表。下面是我的阅读方式。第一个“t = 0”对我来说指定时间原点，即从这一点开始时间。关于第二个（“t <= 500 ms”），它是一个约束，表示必须在“t=0”时刻之后最多 500 ms 调用 write(record) 消息这一事实。这是您的建模系统的一个约束，您不知道在 500 毫秒截止日期之后是否调用它会发生什么，因为情况并非如此。希望它有所帮助。