Skip to content

定时图

定时图(Timing Diagram)用于描述状态随时间变化的过程。学习定时图的关键是看懂时间轴、状态线和时长约束符号。

核心符号

时间轴与状态线

横轴是时间,状态线表示对象在不同时间段的状态值。

时间轴符号

图中底部水平线是时间轴,沿时间轴向右推进表示时间流逝;上方阶梯线表示对象状态随时间发生离散切换。

事件触发

可在状态跳变点标注事件,说明变化原因。

事件触发符号

图中在状态跳变位置附加事件标签(如 gatewayCallback()),表示该事件触发了状态从一个值切换到另一个值。

时钟与超时约束

可用时间区间约束表达超时条件。

时长约束符号

图中 t1t2 之间的区间标注表示持续时间约束,用于声明某段状态变化必须在限定时间内完成。

示例

定时图综合示例

与状态机图区别

状态机图强调“因为什么迁移”;定时图强调“什么时候迁移”。

TIP

读定时图建议顺序:先看时间刻度,再看每条状态线变化,最后看跨时间段的约束说明。

Released under the MIT License.