精品文献
状态图
高级维修电工考试试题状态图
S0 S20 S21 S22 S23 S24 M8002 X2 (Y0) X0 (T1) K10T1 T2 10. 检瓶工艺 (M0) X3 X2 M0 RST C0 X1 SET Y1 (T2) K10 SET Y2 SET Y3 (T3) K10T3 (T4) K10 RST Y2 T4 S25 (T5) K10 RST Y1 T5 RST Y3 (C0) K5 S20 S0 C0 C0 M0 M0 清零 传送带 臂伸出 瓶夹紧 臂右旋 瓶松开 臂缩回 臂左旋 计数5次 延时 1秒 延时1秒 延时 1秒 延时1秒 延时1秒 S26 (T6) K10 延时1秒T6 S27 C0 RST C0 (T7) K50 延时5秒 T7 S20 M0 X1 S0 RET END
嵌入式建模中带有时间扩展的UML状态图的形式化方法
嵌入式建模中带有时间扩展的UML状态图的形式化方法
面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对UML状态图进行时间扩展的方法,并提出利用“可执行UML”对带有时间扩展的UML状态图形式化的方法。