状态,一个系统(或者系统中的一部分)有时会拥有一系列定义好的状态,在系统操作过程中可以处于那些状态。拥有子状态的状态称为组合状态,没有子状态的状态称为简单状态。
简单状态的标识符是一个圆角矩形。在矩形中显示状态的名称及状态不变量条件。如:
“开机[电源状态=加电]”,表示开机状态,此时电源状态是加电状态。
MBSES用户使用说明书