工作方法
State Machine 将界面行为建模为明确的状态和转换,而不是松散关联的布尔标志。它会识别推动组件发生变化的事件、允许转换的守卫条件,以及转换过程中发生的动作。来源以表单、数据请求、身份验证和多步骤向导为例。
目标是形成可测试的行为规范。每种状态都需要明确的 UI 表现形式。非终止状态需要有退出路径,并且应在实现前识别无效组合。来源并未选择某个 state-machine 库,也未声称能自动生成完备证明。
预期交付物
- 针对一个明确关注点的状态与事件清单。
- 包含守卫条件及进入或退出动作的转换图。
- 供审查的错误、恢复和不可能状态案例。
从任务说明到审查
- 01列出状态和事件
为有意义的模式以及所有能改变这些模式的触发因素命名,先从正常路径开始。
- 02定义有效转换
明确目标状态、条件和副作用。识别设计必须阻止的组合。
- 03添加恢复路径和 UI 映射
对失败、重试、取消和退出进行建模;展示界面在每种状态下的样子。