状态机和状态图简介

huaishu

已于 2023-12-07 11:13:38 修改

阅读量600

点赞数 1

文章标签：团队开发软件工程

于 2023-12-06 17:39:36 首次发布

本文链接：https://blog.csdn.net/huaishu/article/details/134828959

版权

在项目中对状态图要求不高，一般以流程图和时序图为主，随着数字化业务提升，流程审批等功能要求越来越多，状态图也越来越普遍。

最经典状态图应该是TCP状态图，在软件设计中如何定义好状态并且描述清楚状态转换至关重要。

状态机

状态机表

打电话状态图

状态组成：

名称：由一个字符串组成，用以识别不同状态。可匿名，一般放置在状态图符顶部

入口/出口动作：表示进入/退出这个状态所执行的动作，动作可以是原子动作，也可是动作序列

内部转换：内部转换不会引起状态变化的转换，此转换的触发不会导致状态的入口/出口动作被执行。语法：事件/动作表达式

状态图一般概念

#状态 States

用圆角矩形盒子来展示状态。为狗的过程，绘制状态图，首先会想到两种状态：

狗总是 睡着（asleep） 或 醒着（awake）。狗不能同时睡着和醒着，狗也不可能不睡不醒。只有这两种状态，没其它的了，这就是我们说的有限数量的状态。

#转换与事件 Transitions and events

狗在睡着和醒着之间的变化，是通过转换来表示的，它用一个箭头表示，从一个状态指向过程序列中的下一个状态。

转换（transition）是由导致状态更改的 事件（event） 引起的。用事件来标记转换。

转换和事件是 确定性 的。确定性意味着每个转换和事件总是指向相同的下一个状态，并且每次进程运行时总是从给定的起始条件产生相同的结果。你永远不会把狗摇醒后，它还睡着，或打晕它它还醒着吧。

小狗具有两个有限状态，和两个转换的过程，就是一个 有限状态机。状态机用于描述某事物的行为。状态机描述事物的状态，以及这些状态之间的转换。它是一个有限状态机，因为它具有有限数量的状态。（缩写为 FSM）

#初始状态 Initial state

任何具有状态的事物，都会有一个 初始状态，即进程存在的默认状态，直到发生事件，从而改变事物的状态。

初始状态用实心圆圈表示，箭头从圆圈指向初始状态。

用状态图来描述遛狗的过程，初始状态会是 等待（waiting） 走路。

#最终状态 Final state

大多数具有状态的进程都会有一个 最终状态，即进程完成时的最后一个状态。最终状态由状态圆角矩形框上的双边框表示。

在遛狗状态图中，最终状态是 溜狗完成（walk complete）。

#复合状态 Compound states

复合状态是可以包含更多状态的状态，也称为子状态。这些子状态只能在父级复合状态发生时发生。在遛狗（on a walk）状态中，可以有 走路中（walking）、 奔跑中（running） 和 停下来闻闻好闻的气味（stopping to sniff good smells） 几个子状态。

复合状态由标记的圆角矩形框表示，该框充当其子状态的容器。

复合状态还应指定哪个子状态是初始状态。在 on a walk 状态下，初始状态为 walking。

复合状态使状态图能够处理比日常状态机更复杂的情况。

#原子状态 Atomic states

原子状态是没有任何子状态的状态。等待（Waiting）, 遛狗完成（walk complete）, 走路（walking）, 奔跑（running） 和 停下来闻闻好闻的（stopping to sniff good smells） 都是原子状态。

#并行状态 Parallel states

并行状态是一种复合状态，其中所有子状态（也称为区域）同时处于活动状态。这些区域在复合状态容器内由虚线分隔。

在 on a walk 复合状态内，可能有两个区域。一个区域包含狗的 walking、 running 和 stopping to sniff good smells 的活动子状态，另一个区域包含狗的尾巴 摇动（wagging） 和 不摇动（not wagging） 状态。狗可以走路和摇尾巴，跑和摇尾巴，或者在摇尾巴的同时停下来闻，它也可以在不摇尾巴的情况下进行任何这些活动。