以设备工作模式为建模起点
- 待机、运行、暂停和故障等模式需要有进入条件、退出条件与允许操作。先找出不允许发生的转换,例如未完成初始化便执行动作。模式名称不是实现细节,仍需说明由哪个事件触发、由谁确认完成。
活动流程处理任务分解
- 对于采集、处理、校验、提交等步骤,活动流程便于表达并行和异常分支。每个步骤明确输入、输出与责任对象。不要把复杂算法细节全部塞进一张总图,子流程可单独展开,但应保留调用关系。
用时序检查接口协同
- 选择一条跨模块路径,列出请求、响应、超时和取消。检查等待条件是否会造成相互阻塞,以及重复请求会不会重复执行。图中的顺序约束要与状态转换一致,发现冲突时先修订行为规则再美化图形。
如何验收行为模型
- 围绕正常启动、用户取消、通信中断与故障恢复逐条走查。记录触发事件、预期状态和输出,把结果关联到验证用例。能解释成功路径但无法解释故障恢复的行为模型,不宜作为完整设计基线。