PowerDesigner16 状态图

状态图（Statechart Diagram）主要用于描述一个对象在其生存期间的动态行为，表现为一个对象所经历的状态序列，引起状态转移的事件（Event），以及因状态转移而伴随的动作（Action）。一般可以用状态机对一个对象的生命周期建模，状态图用于显示状态机（State Machine Diagram），重点在与描述状态图的控制流。

状态图元素：

(1) 状态（States）

指在对象的生命周期中的某个条件或者状况，在此期间对象将满足某些条件、执行某些活动活活等待某些事件。所有对象都有状态，状态是对象执行了一系列活动的结果，当某个事件发生后，对象的状态将发生变化。

• 状态用圆角矩形表示
• 初态（Initial States）   初态用实心圆点表示
• 终态（Final States）   终态用圆形内嵌圆点表示

(2)转移（Transitions）

转移（Transitions）是两个状态之间的一种关系，表示对象将在源状态（Source State）中执行一定的动作，并在某个特定事件发生而且某个特定的警界条件满足时进入目标状态（Target State）

事件标记（Trigger）：是转移的诱因，可以是一个信号，事件、条件变化（a change in some condition）和时间表达式。

警界条件（Guard Condition）：当警界条件满足时，事件才会引发转移（Transition）。

结果（Effect）：对象状态转移后的结果。

 (3)动作（State Actions）

动作（Actions）是一个可执行的原子操作,也就是说动作是不可中断的，其执行时间是可忽略不计的。

在上例中，对象状态转移后的结果显示在转移线上，如果目标状态有许多转移，而且每个转移有相同的结果，这时把转移后的结果（Effect）展示在目标状态中（Target State）更好一些，可以定义进入动作（Entry Action ），状态保持不变时执行的动作(Do Action)和退出动作（Exit Action），下面是一个灯的点燃状态的例子,如下图

 

(4)自身转移（Self-Transitions）

状态可以有返回自身状态的转移，称之为自身转移（Self-Transitions）, 用指向自己：

2S后，Poll input事件执行，转移到自己状态【Waiting】

(5)组合状态（Compound States）

嵌套在另外一个状态中的状态称之为子状态（sub-state）,一个含有子状态的状态被称作组合状态（Compound States）. 如下图：

属性如图：

点开右侧菜单：

打开 State_1下的状态图(子状态图) 继续添加子状态：

在点击打开State_1的属性对话框，并选中sub-state选项卡，如图：

我们发现State_2,State_3就是我们刚刚添加的子状态。

 (6)进入节点（Entry Point）

如下图所示，由于一些原因并不会执行初始化（initialization），而是直接通过一个节点进入状态【Ready】，则此节点称之为进入节点（Entry Point）:

(7) 并发区域(Synchronization)

说明组合状态在某一时刻可以同时达到多个状态。如下图刹车系统，同时进入前刹车【Applying Front Brakes】状态和后刹车【Applying Rear Brakes】状态。