火龙果会员
注册 找回密码

 
问题

 
解答

  求知 文章 文库 Lib 视频 iPerson 课程 认证 咨询 工具 讲座 Model Center   Code
会员   
订购 | 案例 | 建模扩展语言 | 模型框架 | 学习资源 | 培训&咨询 | 解决方案 | 用户组 | 客户专区 | 联系我们
 
顺序图如何添加时间约束? 浏览 2723次  413次   更多问题...
wenke  2020-6-16 11:34:58
EA里面如何添加时间约束? 和红框里的两个Duration 有什么区别?    

 

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消息被接受的时间点。
   

 
 
 
回复
添加附件
验证码   验证码,看不清楚?请点击刷新验证码