问题解答-EA-工具-火龙果软件 - 关心工作者的实践

顺序图如何添加时间约束？浏览 3373次

wenke 2020/6/16 11:34:58

EA里面如何添加时间约束？和红框里的两个Duration 有什么区别？
顺序图2.png

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

添加附件

验证码

订购 \| 案例 \| 学习资源 \| 培训&咨询 \| 解决方案 \| 模型框架 \| 用户组 \| 客户专区 \| 联系我们