建模 Guide

知识指南 /

状态机、活动流程和时序图,MBSE 项目怎样选?

最后更新: · 新航路数字化外协团队

三种表达解决的问题不同:状态机描述模式及转换条件,活动流程描述工作步骤和分支,时序图描述参与对象间的消息顺序。建议围绕评审问题组合使用,避免对同一流程重复画图却维护出不一致的行为。

以设备工作模式为建模起点

  • 待机、运行、暂停和故障等模式需要有进入条件、退出条件与允许操作。先找出不允许发生的转换,例如未完成初始化便执行动作。模式名称不是实现细节,仍需说明由哪个事件触发、由谁确认完成。

活动流程处理任务分解

  • 对于采集、处理、校验、提交等步骤,活动流程便于表达并行和异常分支。每个步骤明确输入、输出与责任对象。不要把复杂算法细节全部塞进一张总图,子流程可单独展开,但应保留调用关系。

用时序检查接口协同

  • 选择一条跨模块路径,列出请求、响应、超时和取消。检查等待条件是否会造成相互阻塞,以及重复请求会不会重复执行。图中的顺序约束要与状态转换一致,发现冲突时先修订行为规则再美化图形。

如何验收行为模型

  • 围绕正常启动、用户取消、通信中断与故障恢复逐条走查。记录触发事件、预期状态和输出,把结果关联到验证用例。能解释成功路径但无法解释故障恢复的行为模型,不宜作为完整设计基线。

还有更具体的问题?

说明项目阶段与目标域,我们将在 1 个工作日内回复协作方式与范围建议。