zhgx， 2020-6-16  |
|
第一个Duration 是 Duration Constraint ：消息可以持续多长时间的最小和最大限制。例如1s...10s
第二个Duration 是 Duration Observation：捕获消息的持续时间，格式为name=duration。其中name为保存观察结果的变量。 |
| |
| zhgx， 2020-6-19 |
|
| 你好,这边尽量帮您解决 |
| |
| 俎涛， 2020-6-24 |
|
各个项目说明如下：
Duration Constraint：指示消息可以持续多长时间的最小和最大限制。
Duration Constraint Between Messages：指示从当前消息的源生命线发送或接收前一条消息到发送当前消息之间的最小和最大间隔。
Duration Observation：捕获消息的持续时间。
Timing Constraint：指示消息到达目标的最短和最长时间。
Timing Observation：捕获发送消息的点。
|
| |
| 俎涛， 2020-6-24 |
|
图中的序列图显示了如何应用时间和计时符号来描述时间观测以及计时限制。
User 发送一个消息 Code ，然后 这个消息的发送和接收 之间的 持续时长被测量。
ACSystem 将发送2个消息回复给User， CardOut消息被限制到 持续0-13个时间单位，另外，在Code消息的发送和OK消息的接收之间的时间间隔被限制到持续d 和 3d，这里d是在Code信号存在的时候被测量。我们也注意到 时间点t 的观察 （发送OK消息的时候） and 这被用来约束时间点CardOut消息被接受的时间点。
|
timing.png
|
| |
