火龙果会员
注册
找回密码
选择文件
问题
解答
求知
文章
文库
Lib
视频
iPerson
课程
认证
咨询
工具
讲座
Model Center
Code
会员
订购
|
案例
|
建模扩展语言
|
模型框架
|
学习资源
|
培训&咨询
|
解决方案
|
用户组
|
客户专区
|
联系我们
MBSE平台
EA
模型库
需求管理
自动建模
模型检查
孪生&仿真
代码工程
文档生成器
模型管理
研发管理
质量管理
TestDriver
集成测试
iPerson
文章
规范
方案
工具
课程
顺序图如何添加时间约束?
浏览 3092次
1518次
更多问题...
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消息被接受的时间点。
回复
添加附件
验证码